Phd positions in "Verification of Quantum Cryptography"

Please see Postdoc in Verification of Quantum Cryptography for a description of the project. We are also looking for phd students in the area. If you have some relevant background and are interested, please contact Dominique Unruh <>. All accepted phd students are fully funded (no tuition fee, 1000 euro net per month scholarship or salary).