[Apologies for multiple copies.] We are looking for applicants for the PhD project “Towards Zero-Defect Quantum Programs” at RWTH Aachen University. The aim of the project is to develop methods for statically analysing programs intended for near-term quantum computers by combining techniques from the verification of probabilistic programs and the verification of quantum programs. This shall enable developers on quantum hardware to drastically reduce the amount of testing and simulation required, and to detect errors early in the program design and to understand them more easily, thus streamlining the software development process and significantly reducing testing and simulation costs. A particular focus will be on near-term systems with realistic error models (NISQ), and on use-cases from practice. The project is a cooperation between the Chair of Quantum Information Systems and the Software Modeling and Verification (MOVES) group at RWTH Aachen University and will be jointly supervised by Joost-Pieter Katoen and Dominique Unruh. Application deadline: September 25, 23:59 (AoE) Required profile. Candidates must have (or soon obtain) a master degree in Computer Science, Mathematics, Physics or related area and have completed their studies with excellent grades. You should have interest in performing original, highly competitive scientific research, publishing your results in top conferences and scientific journals. Self-motivation and the ability to work both independently and as a team player in local and international research groups are expected. Fluency in English is required; proficiency in German is helpful but not compulsory. What do we offer? We offer a stimulating international research environment, the possibility to participate in highly competitive and interdisciplinary research and the opportunity to involve students in your research through project work. Doctoral researchers have a status as employee with a salary according to the German federal employee scale TV-L E13; the exact salary is subject to your family situation. The duration of the position is four years. For further details see: https://dominique-unruh.github.io/qis-chair/positions/zero-defect.html