Overview
We are looking for applicants for the PhD project
“Verification of Quantum Cryptography”
at the Chair for Quantum Information Systems under the supervision of Dominique Unruh.
The project is to develop methods and tools for the formal verification of the security of quantum key distribution (QKD) and possibly other quantum cryptographic protocols. The research will consist both of developing the methods/foundations, as well as formalizing security definitions and concrete protocols. A focus is on actual quantum protocols (i.e., not just post-quantum cryptography), for example QKD or position verification or quantum commitments, etc., just to name some illustrative examples. 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.
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. (In case of physics, strong exposure to computer science theory or mathematics is strongly recommended.) 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.