Postdoc in AI Theorem Proving (ProofBench Project), TU Freiberg [D]

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.

The applicant for this position should be in their advanced PhD-stage in the field of mathematics or a related field as well as hold a Master diploma in such a field.