Two Open PhD Positions as Graduate Teaching Assistant I'm building up my new research group on Formal Methods at Johannes Kepler University Linz (JKU), Austria, and currently have two open PhD positions as Graduate Teaching Assistants: 🔗Job Posting Link: lnkd.in/dR_8MW9T If you're interested in Specification, Verification, Falsification, and Automata Learning (yes – we learn formal models), and want to pursue a PhD, please apply! My Institute for Formal Models and Verification (FMV) is responsible for courses such as Formal Models, Model Checking, Debugging, and other research-aligned special topics. My group is also part of the Bilateral AI Cluster of Excellence, which focuses on integrating symbolic and sub-symbolic AI (reasoning and learning): 🔗 I work closely with my PhD students, including weekly one-to-one meetings - Prof Bernard Aichernig Deadline: July 2, 2025