
<html><head>

<meta name="Generator" content="OpenText GroupWise Web">

</head><body><div id="GroupWiseSection_1702313144146_Martina.Seidl@jku.at_568C178009CC000094650CB975CDF5AD_" class="GroupWiseMessageBody">

<div>

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

<p><br>We are looking for candidates who work in fields like</p>

<p><br>• Formal verification or synthesis of software and hardware<br>• Techniques and tools of formal verification <br>(e.g., model checking, equivalence checking, deductive verification, symbolic execution)<br>• Formal models and languages <br>(e.g., logic-based languages, graph transformation systems, Petri nets, process algebra)<br>• Automatic reasoning and decision procedures <br>(e.g., SAT, SMT, first-order logic, interactive theorem proving)<br>• Theoretical foundations of formal verification or synthesis <br>(e.g., computational logic, complexity theory, discrete structures, game theory)<br>• Applications of verification and synthesis like concurrent/distributed systems,<br>cyber-physical systems, analysis of programs and protocols, biological applications, and<br>future technologies like quantum computing and artificial intelligence<br>• Model-based testing and runtime verification<br>• Formal analysis and verification of artificial intelligence technologies<br>• Probabilistic and statistical approaches for formal reasoning</p>

<p><br>Application deadline: January 17, 2024</p>

<p><br>Informal enquiries are welcome and may be sent to martina.seidl@jku.at</p>

<p><br>More information: https://www.jku.at/en/the-jku/work-at-the-jku/job-openings/professorship-positions/formal-methods/</p>

</div>

</div></body></html>