PhD Position in Scalable Quantum Program Verification
Join a leading research group to develop novel formal verification techniques for scalable quantum programs.
Best for:Best for computer science or mathematics graduates with a strong mathematical background, problem-solving skills, and interest in formal methods, programming languages, or quantum computing.
Overview
This PhD position at Uppsala University’s Department of Information Technology focuses on advancing formal verification methods for quantum software, addressing critical challenges in scalability, automation, and trustworthiness. The project combines classical verification techniques with quantum programming language theory to ensure the correctness of complex quantum algorithms, particularly those involving hybrid quantum-classical architectures. The successful candidate will work within a collaborative environment of renowned experts in formal methods, programming languages, and quantum computing. The role includes doctoral education with up to 20% additional duties such as teaching and administration, offering a unique opportunity to contribute to cutting-edge research at the intersection of quantum computing and formal verification.
What you'll do
- Conduct doctoral research focused on developing scalable techniques for verifying quantum programs, addressing challenges in hybrid quantum-classical architectures.
- Develop theoretical insights and software artifacts to advance the state of the art in quantum program verification.
- Engage in collaborative research within a team of experts in formal methods, programming languages, and quantum computing.
- Participate in up to 20% of departmental duties, including teaching and administrative tasks.
- Present research findings at conferences and publish in top-tier academic journals and venues.
Requirements
Degree required: Master’s (second-cycle) degree in computer science, mathematics, or a related field, or completion of at least 240 credits in higher education with 60 credits at Master’s level including an independent project worth at least 15 credits.
Degree offered: PhD
Language: English; proficiency sufficient for academic research and communication
Instruction: English
- Strong mathematical background and problem-solving skills
- Excellent programming abilities
- Proficient written and spoken English
- Ability to work independently and collaboratively
- Interest in formal methods, programming language theory, or quantum computing
- Must meet the general entry requirements for doctoral studies in Sweden
- No specific nationality or residency restrictions mentioned, but security vetting may be required
Funding & terms
How to apply
Deadline: 2026-11-15
Submit a statement (max 2 pages) describing motivation, research interests, a summary of the Master’s thesis, and earliest possible start date. Include a CV, degrees and transcripts with grades, and the Master’s thesis or relevant reports. No reference letters are required at this stage. Apply through Uppsala University’s recruitment system.
- Statement of motivation and research interests (max 2 pages)
- CV
- Degrees and transcripts with grades (officially translated to English or Swedish)
- Master’s thesis or draft, publications, and other relevant self-produced reports
Contact
Ramanathan Thinniyam Srinivasan· Assistant Professor
Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.