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 <https://compose.ee/> 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 <https://cs.ioc.ee/lsg/> 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-meth... The deadline for applications is 30 June 2026. Please do not hesitate to contact me for questions or more information. Best wishes, Elena