PhD Position in Homotopy Type Theory: Join our research team at the University of Amsterdam for a fully funded PhD position focusing on the intersection of mathematics and computer science, specifically in the field of Homotopy Type Theory. This opportunity involves conducting cutting-edge research within a vibrant interdisciplinary environment.
PhD Position in the Semantics of Homotopy Type Theory
Designation
PhD Candidate
Table
| Attribute | Details |
|---|---|
| Research Project | Simplicial Type Theory |
| Salary | €3,059 – €3,881 per month (based on experience) |
| Contract Duration | 4 years (initially 18 months with extension) |
| Hours per Week | 38 hours |
| Starting Date | Preferably January 2026 |
| Application Deadline | 27 September 2025 |
Research Area
- Semantics of Homotopy Type Theory
- Effective Kan fibrations
- Mathematics and Computer Science Intersection
Location
Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Netherlands
Eligibility/Qualification
- MSc degree (or equivalent) in Mathematics, Logic, or Theoretical Computer Science
- Familiarity with category theory
- Excellent written and spoken English
- Ability to work independently and collaboratively
Description
The PhD candidate will work on developing a constructive account of homotopy type theory based on effective Kan fibrations. The project is led by Dr. Benno van den Berg. Responsibilities include conducting research, assisting in teaching undergraduates and master students, and attending relevant courses and international meetings.
Benefits
- A stimulating interdisciplinary environment
- Access to research experts and opportunities for publication
- Fringe benefits including 232 holiday hours per year, 8% holiday allowance, and more
How to Apply
Interested candidates should apply online. Applications must include:
- CV (max 2 pages)
- Motivation letter (max 1 page)
- Academic transcripts
- Names and contact information of two academic referees
Please submit all documents in one single PDF file.
Last Date to Apply
27 September 2025
For further queries, contact Dr. Benno van den Berg.
