Dear colleagues,
I am recruiting a PhD student at Uppsala University for a project on scalable verification of quantum programs.
The project lies at the intersection of formal verification, programming languages, and quantum computing. It aims to develop mathematically grounded methods for reasoning about hybrid quantum-classical programs, such as those arising in quantum error correction and related architectures.
Information about the application procedure and requirements is available in the official advertisement on the Varbi portal:
https://uu.varbi.com/en/what:job/jobID:907722/
Further details about the research project can be found on my university webpage:
https://www.uu.se/en/contact-and-organisation/staff?query=N23-1176
** The application deadline is 7 April 2026. **
I would be grateful if you could share this announcement with students who might be interested. Students with backgrounds in theoretical computer science, programming languages, formal verification, or related areas are likely to be particularly well suited. Candidates with a strong mathematical background coming from physics, scientific computing, or electrical engineering may also be considered, so please feel free to distribute this announcement more widely.
Best,
Ramanathan Thinniyam
Assistant Professor
Uppsala University