Research Associate - Quantum Software & Semantics (Hybrid)

The University of Edinburgh

City of Edinburgh

Hybrid

GBP 38,000 - 46,000

Full time

3 days ago

Be an early applicant

A complete application in a minute

Tailored resume and cover letter, ready to send.

Get past ATS filters

Benefits offered by this job

Professional development and subject-m

Leading-edge research

Contributing to the work and purpose

Job summary

The University of Edinburgh invites applications for a Research Associate to work on the RubberDUQ project within the Quantum Software Lab, developing mathematical foundations and practical tools for hybrid quantum‑classical programming. The role focuses on categorical semantics to give quantum programs precise meaning, with potential work spanning category theory, semantics, and compiler design.

The position is full‑time on a fixed term basis (35 hours per week) for 12 months, with open

Qualifications

Degree in Computer Science, Mathematics, or Physics.
Experience conducting research in one or more of: categorical semantics, programming language theory, compilers, or quantum computing.
Proven expertise in the mathematical or software techniques required: category theory, formal semantics, or compiler implementation.
Evidence of high-quality research performance (publications, technical reports, software contributions).
Ability to communicate complex information clearly, both verbally and in writing.

Responsibilities

Develop mathematical foundations and practical tools for hybrid quantum‑classical programming.
Use categorical semantics to give quantum programs a precise meaning and guide optimisations that are correct by construction.
Collaborate with the project team and with QSL's academic and industrial partners.
Work may range from category theory and programming language semantics to compiler design and implementation.