University of Amsterdam (@uva.nl) is hiring:
https://tenuretracker.info/l/AoOW2ovZ/assistant-professor-machine-learning-for-formal-reasoning-and-verification-work?utm_source=bluesky
#assistantprofessor #computerscience #machinelearning
---
Extract: The University of Amsterdam seeks an Assistant Professor in Machine Learning for Formal Reasoning and Verification. Candidates should have a PhD and a strong research background.