PhD and Postdoc in (Formalized) Quantum Software, Aarhus, DK

Stream: job postings

[Bas Spitters]

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