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 .

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

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

  • Postdoc in Logic Automata Games and Reactive Synthesis (SMILeS Project) at Tata Institute of Fundamental Research, Mumbai [IN]

    Deadline: Wednesday 15 July 2026

    The project investigates the automated synthesis of reactive systems under uncertainty, combining quantitative and qualitative objectives, worst-case and expectation requirements, and using machine learning with formal guarantees.

    The position is available immediately. The selected candidates will work closely with both the Indian PI (Shibashis Guha, TIFR) and the French PI (Laurent Doyen, LMF & CNRS), and other PIs (Krishna S, IIT Bombay) in the Indian and the French side (Patricia Bouyer and Dietmar Berwanger, LMF & CNRS).

    For more information, see https://www.tifr.res.in/shibashis.guha/SMILESjob-offer-postdoc2.pdf or contact .

  • PhD Position in Coalgebra / Algebra / Semantics / Formal Methods / Probabilistic Systems in Salzburg [AT]

    Deadline: Wednesday 15 July 2026

    We have a PhD position to fill in the newly formed group CALM (Coalgebra, Algebra, and Logical Methods) at the Department of Computer Science, University of Salzburg. The position is for 4 years, with all benefits (and a small teaching obligation in year 2 and year 3). The topic of research will be fixed based on the joint interests of the candidate and the supervisor, within the mentioned areas. 

    Applications will be considered on a rolling basis, until the position is filled -- ideally before August 2026. Please send your (for now informal) application with a CV and your research interests directly to

    For more information, contact Ana Sokolova at .