Summary: The Max Planck Institute for Software Systems (MPI-SWS) is seeking a postdoctoral researcher specializing in proof automation and automated reasoning. This position is a collaboration with the Technical University of Vienna (TU Wien) and will focus on various foundational problems in software systems.
Postdoctoral Position in Proof Automation and Theoretical Computer Science at MPI-SWS in Collaboration with TU Wien (M/F/D)
Designation: Postdoctoral Researcher
Details
| Aspect | Details |
|---|---|
| Research Area | Computer Algebra, Discrete Dynamical Systems, Automated Verification, Number Theory, Symbolic Computation, Automated Reasoning |
| Location | Saarbrücken, Germany; with opportunities for extended stays in Vienna, Austria |
| Eligibility/Qualification | PhD (awarded or nearing completion) in Computer Science, Mathematics, or a closely related discipline. Preferred experience with publications in related fields. |
| Job Duration | 2 years (with the possibility of renewal) |
| Work Hours | Full-time (39 hours/week) |
| Salary | According to TVöD / Bund EG 14, commensurate with experience and qualifications |
Job Description:
The successful candidate will engage in:
- Formalizing and proving mathematical theorems using LEAN.
- Publishing and presenting research at conferences.
- Contributing to peer review processes and collaborative authorship.
- Supporting research group activities, including administrative tasks.
- Networking with TU Wien and participating in optional teaching opportunities.
Desired Qualifications:
- Expertise in formalizing proofs and leveraging AI tools in mathematical proofs.
- Publications in areas such as logic in computer science, formal verification, and related fields.
- Strong initiative, team-oriented mindset, and fluency in English (spoken and written).
How to Apply:
To apply, please send a CV and a research statement via email to hr@mpi-klsb.mpg.de with the reference “LEAN-2026” in the subject line. For informal inquiries, contact Prof. Joël Ouaknine at joel@mpi-sws.org.
Last Date for Application:
15 March 2026
Apply now to join a stimulating academic environment and contribute to high-impact research in theoretical computer science and mathematics!
