[TYPES/announce] 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://urldefense.com/v3/__https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Position-in-the-Semantics-of-Homotopy-Type-Theory__;!!IBzWLUs!RRcFxMTkhdkBuznlBe2VXNeWO8q0nmXiMu8EqwSzInBl2Re6j-22hIZ7POUHdMAIGkBF0rA8B2yKn1wezIFscdcAxMbMaCvdhyE$ 


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


With best wishes,


Benno
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250903/fd30fee1/attachment.htm>