[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
