PhD Student in Scalable Quantum Program Verification
Advance quantum software reliability through formal verification and programming language theory at Uppsala University.
Best for:Best for graduate students in computer science or mathematics with a strong background in formal methods and a keen interest in quantum software.
Overview
Uppsala University is inviting applications for a PhD position focusing on scalable quantum program verification within the Department of Information Technology. The successful candidate will work at the intersection of classical verification, programming language theory, and complex arithmetic to develop theoretical insights and software tools for hybrid quantum-classical systems. Responsibilities include pursuing doctoral studies, contributing to cutting-edge research, and optionally taking on up to 20% departmental duties such as teaching. Applicants are expected to possess a strong background in mathematics or computer science and a passion for tackling difficult verification challenges.
What you'll do
- Conduct original academic research in the field of scalable quantum program verification.
- Develop novel theoretical models and software artifacts for verifying hybrid quantum-classical systems.
- Engage in doctoral coursework and advance toward the completion of a PhD dissertation.
- Participate in departmental duties such as teaching and administrative tasks up to 20% of the time.
- Collaborate with internal colleagues and present research findings in academic environments.
Requirements
Degree required: Master's degree in computer science, mathematics, or a related field
Degree offered: PhD
Language: English; sufficient proficiency in oral and written English
Instruction: English
- Solid mathematical background
- Excellent problem-solving capabilities
- Demonstrated interest in programming
- Ability to work both independently and collaboratively within a research team
- Hold a Master's degree, have completed 240 higher education credits with at least 60 at the Master's level including an independent project, or possess equivalent knowledge.
Funding & terms
How to apply
Deadline: 2026-11-15
Prepare all required application documents including a motivation statement, CV, and academic transcripts. Submit your application through the official university application portal by the specified deadline referencing the position ID.
- Motivation statement
- CV
- Degrees and transcripts with grades
- Master's thesis or draft
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.