The University of Amsterdam’s Institute for Logic, Language, and Computation invites applications for a fully-funded PhD position in Semantics of Homotopy Type Theory. This research project seeks to develop a new formal system called 'Simplicial Type Theory,' contributing to the mathematical foundations of Homotopy Type Theory.