Professor (W2) in Computer Science - Logic and Verification

Universität des Saarlandes

Saarland University is a campus university with an international orientation and a distinctive research profile characterized by the four focus areas -Computer Science-, -BioMed-, -Sustainability- and -Europe-. Numerous research institutions in the vicinity of the university and the promotion of start-ups make Saarland University an ideal environment for research, teaching and innovation. Its pronounced international orientation is reflected, among other things, in an above-average proportion of international students. It has been certified as a family-friendly university since 2004.

Computer science at Saarland University has an outstanding international reputation. With 800 researchers, more than 2.000 students from 81 nations, the Saarland Informatics Campus (SIC) is one of the leading locations for computer science in Germany and Europe. All areas of computer science are covered at five globally renowned research institutes and three collaborating university departments that offer a total of 24 academic programmes.

The Department of Computer Science at Saarland University seeks to hire a

Professor (W2) in Computer Science – Logic and Verification
(m/f/x; Reference no.: W2669)

with a max. 6-year tenure track to a permanent professorship (W3).

Tenure-track professors (W2) have faculty status at Saarland University, including the right to supervise bachelor-s, master-s and PhD students. In case of outstanding performance, the position will be tenured as full professor (W3). The tenure decision is made after a maximum of 6 years.

We are seeking an outstanding candidate in the area of Logic and Verification with significant contributions in one or several of the following areas:

• 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 successful candidate will demonstrate a compelling research vision, a commitment to excellence in teaching, and the capacity to contribute to and collaborate within Saarland University-s internationally recognized computer science ecosystem. Accordingly, we expect both experience in and an aptitude for academic teaching and ideally some experience in acquiring external research funding. The language of instruction is English. We maintain close ties with the Max Planck Institutes for Informatics and Software Systems and the German Research Center for Artificial Intelligence (DFKI), which are located on campus and offer excellent opportunities for collaboration.

The appointment will be made in accordance with the general provisions of German public sector employment law (see legal recruitment requirements in § 41 Saarländisches Hochschulgesetz, current version available at https://recht.saarland.de/bssl/document/jlr-HSchulGSLrahmen).

At Saarland University, we view internationalization as a process spanning all aspects of university life. We therefore expect members of our professorial staff to engage in activities that promote and foster further internationalization. Special support will be provided for projects that continue with or expand on collaborative interactions within existing international cooperative networks, e.g. projects with partners in the European University Alliance Transform4Europe (www.transform4europe.eu) or the University of the Greater Region (www.uni-gr.eu).

In accordance with the objectives of its affirmative action plan for women, Saarland University is actively seeking to increase the proportion of women in this field. Qualified women candidates are therefore strongly encouraged to apply. Preferential consideration will be given to applications from disabled candidates of equal eligibility. Furthermore, we welcome applications regardless of nationality, ethnic and social origin, religion/belief, age, sexual orientation, and identity.

Please complete the application form in Saarland University's online application portal at www.uni-saarland.de/berufungen and submit it with your application documents by no later than 18 September 2025. Application documents must be uploaded as a single PDF file (max. size 10 MB) and should include the following documents in the order specified:

• a cover letter and curriculum vitae (including phone number and email address)
• a research statement (2-5 pages)
• a full list of publications
• full text copies of the five most important publications
• a list of three to five persons (including their email addresses) who can provide professional references
• a teaching statement (optionally)
• copies of degree certificates
• Confirmation/proof of severe disability, if you have indicated a severe disability in the application form If available: Proof of equivalence of the foreign university degree from the Central Office for Foreign Education (ZAB; does not apply to university degrees in Germany). If the proof has not yet been requested at the time of application, it must be submitted later on

When you submit a job application to Saarland University, you will be transmitting personal data. Please refer to our privacy notice for information on how we collect and process personal data in accordance with Art. 13 of the General Data Protection Regulation (GDPR) (www.uni-saarland.de/en/privacy). By submitting your application, you confirm that you have taken note of the information in the Saarland University privacy notice.