<!DOCTYPE html><html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<p>[Apologies for multiple copies.]
<br>
<br>
We are looking for applicants for the PhD project
<br>
<br>
“Towards Zero-Defect Quantum Programs”
<br>
<br>
at RWTH Aachen University.
<br>
<br>
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.
<br>
<br>
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.
<br>
<br>
<b>Application deadline:</b> September 25, 23:59 (AoE)
<br>
<br>
<b>Required profile.</b> 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.
<br>
<br>
<b>What do we offer?</b> 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.
<br>
<br>
For further details see:
<br>
<br>
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://dominique-unruh.github.io/qis-chair/positions/zero-defect.html__;!!IBzWLUs!REXfotkw9wqdtI1y9i9rjObDuLvee6mVFzSW_Zrz_GuDZDQ8baZxbshwwhbUPKhPlOAiKO0qM28bD19hRviWBeK3Xg$">https://dominique-unruh.github.io/qis-chair/positions/zero-defect.html</a>
</p>
</body>
</html>