uva.nl

Institute for Logic, Language and Computation

News and Events: Open Positions

Sections

No Open positions at ILLC

Headlines Open positions, general

Open positions, general

  • PhD position in Formal Methods for Concurrent Cryptographic Protocols at VU Amsterdam [NL]

    Deadline: Friday 30 October 2026

    The goal of this project is to use formal methods to develop a systematic way to describe concurrent cryptographic protocols and to reason about their security. 

    You will carry out research towards developing formal reasoning principles for concurrent cryptographic protocols and participate in the dissemination of results (conferences, research visits, etc.). In addition, you will perform light supervision duties for bachelor and/or master students and support our courses as teaching assistants (maximum two periods a year).

    For more information, see https://workingat.vu.nl/vacancies/phd-position-in-formal-methods-for-concurrent-cryptographic-protocols-amsterdam-1288339 or contact Kristina Sojakova at .

  • PhD and Postdoc positions on explanations for combinatorial search & optimization in Leuven [BE]

    Deadline: Wednesday 30 September 2026

    KU Leuven’s Declarative Languages and Artificial Intelligence (DTAI) section is seeking outstanding researchers to advance the field of combinatorial optimization within Bart Bogaerts’ research group. Two fully-funded positions are available: a PhD role focused on developing human-understandable explanations for optimization decisions, and a postdoc role aimed at ensuring end-to-end correctness guarantees for combinatorial solvers. Both projects leverage breakthroughs like proof logging and machine-verifiable certificates to enhance reliability, auditability, and trust in AI-driven decisions—critical for high-stakes applications and compliance with regulations like GDPR. Candidates will contribute to innovative research, such as debugging via proofs, rigorous algorithm evaluation, and domain-specific explanation methods.

    Applications for the PhD role close September 30, 2026, and for the postdoc role, October 30, 2026.

    For more information, see https://www.kuleuven.be/personeel/jobsite/jobs/60712051 or contact Bart Bogaerts at .

  • Post-Doctoral Position on Applications of Control-flow Equivalence to Systems and Security at Leiden University (The Netherlands)

    Deadline: Monday 31 August 2026

    Applications are invited for a fully funded three-year postdoctoral position aimed at the intersection of theoretical computer science, computer systems, and security. The topic of the research will be centered on applying techniques from automata theory and programming language semantics within program similarity detection, with applications to recurrent vulnerability detection, as well as optimizing compilers, with a focus on code specialization and abstraction. This is a unique position that involves skills both in theory and software implementation.

    For more information, see https://careers.universiteitleiden.nl/job/Post-Doctoral-Researcher-on-Applications-of-Control-flow-Equivalence-to-Systems-and-Security/16630-en_US/ or contact Tobias Kappé at .

  • Tenure-Track Assistant/Associate Professor in Embedded and Distributed AI at Télécom Paris [FR]

    Deadline: Thursday 20 August 2026

    Télécom Paris, a founding member of Institut Polytechnique de Paris (IP Paris), is inviting applications for a tenure-track faculty position associated with the prestigious Hi! PARIS Chairs.

    This position comes with attractive hiring packages and offer the opportunity to contribute to world-class research in Embedded and Distributed AI, with a particular focus on future robotic systems spanning humanoid robots, autonomous aerial and ground vehicles, and embodied AI platforms.Research topics include, but are not limited to, efficient AI models, distributed and multi-agent systems, reinforcement learning, and formal methods for AI verification.

    For more information, see https://institutminestelecom.recruitee.com/l/en/o/assistantassociate-professor-in-embedded-and-distributed-ai-fixed-term-contract-of-3-years or contact Vadim Malvone at .

  • 8 PhD positions in knowledge-driven machine learning at the University of Oslo and UiT The Arctic University of Norway [NO]

    Deadline: Sunday 9 August 2026

    As an Integreat PhD fellow, you will become part of a collaborative research environment that brings together researchers from multiple disciplines, institutions, and career stages. These eight positions are connected to interdisciplinary research projects spanning machine learning, statistics, logic, language technology, and ethics. Together, the projects address fundamental challenges in modern machine learning and contribute to developing new theoretical and methodological foundations for the field.

    Four of the positions are co-funded with TRUST – The Norwegian Centre for Trustworthy AI, providing all recruited fellows with access to an even broader national AI research environment. Join the information meeting on 22 July via Zoom (see the website).

    For more information, see https://www.integreat.no/about/vacancies/phd-recruitment/2026/index.html or contact Maria Dikova at .