-  The smart network where hbo and wo students find their internship and first job.

The smart network where hbo and wo students find their internship and first job.

PhD Position on Machine Learning for Automated Reasoning

Posted 4 Feb 2024
Work experience
1 to 3 years
Full-time / part-time
Job function
€2,770 - €3,539 per month
Degree level
Required languages
English (Fluent)
Dutch (Fluent)
11 Mar 2024 00:00

Your career starts on

Create a profile and receive smart job recommendations based on your liked jobs.

Are you interested to work, in an interdisciplinary research setting, on topics at the intersection of logic, machine learning and automated reasoning? The Institute for Logic, Language and Computation (ILLC) is looking for a talented PhD candidate. Your research will be part of the Theoretical Computer Science unit of the ILLC, and will concern use of machine learning for automated reasoning (such as mathematical theorem proving and/or declarative constraint-based reasoning).

What are you going to do?

You will be expected to:

  • complete and defend a PhD thesis within the official appointment duration of four years;
  • present research results regularly at international workshops and conferences, and to publish them in conference proceedings and journals;
  • participate in and to contribute to the organisation of research activities and events at the Institute, such as workshops and colloquia;
  • make a small contribution to the FNWI’s educational mission, by working as a teaching assistant for courses in your area of expertise and by assisting with the supervision of students’ research projects;
  • Contribute to UvA’s research programme on artificial intelligence.

What do we require?

  • a Master in a relevant field such as computer science, artificial intelligence, logic, or mathematics (note that holding a Master’s degree is not required at the time of the application, but will be a requirement for employment);
  • an excellent academic track record;
  • a serious interest in pursuing fundamental research in artificial intelligence;
  • prior experience with machine learning (e.g., graph neural networks, large language models) from a practical or a theoretical angle, as well as prior experience with logical reasoning techniques, constraint solving, and/or interactive theorem provers (e.g., lean);
  • good writing and presentation skills;
  • good social and organisational skills;
  • full professional proficiency in spoken and written English.

Our offer

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). 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 € 2,770 to € 3,539 (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 leadership for academic staff;
  • 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;
  • the possibility to set up a workplace at home;
  • 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.

The University of Amsterdam is one of the largest comprehensive universities in Europe. With some 40,000 students, 6,000 staff, 3,000 PhD candidates, and an annual budget of more than 850 million euros, it is also one of Amsterdam’s biggest employers.
Deze bedrijfspagina is automatisch gegenereerd en bevat daarom nog weinig informatie. Je vindt meer informatie over ‘bedrijfsnaam’ op hun website: ‘’Carrierewebsite’’

6,000 employees