Senior Research Associate on Concurrent, Distributed and Quantum Programming

1 week ago


Oxford, Oxfordshire, United Kingdom University of Oxford Full time £45,585 - £54,395

The Department of Computer Science seeks to employ a senior researcher to work on a project in the area of Concurrent, Distributed and Quantum Programming (UKRI/EPSRC/ERC), under the direction of PI Professor Nobuko Yoshida. The post is full-time, fixed term position, tenable immediately, and will be available until the end of March 2026, subject to satisfactory review. The position will be based within the Department's offices in central Oxford.

The aims of the projects are:

  • To develop theory of session types (including mechanisation by, e.g. Coq and Isabelle, automata theory, verification, security analysis, model checking, process algebra, semantics, and logic)
  • To design and implement programming languages and systems with session types; OR
  • To study quantum computing using programming languages or concurrency theory techniques

A key objective is either to design and implement programming API or verification tools for concurrent and distributed systems and/or investigate theory of session types; or to study quantum computing using session types or concurrency theory.

The applicants are welcome to contact with for further clarifications and questions.

Candidates will be expected to have a PhD in Computer Science, Mathematics and/or Engineering; and/or relevant research experience. You will possess a strong experience in Computing in general, especially around either Theoretical Computer Science, Programming Languages or Hardware Systems. Excellent communication skills are also required, including the ability to write for publication, present research proposals and results, and represent the research group at meetings. Willingness to collaborate with others and work effectively as a member of a team is essential.We would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the Computer Science Department.

All applicants must complete an application form and submit a CV and supporting statement. The closing date for applications is 12 noon on Friday, 5 th July 2024. Interviews are expected to be held on 15 th or 16 th July 2024.

We are a Stonewall Top 100 Employer, Living Wage and holding an Athena Swan Bronze Award, HR excellence in Research and Race Equality Charter Bronze Award.

Our staff and students come from all over the world, and we proudly promote a friendly and inclusive culture. Diversity is positively encouraged, through diversity groups and champions, as well as a number of family-friendly policies, such as the right to apply for flexible working and support for staff returning from periods of extended absence, for example shared parental leave.

Demonstrating a commitment to provide equality of opportunity. We would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the Computer Science Department. All applicants will be judged on merit, according to the selection criteria.

£45,585 to £54,395 per annum. Grade 8

#J-18808-Ljbffr

  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    The Department of Computer Science seeks to employ a senior researcher to work on a project in the area of Concurrent, Distributed and Quantum Programming (UKRI/EPSRC/ERC), under the direction of PI Professor Nobuko Yoshida. The post is full-time, fixed term position, tenable immediately, and will be available until the end of March 2026, subject to...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    The aims of the projects are:To develop theory of session types (including mechanisation by, e.g. Coq and Isabelle, automata theory, verification, security analysis, model checking, process algebra, semantics, and logic) To design and implement programming languages and systems with session types; OR To study quantum computing using programming languages or...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    We are seeking a motivated and Talented experimentalist for a full-time Senior Research Associate in Quantum Thermodynamics within Professor Ares' research group at the Department of Engineering Science (Central Oxford). The post is externally funded and is fixed-term to the 11th June 2026.For quantum computers to be used practically, a large number of...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    We are seeking a motivated and Talented experimentalist for a full-time Senior Research Associate in Quantum Thermodynamics within Professor Ares' research group at the Department of Engineering Science (Central Oxford). The post is externally funded and is fixed-term to the 11th June 2026.For quantum computers to be used practically, a large number of...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    We are seeking a motivated and Talented experimentalist for a full-time Senior Research Associate in Quantum Thermodynamics within Professor Ares' research group at the Department of Engineering Science (Central Oxford). The post is externally funded and is fixed-term to the 11th June 2026.For quantum computers to be used practically, a large number of...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    Applications are invited for a Postdoctoral Research Assistant in the theory of quantum systems. This post is full time and fixed term for 3 Years. "This project will explore theory of quantum computing and simulation relevant to setting a roadmap for ongoing experiments, as well as direct collaboration with experimental teams".We are advertising four...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    Applications are invited for a Postdoctoral Research Assistant in the theory of quantum systems. This post is full time and fixed term for 3 Years. "This project will explore theory of quantum computing and simulation relevant to setting a roadmap for ongoing experiments, as well as direct collaboration with experimental teams".We are advertising four...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    Applications are invited for a Postdoctoral Research Assistant in the theory of quantum systems. This post is full time and fixed term for 3 Years. "This project will explore theory of quantum computing and simulation relevant to setting a roadmap for ongoing experiments, as well as direct collaboration with experimental teams".We are advertising four...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    Location: Parks Road, Oxford, OX1 3PUApplications are invited for a Postdoctoral Research Assistant in Superconducting Quantum Circuits.The post is available initially for a fixed-term duration of 12 months, with the possibility of extension subject to funding.This project will be on the research and development of high fidelity entangling gate, and address...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    Location: Parks Road, Oxford, OX1 3PUApplications are invited for a Postdoctoral Research Assistant in Superconducting Quantum Circuits.The post is available initially for a fixed-term duration of 12 months, with the possibility of extension subject to funding.This project will be on the research and development of high fidelity entangling gate, and address...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    We are seeking an exceptional Senior Research Associate in Energy Systems to join an ambitious and wide-ranging programme, the International Community for Local Smart Grids (ICLSG), and will be part of a vital knowledge sharing programme identifying how global energy challenges can be addressed and opportunities shared to support decarbonisation around the...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    For quantum computers to be used practically, a large number of qubits need to be controlled with absolute precision and without errors. This is an extremely difficult task. The need to calibrate individual qubits, either to maximise fidelity initially or when parameters drift, constitutes a complicated and repetitive process, requiring deep understanding of...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    Location: Department of Statistics, 24-29 St Giles', Oxford, OX1 3LBWe are seeking to appoint an outstanding Senior Postdoctoral Research Associate in the areas of Artificial Intelligence or Machine Learning. The University of Oxford has partnered with Google DeepMind to provide a platform for positive change, working to diversify the research community and...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    We have an exciting opportunity for a Postdoctoral Researcher who wants to drive research into novel cancer therapeutics with the potential to impact human health, to join the group of Dr Joseph Newman at Centre for Medicines Discovery, Nuffield Department of Medicine.You will be responsible for expressing and purifying human helicase proteins for assay...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    We are pleased to announce the availability of two full-time Senior Research Associate positions in Semantic Technologies and Artificial Intelligence, available for up to 2 years. Researchers in all topics related to semantic technology will be considered, with a preference towards researchers working on knowledge graphs, stream reasoning, and in particular...

  • Research Associate

    7 days ago


    Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    About the Role Palliative care is an approach that improves the quality of life of patients and those important to them facing the problems associated with progressive life limiting illness, through early identification and impeccable assessment, and treatment of pain and other problems, physical, psychosocial and spiritual. Our multidisciplinary clinical...

  • Research Associate

    2 weeks ago


    Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    About the Role Palliative care is an approach that improves the quality of life of patients and those important to them facing the problems associated with progressive life limiting illness, through early identification and impeccable assessment, and treatment of pain and other problems, physical, psychosocial and spiritual. Our multidisciplinary clinical...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    Applications are invited for a Postdoctoral Research Assistant in Theoretical Atomic Physics. The post is available for a fixed-term duration of 24 months and is full time. This project will involve developing an existing widely-used atomic physics model, GRASP, to include new and more accurate methods to calculate quantum electrodynamic corrections to...


  • Oxford, Oxfordshire, United Kingdom Euro Math Soc Full time

    We invite applications for two Postdoctoral Research Associates to join the Mathematical Physics research group based at the Mathematical Institute of the University of Oxford. These posts are funded by the Royal Society through the project "Quantum perturbation theory at large orders" of Dr Erik Panzer (grant RF\ERE\ Two posts are available, with end date...


  • Oxford, Oxfordshire, United Kingdom University of Oxford Full time

    The Leverhulme Centre for Nature Recovery (LCNR) is being established to address the challenge of delivering effective and socially inclusive nature recovery at scale. Providing sufficient financial resources and prioritisation is among the greatest challenges facing nature recovery.As a Senior Research Associate for Nature Recovery Finance you will be...