Assistant Professor In Formal Methods and Neuro-Symbolic AI

Job Title

Assistant Professor In Formal Methods and Neuro-Symbolic AI

We are an internationally top‑ranking university in the Netherlands that combines scientific curiosity with a hands‑on attitude. The Department of Mathematics and Computer Science is establishing a mission‑driven collaboration on Zero‑touch systems, requiring interdisciplinary expertise in Formal Methods and AI.

• Develop a mission‑driven research program on Zero‑touch systems, focusing on autonomous, self‑healing, and self‑adapting systems.
• Conduct research on Neuro‑Symbolic methods for verification, Runtime Verification, shielding, reasoning about stochastics and reinforcement learning, neural network verification, and explainable AI.
• Develop and contribute to future‑proof methods for software engineering for autonomous systems.
• Enable, facilitate, and demonstrate the development of models for Zero‑touch systems.
• Contribute to national and university scientific road‑maps in Neuro‑Symbolic AI.
• Build and grow a community inside and beyond the department around research questions and challenges.

• PhD in Computer Science, Data Science, Electrical Engineering, or Mathematics.
• Strong publication record in intelligent system design, software technology, verification, and evidence of international recognition.
• At least 2 years of post‑PhD academic research experience is preferred.
• Ability to produce high‑quality research outputs.
• Motivation to teach and develop teaching skills.
• Excellent team player with strong interdisciplinary collaboration skills.
• Effective communication and leadership skills, including coaching and mentoring of students.
• Excellent written and verbal proficiency in English.
• Strong background in the intersection of Formal Methods and AI.

• Salary in accordance with the Collective Labour Agreement for Dutch Universities, scale 11 (min. €4,728 – max. €6,433).
• Year‑end bonus of 8.3% and annual vacation pay of 8%.
• Dedicated mentoring program to acclimate new staff to the Dutch research environment.
• Development track to progress to Associate Professor, with tailored career proposals for senior profiles.
• Technical infrastructure, on‑campus children’s day‑care, sports facilities, and partially paid parental leave.
• Allowance for commuting, working from home, and internet costs.
• Staff Immigration Team available for international candidates; tax compensation scheme (30% facility) and partner career support.

The application should include:

• Cover letter describing motivation and qualifications.
• Curriculum vitae with publication list and contact information for three references.
• Scientific interests and plans (1‑2 pages).
• Statement of teaching goals and experience (1‑2 pages).

• Title:
  
  Assistant Professor In Formal Methods and Neuro‑Symbolic AI
• Location:
  
  Eindhoven, Noord‑Brabant, Netherlands
• Full‑time equivalent: 1.0 FTE
• Contract type:
  Full time
• Reference number: 2026/306
• Published: 2026‑06‑02
• Last application date: 2026‑08‑02