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:
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.
I'm also a Key Researcher in the BilAI Cluster of Excellence, which focuses on integrating symbolic and sub-symbolic AI.
I work closely with my PhD students, including weekly one-to-one meetings.
Deadline: July 2, 2025
📨 Looking forward to your application!
