The Department of Information Technology at Uppsala University is hiring a PhD student to work on formal verification and programming-language techniques for quantum systems, starting 15 January 2027 or as agreed.
The role
- The project aims to verify the trustworthiness of quantum programs at scale, including hybrid quantum-classical architectures with quantum error correction, by combining classical verification, programming-language theory and techniques for complex arithmetic.
- Most of the time goes to doctoral education; teaching and departmental duties are at most 20%.
- The group is strong in verification and programming languages and publishes at venues such as POPL, PLDI, ICALP and CAV.
Requirements
- A master’s degree in computer science, mathematics or a related field; or at least 240 credits with 60 at master’s level and an independent project of 15 credits; or substantially equivalent knowledge.
- A mathematical background, strong problem-solving skills, persistence with hard problems and an interest in programming.
- Good oral and written English, and the ability to work independently and in a team.
- Advantages: formal methods, programming-language semantics, logic, automata theory, automated theorem proving, quantum computing.
- Send a statement (max 2 pages), CV, degrees and transcripts (in English or Swedish), the master’s thesis and publications. The ad says the position may be subject to security vetting.
About the employer
The department is Uppsala University’s third largest, with about 350 employees and 120 PhD students. The verification group builds tools such as UPPAAL, Concuerror and Nidhugg.
Salary and deadline
- A temporary full-time (100%) position in Uppsala. The ad says fixed salary and gives no amount.
- Deadline: 15 November 2026, reference UFV-PA 2026/2571. Apply through Uppsala University’s recruitment system.
Source: Department of Information Technology, Uppsala University, “PhD student focusing on Scalable Quantum Program Verification”, read on 25 October 2026. Summary by AVIDE; see the original page for the full, current text.