The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for an: Assistant Professor in Formal Methods (0.8-1.0 FTE), and Assistant Professor in Computer Science (0.8-1.0 FTE)
For details, see the following advertisements: https://www.universiteitleiden.nl/en/vacancies/2025/q1/15460-assistant-professor-in-formal-methods-0.8-1.0-fte https://careers.universiteitleiden.nl/job/Leiden-Assistant-Professor-in-Computer-Science-%280_8-1_0-FTE%29/1168484101/
