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
