Category Theory
Zulip Server
Archive

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.

Stream: community: positions

Topic: PhD in categorical foundations of type theory at Utrecht

view this post on Zulip Paige North (Mar 06 2026 at 10:21):

I am currently advertising a PhD position on the subject of categorical foundations of type theory at Utrecht University.

The deadline is 6 April, and the start date is flexible.

Please see the advertisement here

https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-position-in-categorical-foundations-of-type-theory

and don’t hesitate to get in touch with me beforehand at p.r.north@uu.nl.