PhD position in Simplicial Type Theory

**Job Description**
The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is inviting applications for a fully funded Ph.D. position in the NWO project “Simplicial type theory,” led by Dr. Benno van den Berg. This 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. The Ph.D. candidate will be instrumental in developing a new simplicial type theory, conducting cutting-edge research at the intersection of mathematics and computer science.

**Skills & Abilities**
• Technical skills relevant to mathematics and computer science.
• Passion for science.
• 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
• Equivalent relevant discipline

**Experience**
Other:
• Knowledge of the Dutch language is not required.

Note: We’ve analyzed the actual job post using AI, for more details visit the original job post by clicking on “Apply Now”!