🇩🇪 Postdoc in Proof Automation and Theoretical CS at MPI-SWS/TU Wien

Location: Germany
Deadline: 15 March 2026

Postdoc position in proof automation and theoretical CS at MPI-SWS/TU Wien. Expertise in LEAN and AI tools required. Apply by 15 March 2026.

A postdoc position is available in proof automation and automated reasoning at the Max Planck Institute for Software Systems in Saarbrücken, Germany, in collaboration with TU Wien.

Research focus includes: computer algebra, discrete dynamical systems, automated verification, number theory, symbolic computation, and automated reasoning.

• Expertise in formalising and proving mathematical theorems with LEAN
• Experience with AI tools (esp. LLMs) in generating mathematical proofs
• Strong background knowledge in some of the mentioned thematics

To apply, send a CV and research statement to hr@mpi-klsb.mpg.de by 15 March 2026. For more information, visit https://people.mpi-sws.org/~joel/positions/LEAN-postdoc.html.

Tags: Postdoc position, proof automation, LEAN, theoretical CS, Max Planck Institute, TU Wien, automated reasoning, Germany