We are looking for applicants for the PhD project

“Functional quantum programs in F*”

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

The goal of this project is to develop a functional programming language for programming and reasoning about complex quantum programs. At the same time, existing infrastructure from the classical world is to be maintained. We achieve this by embedding the quantum language in the existing language F. F has the ability to model different computational models by run-time configurable monads, programs in these monads can be executed (in our case: quantum simulation) and reasoned about (in our case: quantum program verification). By designing a suitably expressive quantum monad, we combine the existing reasoning power of F* with a powerful quantum language. (Note: Instead of F* a different language framework could be used if that turns out to be more fruitful.)

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.