Logic List Mailing Archive

CfA: Assistant Professor in Machine Learning for Formal Reasoning and Verification, Amsterdam (The Netherlands), deadline: 7 October 2026

Assistant Professor Machine Learning for Formal Reasoning and Verification
University of Amsterdam (The Netherlands)

Deadline: 7 October 2026

The 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.

The position of Assistant Professor (Universitair Docent, UD) will be embedded within the Institute for Logic, Language and Computation (ILLC). The ILLC promotes curiosity-driven research and serves as a meeting point for computer scientists from traditional research fields ranging from AI, computer science, and mathematics to linguistics, cognitive science, and philosophy.

We are seeking candidates working at the intersection of artificial intelligence, machine learning, and formal reasoning. Relevant areas include, but are not limited to, automated reasoning, interactive theorem proving systems, formal verification, formalized mathematics, neuro-symbolic methods, and AI-assisted mathematical or logical reasoning.

We particularly welcome candidates whose work connects modern AI and machine learning with formal proof systems, interactive theorem provers, or proof assistants such as Lean, Rocq, or Isabelle. At the same time, we also encourage applications from researchers whose work engages more broadly with logic, reasoning, and theoretical computer science.

More information: https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/16310/Assistant-Professor-Machine-Learning-for-Formal-Reasoning-and-Verification



Written on my phone, apologies for typos.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php