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.
Paige North (Jul 01 2023 at 20:12):I am looking for a PhD student to study with me at Utrecht University in the Netherlands to start by 1 Jan 2024 on homotopy type theory or similar topics in (higher) category theory, type theory, and/or homotopy theory. The position is for 4 or 5 years, depending on how much teaching is involved, and will be a split position between the mathematics and computer science departments. Utrecht is a great place to do homotopy type theory: the math department is strong in logic, (oo-)category theory, and homotopy theory; the computer science department has a strong PL group; and there is a lot of interaction with homotopy type theorists in other Dutch universities.
If you are interested, please send me an email at p.r.north@uu.nl. If you know anyone who might be interested, please forward this message to them.