[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 "[email protected]" 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$
