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 Programming Languages and Logic, Leiden University (The Netherlands)

    Deadline: Monday 30 June 2025

    We invite applications to a fully funded 4-year PhD position at the intersection between logic and programming languages, on the topic "Expressivity of Imperative Programs", to be hosted at Leiden University. The application deadline is June 30, 2025.

    The semantics of programming languages are often modeled as abstract machines that evolve through interaction with their environment, raising the question of whether every machine behavior can be captured by a program in a given language. This question has practical implications, such as in compiler optimizations and decompilation for tasks like malware analysis. However, theoretical limits exist: languages lacking non-local control flow constructs like goto or break cannot express all machine behaviors. This issue, rooted in debates dating back to the 1980s, continues to inspire research, especially into the expressiveness of structurally constrained control flows. This PhD project explores these questions through the lenses of programming languages, automata theory, and process algebra.

    For more information, see https://www.universiteitleiden.nl/en/vacancies/2025/q2/15703-phd-candidate-on-expressivity-of-imperative-programs or contact Tobias Kappé at .

  • (New) Postdoc Position in Mathematical Logic (2 years), Darmstadt (Germany)

    Deadline: Friday 27 June 2025

    The Department of Mathematics at TU Darmstadt is offering a 2 year postdoc position in Mathematical Logic. The logic group at the department has links with various application areas of mathematical logic in other fields of mathematics as well as in theoretical computer science. For the present position, preference would be given to candidates with research interests in model-theoretic methods broadly conceived. Main focus is on application domains such as finite and algorithmic model theory, the study of logics of a modal character, or of team semantics.

    For more information, see https://www.career.tu-darmstadt.de/HPv3.Jobs/TU-Darmstadt/stellenangebot/47620?lang=en or contact Martin Otto at .

  • (New) PhD Positions in Mathematical and Physical Sciences, University of Udine (Italy)

    Deadline: Friday 20 June 2025

    The call for the PhD program in Mathematics and Physics at the University of Udine is online. The positions come with a three-year scholarship and some travel funding. The starting date of the PhD program is November 1. The interviews for the selection of candidates will start online on July 21. Notice that it is enough for candidates to obtain their Master degree before the starting date of the PhD Program (and not before the expiry date of the call).

    In 2025 we are especially interested in students willing to work in computability theory, reverse mathematics, Weihrauch reducibility (potential supervisor Alberto Marcone) and set theory, particularly large cardinals (potential supervisor Vincenzo Dimonte). The PhD students working in computability theory will be able to take advantage of the MSCA Staff Exchanges grant "New Frontiers for Computability" which funds mobility towards other universities involved in the project. Udine's Mathematical Logic group consists also of one post-doc researcher and three active PhD students (two others will obtain their degrees in 2025).

    For more information, see https://dmif.uniud.it/it/didattica/dottorato/smf/phd-course-in-mathematical-and-physical-sciences or contact .

  • (New) Postdoc in Theoretical Computer Science (HOMBRe Project), University of Birmingham (UK)

    Deadline: Sunday 15 June 2025

    The University of Birmingham invites applications for a fully funded postdoctoral research position in Theoretical Computer Science. The position is funded by the German Research Foundation (DFG) and provides support for 18 months of full-time research, with a possible further extension by another 6 months. The position is open immediately and preferably to be filled as soon as possible.

    The successful candidate will contribute to the project "Higher-Order Monad-based Programming and Reasoning (HOMBRe)", which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their generalizations as well as the semantics of iteration and recursion via trace operators, with particular interest in the notion of guarded traces. The project welcomes a broad range of perspectives across functional-imperative programming, verification logics, and categorical semantics.

    For more information, see https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/7078/ or contact Dr Sergey Goncharov, at .

  • PhD Position in Graph-based Machine Learning and Semantic Modeling, Bozen-Bolzano (Italy)

    Deadline: Wednesday 11 June 2025

    In partnership with Sony CSL Barcelona, we invite applications for a fully funded 3 year PhD Position, starting in November 2025, on the topic of "Predicting the evolution of scientific knowledge: exploiting knowledge graphs and ontology embeddings". The PhD project is coordinated by Prof. Oliver Kutz and Prof. Diego Calvanese at the Free University of Bozen-Bolzano (Italy), and by Dr. Tarek Besold at Sony CSL (Barcelona, Spain). The successful applicant is expected to spend two extended 6 months periods in the Sony Lab Barcelona, with main PhD studies pursued in Bolzano within the world-renowned KRDB Research Centre for Knowledge Based Artificial Intelligence.

    For more information, see here or at https://www.unibz.it/en/faculties/engineering/phd-computer-science/ or contact Oliver Kutz at .

  • PhD student positions (9 funded, 2 non-funded) in Research Methods in Science & Technology, Urbino (Italy)

    Deadline: Tuesday 10 June 2025

    The University of Urbino is pleased to announce that applications are now open for the Ph.D. program in “Research Methods in Science and Technology.” We offer 9 fully funded positions (including 2 reserved for candidates with foreign qualifications) and 1 position without scholarship. We particularly welcome research proposals in Logic, Philosophy of Science, and History of Science.

    For more information, see here or at https://www.uniurb.it/concorsi/9084 or contact Prof. Vincenzo Fano at .

  • 11 PhD positions in philosophy (including logic), Pavia/Milan/Pisa (Italy)

    Deadline: Monday 9 June 2025

    11 PhD positions in philosophy are currently open within the HuME PhD program, which is shared across three Italian institutions: IUSS Pavia, the University of Milan and Scuola Normale Superiore in Pisa. Possible topics include philosophy of mathematics, logic and philosophy of logic, epistemology, foundations of probability, logic for practical reasoning and Artificial Intelligence, and formal semantics. The positions come with a 3-year grant and additional funding to cover research trips and academic visits abroad. The deadline for applications is June 9th at 13:00, and the starting date for the positions is October 1st, 2025. The official language of the program is English.

    For more information, see https://www.iusspavia.it/en/education/doctoral-programmes/human-mind-and-its-explanations-language-brain-and-reasoning-hume/apply or contact Andrea Sereni at .
  • BILAI_research_institutions.PNG

    PhD/Postdoc positions in Cluster of Excellence "Bilateral AI", Austria

    In Austria, leading scientists in the field of AI have joined forces and created the Cluster of Excellence (CoE) “Bilateral Artificial Intelligence: Discovering the Next Dimension of AI”, funded by the Austrian Science Fund FWF. The vision is to educate a new generation of top-quality AI scientists with a holistic understanding of symbolic and sub-symbolic AI methods. The CoE “Bilateral AI” is currently looking for the brightest minds in this field, offering PhD and Postdoc positions, with several exciting opportunities still available.

    The participating research centers are Johannes Kepler Universität Linz (JKU Linz), Technische Universität Wien (TU Wien), Alpen-Adria-Universität Klagenfurt (AAU), Institute of Science and Technology Austria (ISTA), Technische Universität Graz (TU Graz), and Wirtschaftsuniversität Wien (WU Wien).

    For more information, see https://www.bilateral-ai.net/career or contact BILAI at .