Application deadline:
Wednesday, September 30, 2026
Research group:
Employer web page:
I would like to announce several openings of Postdoc and PhD positions relating to formal verification and quantum computing / quantum crypto in Dominique Unruh's group, the Chair for Quantum Information Systems, RWTH Aachen, Germany.
Feel free to share this in your network (especially with gifted master students who may not yet be in this channel).
- PhD position “Verification of Quantum Cryptography”
- PhD position “Certified quantum compilation”
- PhD position “Type-systems for quantum programming languages”
Other similar projects are possible, too.
Postdocs are also welcome on these or similar topics, please provide your own research proposal.
