News and Events: Open Positions

These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.


No Open positions at ILLC

Headlines Open positions, general

Open positions, general

  • 21MIAOlogo.jpg

    (New) PhD opening in TCS and/or combinatorial optimization in Lund

    Deadline: Friday 6 September 2024

    The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

    The PhD student will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both the University of Copenhagen and Lund University on either side of the Oresund Bridge. The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.

    This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The starting date is negotiable, but should ideally be during the autumn of 2024 or in early 2025. All positions in the research group are fully funded, employed positions (including travel money) that come with an internationally competitive salary.

    For more information, see or contact Jakob Nordstrom at .
  • Associate Senior Lecturer in Logic, Gothenburg (Sweden)

    Deadline: Tuesday 27 August 2024

    The Logic Group at the University of Gothenburg is seeking an Associate Senior Lecturer in Logic. This tenure track position offers an excellent opportunity to establish your independence as both a teacher and researcher, with the potential for promotion to a tenured Senior Lecturer position within five years. Primary consideration will be given to applicants who have been awarded a PhD within the past five years from the application deadline.

  • 3 postdoctorial position in quantum programming / program analysis / formal methods, Paris (France)

    Deadline: ASAP

    The CEA LIST, Software Security Lab (LSL) at the Université Paris-Saclay, has several open 3 years postdoc positions in the area of Formal verification for quantum programming, to begin as soon as possible at Paris-Saclay, France. It is articulated around the Qbricks tool, which aims at providing an automated solution for quantum programming formal verification. 

    The positions are expected to start in October 2024.

    In these positions, we are interested in verification mechanisms aiming at ensuring that a quantum program implementation indeed satisfies its intended behaviour. Possibilities include, among others:
    - high-level automatic verification of quantum programs for implicit program properties,
    - design of verification oriented hybrid quantum programming languages
    - high-level functional reasoning for quantum programs,
    - circuit-level automatic verification of quantum programs,
    - verification of circuit transformation and compilation.

    For more information, see or contact Christophe Chareton at , or Sébastien Bardin at .
  • PhD/Postdoc positions in "Bilateral AI" project at multiple institutes, Austria

    For the recently established Cluster of Excellence (CoE) Bilateral Artificial Intelligence (BILAI), funded by the Austrian Science Fund (FWF), we are looking for more than 50 PhD students and 10 Post-Doc researchers (m/f/d) to join our team at one of the six leading research institutions across Austria (see full text). The call for applications will open on September 1, 2024.

    For more information, see here or at