#postdoc #quantum programming #quantuminformation #category theory
We are looking for three Postdoctoral Research Associates for the EPSRC-funded project “Rubber DUQ: flexible Dynamic Universal Quantum programming” three years each. The project aims to prototype a quantum programming language based on categorical universal properties such as quantum information effects, implement a compiler, and quantify its robustness, and develop automated strategies to trade off resilience to noise against speed or accuracy.