PhD student focusing on Scalable Quantum Program Verification Full-time NEW

PhD Student Focusing on Scalable Quantum Program Verification

Are you interested in working in formal verification and programming language techniques applied to quantum systems, with the support of competent and friendly colleagues in an international environment? Are you looking for an employer that invests in a sustainable working environment and offers safe, favourable working conditions? We welcome you to apply for a PhD position at the Department of Information Technology, Uppsala University.

The Department of Information Technology holds a leading position in both research and education at all levels. We are currently Uppsala University's third largest department, with 350 employees, including 120 teachers and 120 PhD students. Approximately 5,000 undergraduate students take one or more courses at the department each year.

The position is hosted in a research environment which includes verification experts as well as experts in programming languages. The department is known for both strong theoretical work as well as tool development in these areas, publishing in top conferences such as POPL, PLDI, ICALP and CAV.

Project description: As both private and public investment in quantum computing continues to surge, the steady upscaling of quantum hardware has resulted in increasingly sophisticated quantum software pipelines. Given the strategic use of quantum software, there is an urgent need for verifying the trustworthiness of quantum programs at scale. Features of modern quantum programs such as Quantum Error Correction lead to hybrid quantum-classical architectures, resulting in new challenges for verification. Current tools and techniques do not offer the desired combination of scalability, automation and guarantees to verify such programs. The project aims to address this gap by combining techniques from classical verification and programming language theory with those for complex arithmetic, in order to contribute both theoretical insights and software artifacts advancing the state of the art in quantum program verification.

Duties: The doctoral student will primarily devote their time to doctoral education. Other departmental duties of at most 20%, including teaching and administration, may also be included in the employment.

Requirements: To meet the general entry requirements for doctoral studies, you must:

• hold a Master's (second-cycle) degree in computer science or mathematics or a related field, or
• have completed at least 240 credits in higher education, with at least 60 credits at Master's level including an independent project worth at least 15 credits, or
• have acquired substantially equivalent knowledge in some other way.

We are looking for candidates with:

• a mathematical background,
• excellent problem-solving skills,
• high motivation and capacity to persistently work on difficult problems,
• interest in programming,
• good communication skills with sufficient proficiency in oral and written English,
• ability to work both independently and collaboratively.

Additional qualifications: Experience or coursework in one or more of the following areas is considered an advantage: formal methods, programming language theory or semantics, logic, automata theory, automated theorem proving, and quantum computing.

Application: The application must include:

1. A statement (max 2 pages) describing the applicant's motivation, research interests, a concise summary of their Master's thesis (or comparable project), and the earliest possible starting date; contact information for at least one reference (no reference letter required at this stage).
2. A CV.
3. Degrees and transcripts with grades (officially translated to English or Swedish).
4. The Master's thesis (or draft), publications, and other relevant self-produced reports.

Promising applicants will be invited for interviews before a hiring decision is made.

About the employment: The employment is a temporary position according to the Higher Education Ordinance chapter 5 § 7. Scope of employment: 100%. Starting date: 15 January 2027 or as agreed. Placement: Uppsala.

For further information about the position, please contact: Assistant Professor Ramanathan Thinniyam Srinivasan, email: ramanathan.s.thinniyam@it.uu.se

Please submit your application by 15 November 2026, UFV-PA 2026/2571.