Senior Research Associate in programming languages

2 weeks ago


Oxford Oxfordshire, United Kingdom University of Oxford Full time €36,024 - €44,263

We are looking for a Senior Research Associate to work on the project of UKRI/EPSRC/ERC under the supervision of 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 aims of the projects are:
- 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; 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; You are expected to hold a PhD in Computer Science, Mathematics, OR Engineering; and/or relevant research experience.
Whilst the role is a Grade 8 position, we would be willing to consider candidates with potential but less experience who are seeking a development opportunity, for which an initial appointment would be at Grade 7 with a title of “Research Associate” (Grade 7) with the responsibilities adjusted accordingly. We would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the Computer Science Department.
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.
We would particularly welcome applications from women and black and minority ethnic applicants who are currently under-represented within the Computer Science Department.



  • Oxford, United Kingdom University of Oxford Full time

    We are looking for a Senior Research Associate to work on the project of UKRI/EPSRC/ERC under the supervision of 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...


  • Oxford, United Kingdom University of Oxford Full time

    We are looking for a Senior Research Associate to work on the project of UKRI/EPSRC/ERC under the supervision of 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...


  • 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...


  • 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...


  • Oxford, 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 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 £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...


  • Oxford, Oxfordshire, United Kingdom Elizabeth Norman Full time

    Health Charity – Market Research ~ Senior Quantitative Research Associate ~£Oxford based office but no requirement to travel. We are working with a charity with an international reputation in public health and social care. Their mission is to make person-centered health and social care a reality for everyone. They develop and run surveys for a wide...


  • Oxford, United Kingdom University of Oxford Full time

    We are seeking to appoint a highly motivated Postdoctoral Research Associate in the Spatial Analysis of Multiplex Immunohistochemistry Images of Murine Pathology to work with Professor Simon Leedham at the Wellcome Centre for Human Genetics, Nuffield Department of Medicine and visiting worker rights in the Oxford University Mathematics department under...


  • Oxford, United Kingdom University of Oxford Full time

    We are seeking to appoint a highly motivated Postdoctoral Research Associate in the Spatial Analysis of Multiplex Immunohistochemistry Images of Murine Pathology to work with Professor Simon Leedham at the Wellcome Centre for Human Genetics, Nuffield Department of Medicine and visiting worker rights in the Oxford University Mathematics department under...


  • Oxford, 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...


  • 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 €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...


  • 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...


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

    There is an amazing opportunity to join the Smith School of Enterprise and the Environment (SSEE).We are seeking a Research Associate in AI/Machine Learning with expertise in large language models. Who will engage in internationally leading research in the analysis of complex, text data at scale. They will bring state of the art machine learning to the heart...


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

    There is an amazing opportunity to join the Smith School of Enterprise and the Environment (SSEE).We are seeking a Research Associate in AI/Machine Learning with expertise in large language models. Who will engage in internationally leading research in the analysis of complex, text data at scale. They will bring state of the art machine learning to the heart...


  • Oxford, Oxfordshire, United Kingdom Abs Data Full time

    Senior Research Software Engineer University of Oxford Job description : Location: Old Road Campus, Headington, Oxford, OX3 7LF We are seeking to appoint a Senior Research Software Engineer with experience of maintaining and developing software in a research (or industrial) context to join the Centre for Tropical Medicine and Global Health at the...


  • Oxford, United Kingdom University of Oxford Full time

    There is an amazing opportunity to join the Smith School of Enterprise and the Environment (SSEE). We are seeking a Research Associate in AI/Machine Learning with expertise in large language models. Who will engage in internationally leading research in the analysis of complex, text data at scale. They will bring state of the art machine learning to the...


  • Oxford, Oxfordshire, United Kingdom Lorien Full time €65,000

    Fixed Term Contract until 10/2025 - potential for extension This is a brilliant opportunity to join an institute for a world class university, known for their research and reputation globally. They are looking for a Senior Research Software Engineer to join their newly formed cloud computing and AI/ML team to help provide centralised expertise on the use of...

  • Phd Research Engineer

    4 weeks ago


    Oxford, Oxfordshire, United Kingdom zeroG - AI in Aviation Full time

    Quantinuum is seeking to hire a NLP/ML research engineer to work with the Oxford-based QNLP team. Quantum NLP is a new field of research aimed at the design and implementation of NLP models that run on quantum hardware. As a research engineer, you will be working primarily with Dr. The Quantum Natural Language Processing (QNLP) team at Quantinuum follows a...