[Job-offers-cs] 3-year postdoc in Freiberg connected to Lean

[Pekka Orponen]

The Discrete Structures Group of Prof Johannes Carmesin is inviting

applications for a postdoc position that takes a leading role in the
ProofBench project, which develops a benchmark suite for evaluating AI
theorem provers.

To apply send a CV by email to "johannes.carmesin at gmail.com" and
additionally please follow the instructions at
https://tu-freiberg.de/media/18526/download>
Duration: 3 years
Where: TU Freiberg, Germany
Application deadline: December 1st 2024 (extended)
Starting date: as soon as possible
Further information: https://j-carmesin.github.io/