We offer several PhD/PostDoc positions in the area of Quantum Software Verification, Compilation and Optimization. Interested applicants with strong analytical skills and a desire to work on algorithmic and modeling challenges focused on Quantum Circuits are encouraged to contact us with a CV and a short description of interests. The applicants must have a strong background in Theoretical Computer Science (e.g., programming language theory, formal methods, or algorithms/optimization) and be open to practical computational experiments. PostDoc applicants must further demonstrate a solid history of academic writing and publishing, as well as carrying out independent research.
The appointments will be held at the department of Computer Science at Aarhus University, within the section of Programming Languages, Logic, and Software Security, which has strong international presence and also ranks as a top-5 department worldwide in the area of Programming Languages (https://csrankings.org). See the Quantum Software Team for our recent contributions to quantum software. We collaborate with several external partners, such as the company Kvantify.
All positions are fully funded with a competitive salary and social benefits.
Interested applicants should contact us by E-mail as soon as possible (prior to the formal application process). The application deadline will be Feb 1st. The expected starting date of the positions is May 1st.
Jaco van de Pol, jaco@cs.au.dk
Andreas Pavlogiannis, pavlogiannis@cs.au.dk
Bas Spitters, spitters@cs.au.dk
The idea of the project is centered around quantum circuits: the task is to optimize quantum circuits and map them to particular hardware platforms. We will also study the optimal implementation of quantum error correcting codes. Another part of the project focuses on expressing quantum algorithms in (higher-level) quantum programming languages, including loops and measurements, studying these languages in terms of their semantics, compilation, program optimizations, and verification. We collaborate with several external partners, such as the company Kvantify. The vision of the project as a whole is to develop design automation algorithms for a quantum software stack.
