We are looking for applicants for the PhD project

“Verification of Quantum Key Distribution”

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

The PhD project is embedded in the ERC consolidator grant CerQuS developing methods and tools for the formal (i.e., computer-aided) verification of quantum cryptography. That is, we want to use the computer to make sure that our security proofs are indeed 100% correct. The goal of the PhD project is to verify a quantum key distribution protocol, which is the archetypic quantum protocol. This encompasses modeling of a protocol and of the security definitions, formalization of the security proofs, and potentially development of new (automated?) formal proof techniques, culminating in a complete analysis. The right choice of protocol, definitions, and techniques will also be part of the research work.

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.