-
Assistant Professor of Natural Language Processing
Deadline: Wednesday 7 October 2026The NLP-group of the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is looking for an Assistant Professor to work on large reasoning models, AI alignment and AI for science and research.
For more information, see here or at https://werkenbij.uva.nl/en/vacancies/assistant-professor-of-natural-language-processing-netherlands-15374 or contact Jelle Zuidema at W.H.Zuidema at uva.nl. -
Assistant Professor Machine Learning for Formal Reasoning and Verification
Deadline: Wednesday 7 October 2026The TCS-group of the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is looking for an Assistant Professor to work on machine learning for formal reasoning and verification.
For more information, see here or at https://werkenbij.uva.nl/en/vacancies/assistant-professor-machine-learning-for-formal-reasoning-and-verification-netherlands-15373 or contact Balder ten Cate at B.D.tenCate at uva.nl.