Logic List Mailing Archive

CfA: Postdoc Position in AI Theorem Proving (ProofBench Project), TU Freiberg (Germany), Deadline: 1 Dec 2025

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@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 2025 (extended) Starting date: as soon as possible Further information: https://j-carmesin.github.io/
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php