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 .

  • (New) 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 .

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

  • Summer internships at Entrelacs SAS [remote]

    Deadline: Saturday 1 August 2026

    Entrelacs SAS, a startup based in France building AI-powered psychological assessment tools using large language models, is offering a fully remote summer research internship. The internship runs for approximately 8 weeks, is 100% remote (no need to be based in France), and is offered under a French convention de stage — students enrolled outside France are welcome, provided their institution can issue an equivalent internship agreement. They will be working closely with our supervisor Dr Miguel Silan. 

    For more information, please reach out to Nica via email. 

    For more information, see https://drive.google.com/file/d/1vmdOsKTcPw1tM-pB1zl4doZChHFAOzvd/view or contact Nica Ciruelas at .

  • Postdoc in Philosophical Logic and the Philosophy of Logic at the Czech Academy of Science in Prague [CZ]

    Location: Prague, Czech Republic
    Deadline: Friday 31 July 2026

    A two-year postdoc position is opened on the SIMILE (Substitution in Material Inference and Logical Environments) project, which seeks to develop conceptual and mathematical-symbolic frameworks for understanding material inferences, which have emerged as a central topic inferentialist projects as in the work of Sellars, Brandom, and Peregrin, among others. One special focus of the project's work is substitution (and especially the failure of substitution invariance), which has long been known to play a central role in materiality. 

    Candidates should hold or expect a PhD and have a strong background in logic. The ideal candidate will have expertise in both philosophical logic and the philosophy of logic, with particular competency in one or more of the following areas: Metainference, Inferentialism,  Algebraic methods in philosophical logic, Relevant logic, or Metalogical properties of non-classical logics. The call will remain open until the position is filled, but preferrably by 31 July 2026 to guarantee full consideration. 

    For more information, see http://wesleyfussner.com/team.html or contact Wesley Fussner at .