Uppsala University
Just Landed
New Today
PhD in Scalable Quantum Program Verification Uppsala University in Sweden
Degree Level
PhD
Field of study
Computer Science
Funding
Temporary PhD employment at 100% scope with fixed salary. The position includes doctoral education and may include up to 20% departmental duties such as teaching and administration.
Deadline
Nov 15, 2026
Country
Sweden
University
Uppsala University

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
Suggested positions
About this position
Uppsala University is advertising a PhD position in Scalable Quantum Program Verification at the Department of Information Technology in Uppsala, Sweden.
The project sits at the intersection of computer science, mathematics, formal verification, programming language theory, and quantum computing. The research aims to develop scalable methods for verifying quantum programs, especially as quantum software becomes more complex and hybrid quantum-classical architectures create new verification challenges. The environment includes researchers working on verification and programming languages, with a strong tradition in theoretical work and tool development.
This is a full-time temporary PhD employment with a fixed salary. The doctoral student will primarily focus on doctoral education, with up to 20% departmental duties such as teaching and administration. The starting date is 15 January 2027 or as agreed.
Eligibility highlights: applicants should have a Master’s degree in computer science, mathematics, or a related field, or equivalent qualifications. A strong mathematical background, problem-solving ability, motivation, programming interest, and good English communication skills are expected. Experience in formal methods, semantics, logic, automata theory, automated theorem proving, or quantum computing is considered an advantage.
Application materials: a 2-page statement of motivation and research interests, a concise summary of the Master’s thesis or comparable project, contact information for at least one reference, a CV, degrees and transcripts, and the thesis/draft plus any publications or relevant reports.
Deadline: 15 November 2026. Applications must be submitted through Uppsala University’s recruitment system.
Funding details
Temporary PhD employment at 100% scope with fixed salary. The position includes doctoral education and may include up to 20% departmental duties such as teaching and administration.
What's required
Applicants must meet the general entry requirements for doctoral studies: a Master’s degree in computer science, mathematics, or a related field; or at least 240 higher-education credits including at least 60 credits at Master’s level with an independent project worth at least 15 credits; or equivalent knowledge. Candidates should have a mathematical background, excellent problem-solving skills, high motivation, interest in programming, good communication skills with sufficient proficiency in oral and written English, and the ability to work independently and collaboratively. Experience or coursework in formal methods, programming language theory or semantics, logic, automata theory, automated theorem proving, or quantum computing is an advantage.
How to apply
Prepare a statement (max 2 pages), CV, degrees and transcripts, and your Master’s thesis or draft plus publications or reports. Submit the application through Uppsala University’s recruitment system before the deadline.
More information can be found here
Ask ApplyKite AI

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.