<div dir="ltr"><div class="gmail_default" style="font-size:small">We are advertising a postdoc position in proof automation and automated reasoning (with expertise in LEAN) 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.</div><div class="gmail_quote gmail_quote_container"><div dir="ltr"><div><br><b>Research focus:</b><br>Broad thematics include: computer algebra, discrete dynamical systems, automated verification, number theory, symbolic computation, and automated reasoning.<br><br><b>We are looking for someone with:</b><br>Expertise in formalising and proving mathematical theorems with LEAN,<br>Experience with interacting and leveraging AI tools (esp. LLMs) in generating mathematical proofs,<br>Strong background knowledge on -- and preferably publications in -- some of the broad thematics mentioned above.<br><br>For informal enquiries, please contact Prof. Joël Ouaknine <<a href="mailto:joel@mpi-sws.org" target="_blank">joel@mpi-sws.org</a>>.<br><br>To apply, please send a CV and a research statement by email to <<a href="mailto:hr@mpi-klsb.mpg.de" target="_blank">hr@mpi-klsb.mpg.de</a>> using the reference (LEAN-2026) in the email subject line, <b>by the deadline of 15 March 2026</b>.<br><br>More information available at:<br><a href="https://people.mpi-sws.org/~joel/positions/LEAN-postdoc.html" target="_blank">https://people.mpi-sws.org/~joel/positions/LEAN-postdoc.html</a><br></div><div><br></div></div></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><span style="font-size:12.8px"><b>Joël Ouaknine</b></span><br></div><div dir="ltr">Max Planck Institute for Software Systems</div><div dir="ltr"><span style="font-size:12.8px">Saarland Informatics Campus, Germany</span></div><div dir="ltr"><div><a href="http://people.mpi-sws.org/~joel/" target="_blank">http://mpi-sws.org/~joel/</a></div></div></div></div></div></div></div></div></div></div>