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.
Danel Ahman (Nov 05 2025 at 20:50):The Institute of Computer Science at the University of Tartu in Estonia is
currently advertising a Full Professor position in Programming Languages:
https://ut.ee/en/job-offer/professor-programming-languages-0
Areas of particular interest include semantics and types, compilers and runtimes,
static/dynamic analysis, verification, synthesis, and language-based security.
The application deadline is 15.12.2025.
Chad Nester (Nov 06 2025 at 07:19):I would encourage anyone here who thinks they might be at all qualified to apply. In addition to Danel and myself, Matt Earnshaw and Ülo Reimaa are also in Tartu, so you would have people to talk to about category theory with. If you'd like more information about living in Tartu or Estonia more generally, feel free to message me here.