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.
Pedro Amorim (Oct 21 2025 at 12:21):Hi,
I have funding available to hire a PhD student to work on topics such as categorical logic, programming language theory or categorical probability theory. Here's a description of the position link. The student is not expected to be well-versed in any of these topics by the time they start their PhD, but should have enough mathematical maturity to be able to learn them throughout their PhD.
The department of Computer Science at the University of Bath has a very active, and expanding, theory group — four new lecturers have been hired over the last year. The position is fully funded for the entire duration of the program (3.5 years) and open to international as well as home students, meaning both tuition fees and a living stipend are covered. The student is expected to start the program in September 2026.
The application deadline is 15/Dec/2025. If this position interests you, please reach out to me.