Assistant Professor: ML for Formal Reasoning & Verification

University of Amsterdam (UvA); Netherlands; On-site; EUR 55,000 - 75,000; Full time

Benefits offered by this job

8% holiday allowance

8.3% year-end allowance

30% ruling

Extensive benefits package

Job summary

University of Amsterdam (UvA) invites applications for an Assistant Professor (Universitair Docent, UD) in the Institute for Logic, Language and Computation (ILLC). You will conduct research at the intersection of AI, machine learning, and formal reasoning and contribute to automated reasoning, verification, and related areas.

The role includes publishing in international venues, developing an independent research agenda, and engaging in excellent teaching.

Qualifications

• PhD in AI, logic, CS or mathematics.
• Track record of publications in international venues.
• Ability to develop an independent line of research.
• Demonstrable teaching skills.

Responsibilities

• Embedded within ILLC to work on machine learning for formal reasoning and verification.
• Contribute to interdisciplinary research at the intersection of AI, ML and formal reasoning.

Skills

Excellent research skills

Independent research

Teaching skills

Oral and written communication

Interdisciplinary mindset

UTQ/BKO

Education

PhD

Job description

University of Amsterdam (UvA) invites applications for an Assistant Professor (Universitair Docent, UD) in the Institute for Logic, Language and Computation (ILLC). You will conduct research at the intersection of AI, machine learning, and formal reasoning and contribute to automated reasoning, verification, and related areas.

The role includes publishing in international venues, developing an independent research agenda, and engaging in excellent teaching.