Overview
We are looking for applicants for the PhD project
“Type-systems for quantum programming languages”
at the Chair for Quantum Information Systems under the supervision of Dominique Unruh.
Type systems can express complex properties of programs; ensuring the correct behavior of programs in various situations, especially in functional programs. Examples of more advanced type systems include refinement types (guaranteeing that functions return values satisfying certain properties), ownership types (avoiding incorrect shared access to data), types expressing heap safety (based on separation logic), resource-aware types ensuring e.g. runtime bound or termination, dependent-types, information-flow types etc. etc. Research into these is very rich in the classical setting but how to apply these concepts to quantum programs is largely unexplored. The topic of this PhD project would be to develop quantum equivalents to advanced classical type systems, lifting their ideas to the quantum setting, and/or solving new questions unique to the quantum setting.
How to apply?
Please see the general application instructions for PhD students.
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.