We offer several fully funded PhD and Postdoc positions in Quantum Software (verification, compilation, optimization). Interested applicants with strong analytical skills and a desire to work on algorithmic and modeling challenges in Quantum Software are encouraged to contact us.
You will work in the Quantum Software Team (https://cs.au.dk/qs) of the Department of Computer Science, Aarhus University, within the section of Programming Languages, Logic and Software Security (ranked top-5 worldwide in programming languages, https://csrankings.org/#/index?plan&world). We collaborate with external partners such as the company Kvantify.
Interested candidates should contact us as soon as possible by e-mail with a CV and a short description of interests.
Application deadline: Feb 1st, 2026. Expected starting date: May 1st, 2026.
More details: see https://cs.au.dk/research/centers/quantum-software/positions.
Details on our PhD school: https://phd.nat.au.dk/for-applicants
Jaco van de Pol, Bas Spitters, Andreas Pavlogiannis
Aarhus University, Department of Computer Science