Assistant Professor Machine Learning for Formal Reasoning and Verification

The University of Amsterdam's Institute for Logic, Language and Computation is looking for an Assistant Professor specializing in machine learning for formal reasoning and verification. The successful candidate will engage in interdisciplinary research at the intersection of AI, machine learning, and formal reasoning. Applicants should possess a PhD in a relevant field and demonstrate excellent research skills with a track record of publications. The position offers a temporary contract for 38 hours per week, with a gross monthly salary ranging from €4,925 to €6,682, plus additional benefits. Applications are open until October 7, 2026.