<div dir="ltr">There is an opening for a <b>tenure-track faculty position at Saarland University</b> in the broad area of <b>Logic/Verification</b>.  Formally, it is a 6-year W2 professorship, which converts to a permanent W3 position in the event of a successful tenure case.<div><br></div><div>Saarland University is a top international institution located in Saarbruecken, Germany, with close ties to the Max Planck Institutes for Informatics and Software Systems and DFKI.  The working language -- and in particular, the language of instruction -- is English.</div><div><br></div><div>The call for this opening specifically mentions several research areas that are of interest to the Types community:</div><div><br></div><div>- Foundations of automated and/or interactive theorem proving<br>- Development of tools for automated and/or interactive theorem proving</div><div>- Logic-based approaches to programming languages, security and privacy, distributed systems, and other areas of computer science</div><div>- Interplay between verification and machine learning, including applying verification techniques to ML and using ML to support verification</div><div><br></div><div>The deadline for applications is: <b>September 18, 2025</b>.  Please consider applying!</div><div><br></div><div>For more details, see here:</div><div><br></div><div><b>Application portal</b>: <a href="https://urldefense.com/v3/__https://www.uni-saarland.de/verwaltung/berufungen/online-berufungsportal/w2669-w2-professorship-w3-tenure-track-position-in-logic-verification.html__;!!IBzWLUs!UUkT7LpfJUNFtwSZp4QLw8E34X5SEdqVOIbBwgV2EE6ATvkt2hX5eCkS1ERO5Ltqk1fryybolIitfwN9enazkq6Hil6BFIQ$">https://www.uni-saarland.de/verwaltung/berufungen/online-berufungsportal/w2669-w2-professorship-w3-tenure-track-position-in-logic-verification.html</a></div><div><br></div><div><b>Job description</b>: <a href="https://urldefense.com/v3/__https://www.uni-saarland.de/fileadmin/upload/verwaltung/berufungen/W2669_W2TTW3_LogicVerification_EN.pdf__;!!IBzWLUs!UUkT7LpfJUNFtwSZp4QLw8E34X5SEdqVOIbBwgV2EE6ATvkt2hX5eCkS1ERO5Ltqk1fryybolIitfwN9enazkq6H3VY9L7c$">https://www.uni-saarland.de/fileadmin/upload/verwaltung/berufungen/W2669_W2TTW3_LogicVerification_EN.pdf</a></div><div><br></div><div>Best regards,</div><div>Derek Dreyer</div><div>Scientific Director, MPI-SWS</div><div>Honorarprofessor, Saarland University</div><div><br></div></div>