[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
