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 position at the U. of Amsterdam


view this post on Zulip John Baez (Sep 04 2025 at 11:00):

Benno van den Berg wrote:

Dear colleagues,

I am looking for a PhD student to work on a project in the semantics of Homotopy Type Theory around effective Kan fibrations.

The student would be housed at the Institute for Logic, Language and Computation, which is part of the University of Amsterdam. The deadline for applying is 27 September.

More information about the position and how to apply can be found here:

https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Position-in-the-Semantics-of-Homotopy-Type-Theory<https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Position-in-the-Semantics-of-Homotopy-Type-Theory>

Feel free to forward to interested candidates, or contact me if you have any questions about the position.

With best wishes,

Benno