[TYPES/announce] PhD Vacancy: Position on Verifying Quantum Programs

[Dominique Unruh]

[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://urldefense.com/v3/__https://dominique-unruh.github.io/qis-chair/positions/zero-defect.html__;!!IBzWLUs!REXfotkw9wqdtI1y9i9rjObDuLvee6mVFzSW_Zrz_GuDZDQ8baZxbshwwhbUPKhPlOAiKO0qM28bD19hRviWBeK3Xg$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230905/f18d8d37/attachment-0001.htm>