[TYPES/announce] Tenure-track opening in Logic/Verification at Saarland University

[Derek Dreyer]

There is an opening for a *tenure-track faculty position at Saarland
University* in the broad area of *Logic/Verification*.  Formally, it is a
6-year W2 professorship, which converts to a permanent W3 position in the
event of a successful tenure case.

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.

The call for this opening specifically mentions several research areas that
are of interest to the Types community:

- Foundations of automated and/or interactive theorem proving
- Development of tools for automated and/or interactive theorem proving
- Logic-based approaches to programming languages, security and privacy,
distributed systems, and other areas of computer science
- Interplay between verification and machine learning, including applying
verification techniques to ML and using ML to support verification

The deadline for applications is: *September 18, 2025*.  Please consider
applying!

For more details, see here:

*Application portal*:
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$ 

*Job description*:
https://urldefense.com/v3/__https://www.uni-saarland.de/fileadmin/upload/verwaltung/berufungen/W2669_W2TTW3_LogicVerification_EN.pdf__;!!IBzWLUs!UUkT7LpfJUNFtwSZp4QLw8E34X5SEdqVOIbBwgV2EE6ATvkt2hX5eCkS1ERO5Ltqk1fryybolIitfwN9enazkq6H3VY9L7c$ 

Best regards,
Derek Dreyer
Scientific Director, MPI-SWS
Honorarprofessor, Saarland University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250822/79a2f08e/attachment.htm>