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.

Website: https://www.jku.at/en/the-jku/work-at-the-jku/job-openings/professorship-positions/formal-methods/
Email: martina.seidl@jku.at