Assistant Professor: ML for Formal Reasoning & Verification

Uva; Amsterdam; On-site; EUR 55,000 - 75,000; Full time

Job summary

University of Amsterdam's Institute for Logic, Language and Computation (ILLC) invites applications for an Assistant Professor (Universitair Docent, UD) specializing in machine learning for formal reasoning and verification. The position is embedded in ILLC and linked to the Faculty of Science, with a strong emphasis on interdisciplinary research.

The appointee will develop an independent research program at the intersection of AI, ML, and formal methods, contribute to teaching and supervision,

Qualifications

• PhD in AI, logic, CS, or mathematics.
• Publications in reputable journals or conferences.
• Ability to develop an independent line of research.
• Affiliation with interdisciplinary research environment.
• Academic teaching skills.
• UTQ/BKO or willingness to obtain it within two years.
• Experience supervising BSc/MSc/PhD students is a plus.
• Excellent oral and written communication skills.
• Track record in research valorisation/outreach is desirable.

Responsibilities

• Conduct research at the intersection of AI, ML, and formal reasoning/verification.
• Teach courses and supervise students at graduate and undergraduate levels.
• Collaborate with colleagues across disciplines and contribute to outreach and ensemble activities.

Skills

Excellent research skills

Independent research line

Interdisciplinary collaboration

Teaching skills

UTQ/BKO or willing to obtain

Supervision of students

Excellent communication

Education

PhD in AI, logic, CS, or mathematics

Tools

Lean

Rocq

Isabelle

Job description

University of Amsterdam's Institute for Logic, Language and Computation (ILLC) invites applications for an Assistant Professor (Universitair Docent, UD) specializing in machine learning for formal reasoning and verification. The position is embedded in ILLC and linked to the Faculty of Science, with a strong emphasis on interdisciplinary research.

The appointee will develop an independent research program at the intersection of AI, ML, and formal methods, contribute to teaching and supervision,