The University of Edinburgh
Just Landed
2 days ago
Postdoc Positions in Quantum Software, Category Theory, and Programming Languages at the University of Edinburgh The University of Edinburgh in United Kingdom
Degree Level
Postdoc
Field of study
Computer Science
Funding
Two Research Associate/postdoc positions are being offered on the RubberDUQ project at the Quantum Software Lab. The post does not specify stipend or tuition details, but it is a paid research job rather than a scholarship.
Deadline
Nov 4, 2026
Country
United Kingdom
University
The University of Edinburgh

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
Suggested positions
About this position
Two Research Associate/postdoc positions are open at the Quantum Software Lab, The University of Edinburgh, on the RubberDUQ project.
The project sits at the intersection of quantum computing, quantum software, category theory, and programming languages. Working with Prof. Chris Heunen and the wider QSL team, the successful candidates will investigate the mathematical foundations of hybrid quantum-classical programming and help turn theory into practical tools, including compilers and optimisations that are correct by construction.
This is a collaborative research environment with connections to academic and industry partners. The post is based in Edinburgh, UK, with hybrid working options.
Eligibility highlights mentioned in the post include interest in quantum computing, category theory, or programming languages. The post does not list detailed formal requirements, funding amount, or visa information in the text provided.
Application deadline: 4 November 2026.
How to apply: Follow the application link in the post to read the full advert and submit your application before the deadline.
Funding details
Two Research Associate/postdoc positions are being offered on the RubberDUQ project at the Quantum Software Lab. The post does not specify stipend or tuition details, but it is a paid research job rather than a scholarship.
What's required
Applicants should be passionate about quantum computing, category theory, or programming languages. The role is for Research Associates/postdocs working on the mathematical foundations of hybrid quantum-classical programming, with interest in theory, compilers, and correctness-by-construction tools. Collaboration with academic and industry partners is part of the project.
How to apply
Use the application link provided in the post to view the full advert and submit your application. Apply before 4 November 2026. The role is based in Edinburgh with hybrid working options.
More information can be found here
Ask ApplyKite AI

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.