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 Fellowships for AI-related Projects in Logic, Philosophy of Mathematics, and Philosophy of Science at the Archives Henri Poincaré [FR]

    Deadline: Sunday 31 January 2027

    The AI Grand Est ENACT cluster, led by the University of Lorraine and the University of Strasbourg together with CNRS, Inria, Inserm, awards half- and fully-funded PhD contracts in AI-related topics, open to all disciplinary fields including the humanities and social sciences. A full fellowship covers three years of PhD salary plus €10,000 in research expenses; a half-fellowship, which should be combined with another funding source, covers half the salary plus €5,000.

    The Archives Henri Poincaré is a joint research unit between the CNRS, the Université de Lorraine, and the Université de Strasbourg, with sites in Nancy and Strasbourg, working on the history and philosophy of science in a broad sense. It is one of the ENACT cluster's priority research units, and the programme can accordingly fund PhD projects in logic and philosophy that engage with AI, whether in their topic or in their methodology. We are particularly interested in projects on AI and mathematics approached from the standpoint of logic and the philosophy of mathematics, though proposals connecting AI to other areas of logic and philosophy are equally welcome. Prospective PhD students interested in developing a project along these lines should get in touch with Yacin Hamami, sufficiently early to leave time to develop a suitable research project before the topic-submission deadline.

    For more information, see https://cluster-ia-enact.ai/en/enact-doctoral-fellowships/ or contact Yacin Hamami at .

  • PhD Positions in Formal Methods for Trustworthy Systems and AI at TU Braunschweig [DE]

    Deadline: Monday 7 December 2026

    The Department of Computer Science at TU Braunschweig is establishing a research group on Formal Methods for Trustworthy Systems and AI, offering several PhD positions. Topics of interest include formal verification, symbolic methods, and automated reasoning, with applications in AI and explainability.

    Interested candidates are requested to send their application directly to Clemens Dubslaff, head of the group.

    For more information, see https://www.tu-braunschweig.de/en/fk1 or contact Clemens Dubslaff at .

  • PhD Position in Strategy Logics at Sorbonne Paris North University [FR]

    Deadline: Sunday 15 November 2026

    The objective of the thesis will be to investigate verification and synthesis methods for dynamic Multi-Agent Systems, based on formalisms such as the Alternating-time Temporal Logic. Directions explored will include designing efficient model-checking algorithms, determining their complexity bounds, and developing synthesis methods for computing repairs.

    The student will conduct their thesis at the Paris North Computer Science Laboratory (LIPN). The expected starting date is March 2026 (negotiable). Applications should be sent directly to Munyque Mittelmann. Please don't hesitate to contact us for more information.

    For more information, see https://drive.google.com/file/d/1FA3QiRzyxmYSjENumpKQCjLYgcHLkG5g/view?usp=sharing or contact Munyque Mittelmann at .

  • 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 position in Type Systems for Concurrency at University of Groningen [NL]

    Deadline: Friday 30 October 2026

    Applications are now open for one fully-funded PhD position on type systems for concurrency, co-supervised by Jorge Pérez and Dan Frumin (Groningen) and Robbert Krebbers (Nijmegen). The successful candidate will explore the semantic foundations of type systems for message-passing concurrency (e.g., session types), employing techniques like logical relations and coalgebras, and establishing rigorous connections with frameworks like Iris and program logics like Actris.

    The ideal candidate has proven research experience in one or more of the following: semantics of programming languages, concurrency theory, type systems, logics such as linear logic and separation logic, and proof assistants. Prior knowledge of session types and Rocq/Iris is not a prerequisite, but it would be an advantage.

    For more information, see https://cyclic-structures.nl/vacancies/ or contact Jorge Pérez at .

  • Postdoctoral Position in Logic, Probability, and Rationality at CLE–UNICAMP [BR]

    Deadline: Thursday 15 October 2026

    The Centre for Logic, Epistemology and the History of Science (CLE) at UNICAMP invites applications for a postdoctoral position supervised by Prof. Walter Carnielli. The position is linked to the FAPESP Thematic Project "Rationality, Logic and Probability – RatioLog". This project develops a unified framework combining logic, probability, and causal inference to support robust models of rational reasoning. It aims to integrate paraconsistent and paracomplete logics with Bayesian inference and Pearl's causal models, addressing reasoning under contradiction, uncertainty, and intervention. To apply, please send an email to prof. Walter Carnielli (open this call for further instructions).

    CLE-UNICAMP is one of the first and highest-ranked academic institutions in Latin America fully dedicated to the areas of Logic, Epistemology, Philosophy, and the History of Science, promoting interdisciplinary research through seminars and scientific meetings, publications, and academic exchange with research groups and institutions in Brazil and around the world.

    For more information, see here or contact Walter Carnielli at .

  • PhD position in Theoretical philosophy at Stockholm University [SE]

    Deadline: Thursday 15 October 2026

    The thesis work will be conducted within theoretical philosophy. Theoretical philosophy includes epistemology, metaphysics, philosophy of mind, logic, philosophy of language, philosophy of science, as well as the history of philosophy.

    It is likely that Valentin Goranko will be the supervisor or co-supervisor if a student with a logic project gets the position. Students can get in touch with him directly if they are interested.

    For more information, see https://su.varbi.com/en/what:job/jobID:947001/where:4/ or contact Valentin Goranko at .

  • PhD position in Logic and Artificial Intelligence at the University of Bergen [NO]

    Deadline: Thursday 15 October 2026

    There is a vacancy for a PhD position in information science at the Department of Information Science and Media Studies. The position is for a fixed-term period of 4 years, of which 25% will be dedicated to teaching, supervision and administrative tasks at the Department.

    The PhD project is situated within the research area of logics for multi-agent systems, and their applications to formal verification, synthesis, normative reasoning, mechanism design, analysis of social phenomena, and so on. The logics in question include, but are not limited to, logics for reasoning about agents' strategies, actions, knowledge, beliefs, abilities, etc. The project will be conducted within the Logic and Artificial Intelligence (LAI) research group. The exact scope and focus of the project can be adapted to the candidate's interests.

    For more information, see https://www.jobbnorge.no/en/available-jobs/job/307728/phd-position-logic-and-artificial-intelligence-lai or contact Rustam Galimullin at .