You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Pawel Sobocinski (Aug 27 2024 at 14:45):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