Full Professorship in Formal Methods, Linz (Austria)

The Department of Computer Science at the Faculty of Engineering and Natural Sciences at
Johannes Kepler University Linz invites applications for a permanent full-time position at the
Institute for Formal Models and Verification (FMV) founded by Armin Biere.

We are looking for candidates who work in fields like

• Formal verification or synthesis of software and hardware
• Techniques and tools of formal verification
• Formal models and languages
• Automated reasoning and decision procedures
• Theoretical foundations of formal verification or synthesis