#phd #postdoc #verification

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).