Sections
Headlines ILLC News
Headlines ILLC Events this week
ILLC News
-
(New) 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. -
(New) 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. -

NWO Veni for Ana Lucic
We are pleased to announce that Ana Lucic has been awarded an NWO Veni Grant, to work on a project entitled Mechanistic Interpretability for Graph Machine Learning.
For more information, see https://www.nwo.nl/en/researchprogrammes/nwo-talent-programme/projects-veni/veni-2025 or contact illc at uva.nl. -

NWO Veni for Jonathan Osinski
We are pleased to announce that Jonathan Osinski has been awarded an NWO Veni grant to work on the project entitled Applications of formal logic in international relations: modelling epistemic dynamics of conflict. Jonathan will start his project in the beginning of 2027.
For more information, see https://www.nwo.nl/en/researchprogrammes/nwo-talent-programme/projects-veni/veni-2025 or contact illc at uva.nl.
ILLC Events this week
-
28 August 2026, Master of Logic defense, Gidon Kaminer
Title: Learning to Theorize in Mental TermsLocation: F1.15, Science Park 107, AmsterdamSupervisor: Fausto Carcassi -
(Updated) 28 August 2026, Master of Logic defense, Shihui Li
Title: Context-sensitive modeling of metaphoric potential with Large Language ModelsLocation: F1.15, Science Park 107, AmsterdamSupervisor: Jelke Bloem, Xiaojuan Tan -
(New) 28 August 2026, FOAM Seminar, Kanstantsin Pashkovich
Speaker: Kanstantsin PashkovichTitle: Efficient Algorithms for Online Subadditive Combinatorial AllocationsLocation: Room L2.07, ILLC Lab42, Science Park 900, AmsterdamFor more information, see https://events.illc.uva.nl/FOAM/posts/talk34/ or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl. -
28 August 2026, MoL introduction pizza party
Location: Restaurant Polder, Science Park, AmsterdamJoin us for the opening event of the new academic year and welcome the new cohort of Master of Logic students with us! We will enjoy drinks, pizzas (vegan and gluten-free available) and stimulating company at out usual venue, the restaurant Polder.