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
*
* DMANET@zpr.uni-koeln.de
*
* 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/
*
**********************************************************
Posts
