Open positions, general

• 

  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 https://qbricks.github.io/#3-years-postdoc-position-cea-paris-saclay-france or contact Christophe Chareton at christophe.chareton at cea.fr, or Sébastien Bardin at sebastien.bardin at cea.fr.
• 

  PhD position in Quantitative logics and complexity theory (Sheffield, UK)

  Deadline: Monday 1 July 2024

  I am looking for a motivated PhD student to join the Foundations of Computation group of The University of Sheffield. The topic of the PhD project is quite flexible, but should relate to my current research directions in quantitative logics and complexity theory. Here possible directions are temporal logics, logical foundations of neural networks, and logical foundations of database theory.
  This PhD studentship will fund the full (UK or Overseas) tuition fee and provide a tax-free stipend at the standard UKRI rate (currently £19,237 for 2024/25) for 3.5 years. In addition, both the Department and research group provide funding for attending conferences.

  For more information, see https://www.findaphd.com/phds/project/quantitative-logics-and-complexity-theory/?p172593 or contact Jonni Virtema at j.t.virtema at sheffield.ac.uk.
• 

  PhD positions in TCS and/or combinatorial optimization, Copenhagen (Denmark)

  Deadline: Monday 1 July 2024

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization. The PhD students will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordstrom, which is active at both the University of Copenhagen and Lund University on either side of the Oresund Bridge. These positions are available for period of 3-5 years, depending on the current education level of the applicant. All our PhD positions are fully funded, employed positions (including travel money) that come with an internationally competitive salary. The starting date is flexible, but will be in October 2024 or thereafter.

  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 creates a very special environment, where we do not only conduct in-depth research on different theoretical and applied topics, but where different lines of research cross-fertilise each other and unexpected and exciting synergies often arise. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While the focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

  For more information, see https://jakobnordstrom.se/openings/PhD-UCPH-240701.html or contact Jakob Nordstrom at jn at di.ku.dk.
• 

  PhD/Postdoc position in Formal Methods, Konstanz (Germany)

  Deadline: Sunday 30 June 2024

  The newly established research group in Formal Methods for Software Engineering at the University of Konstanz, led by TT-Prof. Emanuele D'Osualdo, is inviting applications for a PhD position or a Postdoctoral position in Formal Methods, Verification and Programming Languages. The PhD position comes with a 4y contract and a competitive salary (100% TV-L E13), the Postdoc position comes with a 2 years contract with possible extensions and a competitive salary (100% TV-L E13). Ideally, the successful candidate would be able to start before the beginning of the winter semester. The working language is English.

  The focus of the group is verification of concurrent systems, foundations of logics and types, and verification of probabilistic programs. Outstanding people, even with only a partial match to these topics, are encouraged to apply. As a member of our team, you will have the opportunity to contribute to state-of-the-art research and interact with high-profile international collaborators (e.g. from Uni. Toronto, Cornell, MPI-SWS, Imperial, Groningen).

  For more information, see https://stellen.uni-konstanz.de/jobposting/1de6846cd08fd19408180654ed1d21314776e7860 or contact Emanuele D'Osualdo at emanuele.dosualdo at uni.kn.
• 

  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 https://www.bilateral-ai.net/jobs/.