3-year postdoc in Freiberg connected to Lean
Johannes Carmesin via dmanet <[email protected]>
| Newsgroups | gmane.science.mathematics.discrete |
|---|---|
| Message-ID | <CAGGvgra-yw47Ushc9uN2hrTvWOwLgvbnXdo=G45Q8ywkxca4pQ@mail.gmail.com> |
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://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 * * [email protected] * * 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/ * **********************************************************