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@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/
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************