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 2024 (extended) Starting date: as soon as possible Further information: https://j-carmesin.github.io/ You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>