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-Posi... Feel free to forward to interested candidates, or contact me if you have any questions about the position. With best wishes, Benno You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>