Senior Research Associate on Concurrent, Distributed and Quantum Programming
2 weeks ago
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 nobuko.yoshida@cs.ox.ac.uk 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, United Kingdom University of Oxford Full timeThe 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 timeThe 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,395The 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 timeWe 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 timeWe 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...
-
Senior Research Associate On Concurrent
4 weeks ago
Oxford, United Kingdom University of Oxford Full timeThe 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...
-
Senior Research Associate On Concurrent
5 days ago
Oxford, Oxfordshire, United Kingdom University of Oxford Full timeThe 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 €36,024 - €44,263We 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,...
-
Oxford, Oxfordshire, United Kingdom University of Oxford Full time €36,024 - €44,263We 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,...
-
Senior Research Fellow
2 weeks ago
Oxford, Oxfordshire, United Kingdom University of Oxford Full time €45,585 - €54,395The 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...
-
Senior Research Fellow
2 weeks ago
Oxford, Oxfordshire, United Kingdom University of Oxford Full time €45,585 - €54,395The 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 timeWe 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 timeWe 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 timeWe 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...
-
Researcher On Quantum Programming Via Algebraic
2 months ago
Oxford, United Kingdom University of Oxford Full timeWe are looking for motivated Researcher on Quantum Programming via Algebraic Effects. Reporting to the Principal Investigator, the post holder will a member of a research group with responsibility for carrying out research for implementation of dependent type theories, with a view to probabilistic programming. The post-holder will be expected to manage...
-
Oxford, United Kingdom University of Oxford Full timeWe 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. Reporting to the Principal Investigator, you will help...
-
Oxford, United Kingdom University of Oxford Full timeWe 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. Reporting to the Principal Investigator, you will help...
-
Oxford, United Kingdom University of Oxford Full timeDepartment of Chemistry, Physical and Theoretical Chemistry Laboratory, South Parks Road, Oxford, OX1 3QZ About the role Applications are invited for two Postdoctoral Research Associate positions in quantum molecular dynamics and advanced computational techniques for novel time-resolved photoelectron spectroscopic methods, to work under the supervision of...
-
Phd Research Engineer
4 weeks ago
Oxford, Oxfordshire, United Kingdom zeroG - AI in Aviation Full timeQuantinuum 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...
-
Research Engineer, QNLP
4 weeks ago
Oxford, Oxfordshire, United Kingdom zeroG - AI in Aviation Full timeQuantinuum 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. Dimitrios Kartsaklis. The Quantum Natural Language Processing (QNLP) team...
