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.
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:
Feel free to forward to interested candidates, or contact me if you have any questions about the position.
With best wishes,
Benno