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

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

[Benno van den Berg]

[-- Attachment #1.1: Type: text/plain, Size: 1042 bytes --]



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

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/3381a9d0-5bbb-422f-8577-a15485fb3cfcn%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 8019 bytes --]