We are looking for applicants for the PhD project

“Certified quantum compilation”

at the Chair for Quantum Information Systems under the supervision of Dominique Unruh.

Quantum programming can be done in two ways: On a very low level (individual gates, taking into account noise and the specifics of the quantum computer) or on a very high level (powerful abstract programming language). These levels are connected by a compiler: the high level program is automatically transformed into a low level program. Designing compilers is a difficult and error-prone task, and if in the end the program fails to work correctly, it may be difficult to understand whether the original program was buggy, or whether the compiler introduced flaws. A way around this is certified compilation: while compiling, the compiler not only produces a low level program but also a formal (machine-checked) proof that the low level program does the same thing as the high level program. The goal of this PhD project is to develop techniques for certified compilation, and implement a certifying compiler.

How to apply?

Please see the general application instructions for PhD students.

The deadline for applications is: April 15, 2024.

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; it is the main language of communication at the group.

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 full-time employee with a salary according to the German federal employee scale TV-L E13 ; the exact salary is subject to your family situation. (Inofficial description of this scale)

RWTH Aachen University offers excellent facilities for professional and personal development.

RWTH Aachen University is certified as a “Family-Friendly University”. We particularly welcome and encourage applications from women, non-binary persons, disabled persons and ethnic minority groups, recognizing they are underrepresented across RWTH Aachen University. The principles of fair and open competition apply and appointments will be made on merit.