PhD position

**Job Description**
The PhD candidate will join a research team focusing on the NWO project “Simplicial type theory” under the leadership of 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, to establish a new simplicial type theory. This position requires conducting cutting-edge research at the intersection of mathematics and computer science.

**Skills & Abilities**
• Technical skills
• 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

**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”!