A key step in the development of homotopy type theory was the construction by Voevodsky of a model of this theory in simplicial sets. The purpose of this project is to develop a constructive account of this model based on the theory of effective Kan fibrations, a notion developed and investigated in collaboration with Eric Faber and others. Using this we will develop a new simplicial type theory.

• MSc degree (or equivalent) in a relevant discipline, such as Mathematics, Logic, or Theoretical Computer Science
• Familiarity with category theory
• Excellent written and spoken English
• Ability to work independently and collaboratively

Please note that knowledge of the Dutch language is not required for these positions. However, PhD candidates at the ILLC have the opportunity to attend Dutch language classes if they wish.

A temporary contract for 38 hours per week for the duration of 4 years (the initial contract will be for a period of 18 months and after satisfactory evaluation it will be extended for a total duration of 4 years). The starting date is flexible but is preferably around January 2026. This should lead to a dissertation (PhD thesis). We will draft an educational plan that includes attendance of courses and (international) meetings. We also expect you to assist in teaching undergraduates and master students.

The gross monthly salary, based on 38 hours per week and dependent on relevant experience, ranges between € 3,059 to € 3,881 (scale P). This does not include 8% holiday allowance and 8,3% year-end allowance. The UFO profile PhD Candidate is applicable. A favourable tax agreement, the ‘30% ruling’, may apply to non-Dutch applicants. The Collective Labour Agreement of Universities of the Netherlands is applicable.

Besides the salary and a vibrant and challenging environment at Science Park we offer you multiple fringe benefits:

• 232 holiday hours per year (based on fulltime) and extra holidays between Christmas and 1 January;
• multiple courses to follow from our Teaching and Learning Centre;
• a complete educational program for PhD students;
• multiple courses on topics such as time management, handling stress and an online learning platform with 100+ different courses;
• 7 weeks birth leave (partner leave) with 100% salary;
• partly paid parental leave;
• a pension at ABP for which UvA pays two third part of the contribution;
• the possibility to follow courses to learn Dutch;
• help with housing for a studio or small apartment when you’re moving from abroad.

In addition,

• A stimulating interdisciplinary environment with access to experts in logic and related fields
• Opportunities to present at top conferences and publish in high-impact venues
• A vibrant and international research community in the heart of Amsterdam

Are you curious to read more about our extensive package of secondary employment benefits, take a look here.