PhD position in the Semantics of Homotopy Type Theory at the University of Amsterdam

[Benno van den Berg]

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

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

With best wishes,

Benno