PhD/Postdoc positions in formal verification and quantum

PhD/Postdoc positions in formal verification and quantum Application deadline: Wednesday, September 30, 2026Research group: Quantum Information Systems, RWTH AachenEmployer web page: https://qis.rwth-aachen.de/Job type: PhDPostDocTags: #phd #postdoc #verificationI 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. Log in or register to post comments