[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
(e.g., model checking, equivalence checking, deductive verification,
symbolic execution)
• Formal models and languages
(e.g., logic-based languages, graph transformation systems, Petri nets,
process algebra)
• Automatic reasoning and decision procedures
(e.g., SAT, SMT, first-order logic, interactive theorem proving)
• Theoretical foundations of formal verification or synthesis
(e.g., computational logic, complexity theory, discrete structures, game
theory)
• Applications of verification and synthesis like concurrent/distributed
systems,
cyber-physical systems, analysis of programs and protocols, biological
applications, and
future technologies like quantum computing and artificial intelligence
• Model-based testing and runtime verification
• Formal analysis and verification of artificial intelligence
technologies
• Probabilistic and statistical approaches for formal reasoning
Application deadline: January 17, 2024
Informal enquiries are welcome and may be sent to [email protected]
More information:
https://urldefense.com/v3/__https://www.jku.at/en/the-jku/work-at-the-jku/job-openings/professorship-positions/formal-methods/__;!!IBzWLUs!W4NqwgLLrvqnbWuuyDbaghTmCVTg2JxJBQ2XyO63nxd6PB1Xl8ZAMk0jv3dC3S9y9GzoxVLtAaU4F65hPxmNxh0c2-JjgnzSCfy7ePg$
