[TYPES/announce] Fully funded PhD and Postdoc in Quantum Software, Aarhus, Denmark

Bas Spitters b.a.w.spitters at gmail.com
Mon Dec 15 11:11:01 EST 2025


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://urldefense.com/v3/__https://cs.au.dk/qs__;!!IBzWLUs!W0gfpA1pR3Ej9B_Nc9XL1QBDYUmNl8Fquo6VcyQYP7DK2jWjI8U6UyHhKM2ib5rtjTI1LGaEeN0gu3n6ccPDGUjgaFdYtq2VpwgC1Os$ ) 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://urldefense.com/v3/__https://csrankings.org/*/index?plan&world__;Iw!!IBzWLUs!W0gfpA1pR3Ej9B_Nc9XL1QBDYUmNl8Fquo6VcyQYP7DK2jWjI8U6UyHhKM2ib5rtjTI1LGaEeN0gu3n6ccPDGUjgaFdYtq2Vw2BaTu8$ ). 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://urldefense.com/v3/__https://cs.au.dk/research/centers/quantum-software/positions__;!!IBzWLUs!W0gfpA1pR3Ej9B_Nc9XL1QBDYUmNl8Fquo6VcyQYP7DK2jWjI8U6UyHhKM2ib5rtjTI1LGaEeN0gu3n6ccPDGUjgaFdYtq2VxZptHTI$ .

Details on our PhD school: https://urldefense.com/v3/__https://phd.nat.au.dk/for-applicants__;!!IBzWLUs!W0gfpA1pR3Ej9B_Nc9XL1QBDYUmNl8Fquo6VcyQYP7DK2jWjI8U6UyHhKM2ib5rtjTI1LGaEeN0gu3n6ccPDGUjgaFdYtq2Vtz4y8WE$ 

Jaco van de Pol, Bas Spitters, Andreas Pavlogiannis

Aarhus University, Department of Computer Science


More information about the Types-announce mailing list