PhD: Homotopy Type Theory: The University of Amsterdam’s Institute for Logic, Language, and Computation (ILLC) invites applications for a fully-funded PhD position in “Simplicial Type Theory,” a research project at the intersection of mathematics and computer science. This project is part of the NWO-funded initiative led by Dr. Benno van den Berg and offers the opportunity to contribute to groundbreaking work in the semantics of Homotopy Type Theory.
PhD Scholarship Opportunity: Semantics of Homotopy Type Theory
Designation
PhD Candidate in Semantics of Homotopy Type Theory
Details
| Category | Description |
|---|---|
| Research Area | Semantics of Homotopy Type Theory, Mathematics, Logic, Theoretical Computer Science |
| Employer | Institute for Logic, Language and Computation (ILLC), University of Amsterdam |
| Location | Faculty of Science, University of Amsterdam, Amsterdam, Netherlands |
| Position Type | Full-time (38 hours/week) |
| Contract | 4 years (initial 18 months, extendable after evaluation) |
| Salary Range | €3,059 – €3,881 gross/month (8% holiday allowance + 8.3% year-end bonus) |
| Last Date to Apply | 27 September 2025 |
Eligibility/Qualification
- Education: MSc degree (or equivalent) in Mathematics, Logic, Theoretical Computer Science, or a related discipline.
- Skills:
- Familiarity with Category Theory.
- Excellent written and spoken English communication skills.
- Ability to work both independently and as part of a collaborative team.
- Additional Notes:
- Knowledge of Dutch is not required but optional Dutch language classes are available for candidates.
Description
About the Project
The focus of this project lies in developing a new formal system called “Simplicial Type Theory.” Building upon Voevodsky’s pioneering work in developing a model of Homotopy Type Theory using simplicial sets, this project aims to create a constructive account of the theory using the framework of effective Kan fibrations. This effort seeks to contribute significantly to the mathematical foundations of Homotopy Type Theory.
What’s Offered?
- An inspiring interdisciplinary research environment with access to experts in logic, mathematics, and computer science.
- Structured educational opportunities, including:
- A complete PhD program.
- A range of professional development courses (e.g., time management, handling stress).
- Opportunities to present at international conferences and publish in high-impact academic journals.
- Additional benefits:
- 232 annual holiday hours (full-time) and extra holidays over Christmas and New Year.
- Support programs for housing when relocating to Amsterdam.
- Parental leave benefits and pension contributions by the employer.
- Access to Dutch language classes (for interested candidates).
How to Apply
Applicants must submit the following documents as a single PDF file using the online application form:
- Curriculum Vitae (CV): Maximum 2 pages.
- Motivation Letter: Maximum 1 page.
- Academic Transcripts.
- Contact Information: Names and details of two academic referees.
Application Steps
Submit your application online via the application link. Only properly completed applications will be considered.
Selection Process:
Interviews for shortlisted candidates will be conducted in October/November 2025.
Last Date to Apply
The application deadline is 27 September 2025.
For inquiries or further information, you may contact:
Dr. Benno van den Berg
Institute for Logic, Language, and Computation
University of Amsterdam
