2 jul 2025 - 16:13 CET

The group of model-based engineering in the Computer Science Department
at the University of Siegen (Germany) is offering a PhD position in
quantum software engineering focusing on the development of novel
testing techniques for quantum software.

The position is part of the project entitled ´Optimized Quantum Software
Testing using Functional Property Specifications and Quantum State
Verification Techniques’ funded by the German Research Foundation (DFG).
The project is a collaboration with Otfried Gühne (Theoretical Quantum
Optics, University of Siegen) and is part of the upcoming priority
program 2514 on Quantum Software, Algorithms and Systems. Read more
about the priority program here:
https://www.spp2514.kit.edu/english/index.php

The research goals of the project include:
- Behavioral property specification for testing quantum programs
- Efficient and effective testing techniques for quantum programs
- Quantum state verification techniques for testing quantum programs
- Handling noise in quantum program testing

Applicants are expected to have:
- M. Sc. with very good grade in computer science, physics, mathematics
or something equivalent
- Very good verbal and written communication skills
- Very good programming skills, preferably in Java or Python

To apply for the position, please send a motivation letter (max. 1
page) and a CV to malte.lochau@uni-siegen.de, deadline: July, 31st.
For further information, see also https://mbe.informatik.uni-siegen.de .