PhD Position in Scalable Quantum Program Verification

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. You can find more information about us on the Department of Information Technology website.

The position is hosted in a research environment which includes verification experts (Parosh Abdulla, Mohammed Faouzi Atig, Bengt Jonsson, Philipp Ruemmer, Kostis Sagonas, Wang Yi), as well as experts in programming languages (Johannes Borgström, Eva Darulova, Lars-Henrik Erikson, Sofia Ouhbi, Tjark Weber, Tobias Wrigstad). The department is known for both strong theoretical work as well as tool development in these areas (UPPAAL, Concuerror, Nidhugg and other tools), 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 (now reaching thousands of qubits) has resulted in increasingly sophisticated quantum software pipelines. Given the strategic use of quantum software (e.g. in security), 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.

The University may permit an exemption from the general entry requirements for an individual applicant, if there are special grounds (Chapter 7, § 39 of the Higher Education Ordinance). For special entry requirements, please see the subject’s general study plan.

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.

Rules governing PhD students are set out in the Higher Education Ordinance chapter 5, §§ 1-7 and in Uppsala University's rules and guidelines.

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.

Are you considering moving to Sweden to work at Uppsala University? Find out more about what its like to work and live in Sweden.

Uppsala University is a broad research university with a strong international position. The ultimate goal is to conduct education and research of the highest quality and relevance to make a difference in society. Our most important asset is all of our 7,500 employees and 53,000 students who, with curiosity and commitment, make Uppsala University one of Sweden’s most exciting workplaces.

Read more about our benefits and what it is like to work at Uppsala University https://uu.se/om-uu/jobba-hos-oss/

The position may be subject to security vetting. If security vetting is conducted, the applicant must pass the vetting process to be eligible for employment.

Please do not send offers of recruitment or advertising services.

Submit your application through Uppsala University's recruitment system.

Employee organizations: Saco-S - saco-s@uu.se, Seko - seko@uadm.uu.se, ST (OFR/S) - ofr@uu.se

Placement: Department of Information Technology

Scope: Full time

Working hours: 100%

Type of employment: Temporary position

Pay: Fixed salary

Number of positions: 1

Town: Uppsala

Number of reference: UFV-PA 2026/2571

Last application date: 15 November 2026

Apply