More jobs:
Assistant Professor: ML Formal Reasoning & Verification
Job in
1000, Amsterdam, North Holland, Netherlands
Listed on 2026-08-30
Listing for:
Uva
Full Time
position Listed on 2026-08-30
Job specializations:
-
Education / Teaching
University Professor, Academic, Education Administration
Job Description & How to Apply Below
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,
#J-18808-LjbffrNote that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×