Dear all, I would like to advertise a two year postdoc starting on 1 January 2025 in the Compositionality group at the Tallinn University of Technology. The application deadline is 15 September 2024. The position would suit a category theorist interested in computer science, and especially in applications in probability theory, logic, verification and AI. The project is tied to the Estonian Center of Excellence in AI (EXAI) and the successful candidate will have the opportunity to get involved in several other exciting ongoing projects in Tallinn and Tartu. There is also a close thematic connection with the ARIA Safeguarded AI programme which is supporting two projects in the group that have closely aligned goals in developing categorical probability theory and diagrammatic reasoning. Applicants can apply at the link pasted below. Please do not hesitate to reach out to me with any questions. Best wishes, Pawel Postdoctoral Researcher in Diagrammatic Probabilistic First-order Logic for Safeguarding AI candidate.recrur.com [favicon.ico] 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/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>