The position of Assistant Professor (Universitair Docent, UD) will be embedded within the Institute for Logic, Language and Computation (ILLC). The ILLC promotes curiosity-driven research and serves as a meeting point for computer scientists from traditional research fields ranging from AI, computer science, and mathematics to linguistics, cognitive science, and philosophy.

The ILLC’s scientific mission is to study the formal properties of information—namely, the fundamental structure and characteristics of processes involved in encoding, transmitting, and understanding information. The latter concept should be understood in the broadest sense: it encompasses not only the mathematical and algorithmic properties of formal languages, but also information flow in Natural Language Processing (NLP) and in human cognitive activities such as reasoning.

We are seeking candidates working at the intersection of artificial intelligence, machine learning, and formal reasoning. Relevant areas include, but are not limited to, automated reasoning, interactive theorem proving systems, formal verification, formalized mathematics, neuro-symbolic methods, and AI-assisted mathematical or logical reasoning.

We particularly welcome candidates whose work connects modern AI and machine learning with formal proof systems, interactive theorem provers, or proof assistants such as Lean, Rocq, or Isabelle. At the same time, we also encourage applications from researchers whose work engages more broadly with logic, reasoning, and theoretical computer science.

• A PhD in a relevant field, such as AI, logic, computer science, or mathematics;
• Excellent research skills, demonstrated by a track record of publications in reputable international journals or conference venues in one of the above-mentioned fields, as well as contributions to and/or invited talks at international conferences and workshops;
• Ability to develop an independent line of research within their area of expertise;
• A strong affinity with the ILLC’s multidisciplinary environment and enthusiasm for participating in interdisciplinary research;
• Demonstrable academic teaching skills in one of the above-mentioned fields;
• Possession of the University Teaching Qualification (UTQ/BKO), or willingness to obtain it within the first two years;
• Ideally, some experience in (co-)supervising BSc, MSc, and/or PhD students;
• Excellent oral and written communication skills;
• Ideally, a track record of contributing to research valorisation and outreach activities in research and education.

We offer a temporary employment contract for 38 hours per week for a period of 18 months. The preferred starting date is as soon as possible. A permanent contract follows in case of a positive performance assessment.

The gross monthly salary, based on 38 hours per week and dependent on relevant experience, ranges between € 4,925 to € 6,682 (scale 11). This does not include 8% holiday allowance and 8,3% year-end allowance. The UFO profile Assistant Professor 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.

Curious about our extensive secondary benefits package? You can read more about it here.