Fully funded PhD position in scalable verification of quantum programs - Uppsala University

Dear colleagues,


I am recruiting a PhD student at Uppsala University for a project on scalable verification of quantum programs, combining ideas from formal verification, logic, and automata theory.


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.


Best regards,


Ramanathan Thinniyam

Assistant Professor

Uppsala University









När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: http://www.uu.se/om-uu/dataskydd-personuppgifter/

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/en/about-uu/data-protection-policy

**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************