Postdoc in proof automation at MPI-SWS/TU Wien

Stream: job postings

[Laura Kovacs]

MPI-SWS and TU Wien is advertising an joint postdoc position in proof automation with LEAN.
https://people.mpi-sws.org/~joel/positions/LEAN-postdoc.html

The position is for two years and the postdoc will be supervised by Joël Ouaknine (MPI-SWS ) and Laura Kovács (TU Wien).
Application deadline March 15, 2026.