Publisher
source

Uppsala University

Just Landed

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 flag

Country

Sweden

University

Uppsala University

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Mathematics
Quantum Computing
Automata Theory
Mathematical Logic
Physics
Semantics

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

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?