Logic List Mailing Archive

CfA: PhD Position in the Semantics of Homotopy Type Theory, ILLC - Amsterdam (The Netherlands), deadline: 27. September 2025

PhD Position in the Semantics of Homotopy Type Theory
     Deadline: Saturday 27 September 2025

The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is inviting applications for a fully funded PhD position in the NWO project "Simplicial type theory" lead by dr. Benno van den Berg. 
For more information, see
http://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Position-in-the-Semantics-of-Homotopy-Type-Theory
or at
https://werkenbij.uva.nl/en/vacancies/phd-position-in-the-semantics-of-homotopy-type-theory-netherlands-14370
or contact Benno van den Berg at b.vandenberg3 at uva.nl. 
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php