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
[LOGIC] CfA: PhD Position in the Semantics of Homotopy Type Theory, ILLC - Amsterdam (The Netherlands), deadline: 27. September 2025
[LOGIC] Mailing List via Math.Logic Wed, 17 Sep 2025 02:38:21 -0700
