**Job Description**
The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a fully funded PhD position in the NWO project “Simplicial type theory,” led by Dr. Benno van den Berg. The project aims to develop a constructive account of a model of homotopy type theory in simplicial sets, based on the theory of effective Kan fibrations, and subsequently develop a new simplicial type theory. This cutting-edge research is at the intersection of mathematics and computer science.
**Skills & Abilities**
• Familiarity with category theory
• Excellent written and spoken English
• Ability to work independently and collaboratively
**Qualifications**
Required Degree(s) in:
• Mathematics
• Logic
• Theoretical Computer Science
Other:
• MSc degree (or equivalent) in a relevant discipline
Note: We’ve analyzed the actual job post using AI, for more details visit the original job post by clicking on “Apply Now”!
