QuBRA Doctoral Position in Quantum Programming Languages (100%, 3 years) at Ruhr University Bochum
How should one design the ideal programming language for current and future quantum computers? What are appropriate concepts, abstractions, and paradigms? Is there a fundamental difference between programming small and large quantum computers? How can type systems and formal methods help ensure that quantum software works correctly by construction - even when current quantum hardware is noisy? How can quantum programs be debugged when quantum bits collapse upon inspection? And how can all this help algorithm designers analyze innovative new quantum algorithms?
If the above sounds exciting to you, then you should consider applying!
The research group Quantum Information at Ruhr University Bochum led by Michael Walter is hoping to recruit a doctoral student (m/f/d, 100%, 3 years) for the interdisciplinary BMBF project QuBRA. You will work towards a doctorate on questions such as the above (...)