PhD Position in Quantum Programming Languages (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 Quantum Information group at Ruhr-University Bochum is hoping to recruit a PhD student for the interdisciplinary project QuBRA. You will work on questions such as the above as part of …