Postdoctoral position in proof automation and theoretical computer science at MPI-SWS, in collaboration with TU Wien (m/f/d)

The Max Planck Institute for Software Systems (MPI-SWS) is a publicly funded academic research institution focused on problems of fundamental importance in the broad area of software systems. The institute currently has 16 faculty and about 200 doctoral and postdoctoral researchers, and continues to grow. MPI-SWS is located in Saarbrücken and Kaiserslautern, Germany, in the tri-border area of Germany, France, and Luxembourg, which offers a high standard of living and easy access to major metropolitan areas in central Europe. MPI-SWS is committed to increasing the representation of minorities, women and individuals with physical disabilities in computer science, and particularly encourages such individuals to apply.

Reference: LEAN-2026
Application Deadline: 15/03/2026

We are advertising a postdoctoral position in proof automation and automated reasoning at the Max Planck Institute for Software Systems in Saarbrücken, Germany, in the group of Prof. Joël Ouaknine. The project is a joint collaboration with Prof. Laura Kovács at TU Wien.

Research focus:

Broad thematics include: computer algebra, discrete dynamical systems, automated verification, number theory, symbolic computation, and automated reasoning.

Competency in the following areas are listed in order of priority:

• Expertise in formalising and proving mathematical theorems with LEAN,
• Experience with interacting and leveraging AI tools (esp. LLMs) in generating mathematical proofs,
• Strong background knowledge on—and preferably publications in—some of the broad thematics mentioned above.

The following qualifications are highly desired for this position:

• A PhD awarded (or nearing completion) with excellent grades in the fields of Computer Science, Mathematics, or a closely related discipline.
• Publications across some areas of: logic in computer science, formal verification, automata theory, programming language theory, probabilistic models and cybersecurity, learning, randomised algorithms, concurrency theory and program synthesis.
• High level of personal responsibility, initiative, and willingness to travel in the context of conferences and networking, as well as the ability to work independently and flexibly in interdisciplinary contexts.
• Team-oriented mindset and interest in mentoring students and research assistants.
• Proficiency with English language (spoken and written).

Tasks

• Engage in formalising and proving mathematical theorems with LEAN
• Publish and present findings at conferences and workshops
• Actively contribute to peer-review processes and collaborative authorship
• Support the overall work of the research group, encompassing research, organisational and administrative tasks
• Engage in networking activities and strengthening ties between MPI-SWS and TU Wien
• Teaching opportunities are optional should the candidate be interested.

Location

The post is mainly based in Saarbrücken, Germany, and the selected candidate will have the opportunity to undertake extended research stays in Vienna.

The Max Planck Institute for Software Systems
Campus E1 5
66123 Saarbrücken
Germany

TU Wien Informatics — Formal Methods in Systems Engineering
Favoritenstraße 9–11
1040 Wien
Austria

What we offer:

This postdoctoral position is available on a full-time basis (39 hours/week) for two years in the first instance, with the possibility of renewal(s).

• A stimulating academic environment within the Saarland Informatics Campus, a renowned research hub for computer science in Europe.
• Salary according to TVöD / Bund EG 14, commensurate with experience and qualifications, based on university and ERC funding guidelines.
• Opportunity to contribute to a high-impact research initiative with leading experts in theoretical computer science and mathematics.
• Flexible, family-friendly working arrangements and hybrid work options supporting a healthy balance between on-site presence and mobile work.

The MPI for Software Systems and the Saarland Informatics Campus actively promotes equality and diversity. We welcome and encourage applications from people of all backgrounds. We welcome your application no matter your gender, disability, marital or parental status, ethnic or social origin, religion, age, or sexual orientation.

By responding to this job listing, you consent to the processing and storage of your personal data for the purposes of the application process.

Application process:

For informal enquiries, please contact Prof. Joël Ouaknine (joel@mpi-sws.org).

To apply, please send a CV and a research statement by email to hr@mpi-klsb.mpg.de using the reference (LEAN-2026) in the email subject line.

Important information:

Early applications deadline is 15 March 2026. Interviews are expected to be held via videoconferencing in the week commencing 30 March 2026.

Starting date of the postdoctoral position: On or after 1 May 2026 by mutual agreement. The position is scheduled for a duration of two years, and with the possibility of renewal.

We would particularly welcome applications from women and minority applicants who are currently under-represented within Computer Science.

Useful links:

Prof. Joël Ouaknine’s homepage
Prof. Laura Kovács’ homepage
Max Planck Institute for Software Systems
Automated Program Reasoning Group