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.
Philip Saville (Mar 18 2025 at 09:19):I'm fortunate to be able to advertise a 3.5 year, funded PhD studentship at the University of Sussex, to start in September 2025. The PhD will be in the Department of Informatics, but could include a significant portion of pure category theory. The closing date for applications is 14th May.
The exact project can be tailored to the successful applicant, but will likely focus on using category theory to understand the structure and behaviour of programming languages. My research tends to make use of 2-dimensional category theory and ideas from categorical logic and universal algebra.
Sussex's Foundations of Software Systems group has recently been growing, and hosts researchers with interests across logic and programming languages. The university campus is just outside the seaside town of Brighton, and almost entirely surrounded by the South Downs national park.
For more information, see the Sussex page here or feel free to email me at p.saville@sussex.ac.uk.