Fixed-term: The funds for this post are available for 24 months in the first instance. The anticipated start date will be September 2026, subject to agreement.
The Department of Computer Science and Technology is an academic department that encompasses computer science along with many aspects of engineering, technology and mathematics. We have a worldwide reputation for academic research with consistent top research ratings. The Department has an open and collaborative culture, supporting revolutionary fundamental computer science research, strong cross-cutting collaborations internally and externally, and ideas which transform computing outside the University.
We invite applications for a Research Associate to join the New Spaces for Denotational Semantics project. The New Spaces project aims to develop an axiomatic framework for higher-dimensional synthetic mathematics unifying the domain theoretic semantics of programming languages with higher category theory. In its final phase, the project will focus on the development of a new interactive proof assistant to support this axiomatisation.
This position will involve working with Dr Jon Sterling and other project collaborators.
The role holder will be leading the development of a new proof assistant for neutral constructive mathematics in collaboration with the Principal Investigator. In addition, you will be expected to contribute to open-source software that will assist with this project and future ones in this area, as well as write up research work for presentation and publication in appropriate venues (including conferences, journals, and blogging)
The successful candidate will hold, or be close to obtaining, a PhD in Computer Science or a closely related discipline, or possess equivalent professional experience. Appointment at Research Associate level is dependent on having a PhD. Those who have submitted but not yet received their PhD will be appointed at Research Assistant level, which will be amended to Research Associate once the PhD has been awarded.
They should also have a track record of research and engineering excellence and innovation in a subset of the following topics:
In addition to the base salary stated above, the successful candidate for this post will receive an additional 2.5% supplement to their pay.
The University actively supports equality, diversity and inclusion and encourages applications from all sections of society.
The University has a responsibility to ensure that all employees are eligible to live and work in the UK. Please note that we provide the support of applying for the relevant visa (if required) and we reimburse the cost of the first visa.
Department/location: Department of Computer Science and Technology
Salary: £33,002 – £35,608 or £37,694- £46,049
Reference: NR49581
Category: Research
Date published: 30 April 2026
Closing date: 14 May 2026
Tagged as: Life Sciences
Research Assistant in Structural Biology Dorothy Crowfoot Hodgkin Building, Biochemistry Department, South Parks Road, Oxford, OX1 3QU Pay Scale: RESEARCH...
ApplyFlow Cytometry Research Assistant We are seeking an enthusiastic and personable Research Assistant to join the Don Mason Facility of...
ApplyPostdoctoral Research Associate in Molecular Mechanisms of Protein Complex Assembly Dorothy Crowfoot Hodgkin Building, Biochemistry Department, South Parks Road, Oxford,...
ApplyClinical Research Associate Are you interested in accelerating novel interventions for the early diagnosis of cancer and risk stratification of...
ApplyPostdoctoral Research Assistant in Learning to Defer in Healthcare We are seeking a creative and highly motivated postdoctoral researcher to...
ApplySupervisory Service Technician (Barrier) An opportunity has arisen for a motivated Supervisory Service Technician (Barrier) to join our friendly team...
ApplyPlease visit www.cam.ac.uk.
Don't forget to mention that you found the position on jobRxiv!
