[TYPES/announce] 3-year postdoc in Freiberg connected to Lean

[Nicolai Kraus]

Sent on behalf of Johannes Carmesin.
-------
Dear Researcher,

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://urldefense.com/v3/__https://tu-freiberg.de/media/18526/download__;!!IBzWLUs!VI0IzZmFyfxXcloObbI8X6Upzlym8vwFuIUan6Q5Ml3sUDuAekynsRkjzGkaQfRY31inpCC00DwEZiKa1i-MKtItqlsBgjkZprT1Vw$ 

Duration: 3 years
Where: TU Freiberg, Germany
Application deadline: December 1st 2024 (extended)
Starting date: as soon as possible
Further information: https://urldefense.com/v3/__https://j-carmesin.github.io/__;!!IBzWLUs!VI0IzZmFyfxXcloObbI8X6Upzlym8vwFuIUan6Q5Ml3sUDuAekynsRkjzGkaQfRY31inpCC00DwEZiKa1i-MKtItqlsBgjmif7TNMw$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251103/16b15eda/attachment.htm>