[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