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.
Elena Di Lavore (Jun 02 2026 at 01:47):Dear colleagues,
I am pleased to announce a PhD position in categorical methods in computer science at Tallinn University of Technology.
The candidate would be supervised by me and Paweł Sobociński, and would work on categorical semantics of programming languages.
The Compositional Systems and Methods group at Tallinn University of Technology is a lively, welcoming and diverse group working on different topics across the theoretical computer science spectrum, and sharing a common interest in categorical methods. We work closely with the Logic and Semantics group in the same University.
Tallinn University of Technology, and our group in particular, remains committed to equality, diversity and inclusion. Therefore, we particularly encourage members of discriminated minorities to apply.
The duration of the programme is 4 years, with a gross monthly salary of 2300 €.
Please apply at: https://taltech.teamdash.com/p/job/CNN3RSqJ/phd-position-in-categorical-methods-for-computer-science/en
The deadline for applications is 30 June 2026.
Please do not hesitate to contact me for questions or more information.
Best wishes,
Elena