Current jobs related to Research Assistant/Research Associate in Systems Software Verification - Cambridge, Cambridgeshire - University of Cambridge
-
Research Assistant
2 weeks ago
Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full timeResearch Assistant OpportunityWe are seeking a highly motivated Research Assistant to join our team at the Cancer Research UK Cambridge Institute. As a Research Assistant, you will play a key role in supporting our research team in understanding the complex multicellular ecosystems that drive breast cancer.Key Responsibilities:Contribute to cutting-edge...
-
Research Scientist
2 weeks ago
Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full timeResearch Associate PositionWe are seeking a highly motivated Research Associate to join our team at the Cancer Research UK Cambridge Institute. As a member of our group, you will contribute to cutting-edge translational research aimed at understanding the complex multicellular ecosystems that drive breast cancer.Key Responsibilities:Conduct computational...
-
Research Scientist
2 weeks ago
Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full timeResearch Associate PositionWe are seeking a highly motivated Research Associate to join our team at the Cancer Research UK Cambridge Institute. As a member of our group, you will contribute to cutting-edge translational research aimed at understanding the complex multicellular ecosystems that drive breast cancer.Key Responsibilities:Conduct computational...
-
Research Scientist
2 weeks ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeResearch Scientist OpportunityWe are seeking a highly motivated and experienced Research Scientist to join our team at the MRC Laboratory of Molecular Biology. The successful candidate will have a strong background in protein biochemistry and experience in structural biology and single molecule methods.Key ResponsibilitiesConduct research aimed at...
-
Research Scientist
2 weeks ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeResearch Scientist OpportunityWe are seeking a highly motivated and experienced Research Scientist to join our team at the MRC Laboratory of Molecular Biology. The successful candidate will have a strong background in protein biochemistry and experience in structural biology and single molecule methods.Key ResponsibilitiesConduct research aimed at...
-
Research Scientist
1 month ago
Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full timeResearch AssistantWe are seeking a highly motivated Research Assistant to join our team at the Cancer Research UK Cambridge Institute. As a Research Assistant, you will play a key role in our research team, contributing to cutting-edge translational research designed to unravel the complex multicellular ecosystems that drive breast cancer.Key...
-
Research Scientist
1 month ago
Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full timeResearch AssistantWe are seeking a highly motivated Research Assistant to join our team at the Cancer Research UK Cambridge Institute. As a Research Assistant, you will play a key role in our research team, contributing to cutting-edge translational research designed to unravel the complex multicellular ecosystems that drive breast cancer.Key...
-
Research Assistant
7 days ago
Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full timeAbout the RoleWe are seeking a highly motivated Research Assistant to join our team at the Cancer Research UK Cambridge Institute. The successful candidate will contribute to cutting-edge translational research designed to unravel the complex multicellular ecosystems that drive breast cancer.Key ResponsibilitiesContribute to the development and...
-
Research Scientist
4 weeks ago
Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full timeUnlock the Secrets of Breast CancerWe are seeking a highly skilled Research Associate to join our team at the Cancer Research UK Cambridge Institute. As a member of our team, you will contribute to cutting-edge research designed to unravel the complex multicellular ecosystems that drive breast cancer.Project OverviewOur research aims to understand how the...
-
Research Scientist
4 weeks ago
Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full timeUnlock the Secrets of Breast CancerWe are seeking a highly skilled Research Associate to join our team at the Cancer Research UK Cambridge Institute. As a member of our team, you will contribute to cutting-edge research designed to unravel the complex multicellular ecosystems that drive breast cancer.Project OverviewOur research aims to understand how the...
-
Research Scientist
3 weeks ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeJob Title: Investigator ScientistJoin the Medical Research Council as an Investigator Scientist and contribute to cutting-edge research in early human embryo development.Key Responsibilities:Undertake innovative research to identify molecular mechanisms underlying embryo plasticity.Develop and apply novel approaches to solve complex problems in...
-
Research Scientist
3 weeks ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeJob Title: Investigator ScientistJoin the Medical Research Council as an Investigator Scientist and contribute to cutting-edge research in early human embryo development.Key Responsibilities:Undertake innovative research to identify molecular mechanisms underlying embryo plasticity.Develop and apply novel approaches to solve complex problems in...
-
Research Scientist
4 days ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeJob SummaryWe are seeking a highly skilled Research Scientist to join our team at the Medical Research Council. The successful candidate will be responsible for undertaking cutting-edge research in early human embryo development, with a focus on identifying the molecular mechanisms that underlie embryo plasticity.Key ResponsibilitiesConduct independent...
-
Research Scientist
1 month ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeJob Title: Investigator ScientistJob Summary:We are seeking a highly skilled and motivated Investigator Scientist to join our research group at the Medical Research Council. The successful candidate will be responsible for undertaking cutting-edge research in early human embryo development, with a focus on identifying the molecular mechanisms underlying...
-
Research Scientist
1 month ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeJob Title: Investigator ScientistJob Summary:We are seeking a highly skilled and motivated Investigator Scientist to join our research group at the Medical Research Council. The successful candidate will be responsible for undertaking cutting-edge research in early human embryo development, with a focus on identifying the molecular mechanisms underlying...
-
Research Scientist
1 month ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeJob Title: Investigator ScientistJob Summary:We are seeking a highly skilled and experienced Investigator Scientist to join our research team at the Medical Research Council. The successful candidate will be responsible for conducting cutting-edge research in early human embryo development, with a focus on identifying the molecular mechanisms underlying...
-
Research Scientist
1 month ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeJob Title: Investigator ScientistJob Summary:We are seeking a highly skilled and experienced Investigator Scientist to join our research team at the Medical Research Council. The successful candidate will be responsible for conducting cutting-edge research in early human embryo development, with a focus on identifying the molecular mechanisms underlying...
-
Research Scientist
2 months ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full time{"Key Responsibilities": "As a Research Scientist at the Medical Research Council, you will be responsible for undertaking cutting-edge research in early human embryo development. Your key responsibilities will include:1. Conducting researchUndertake research aimed at identifying the molecular mechanisms that underlie embryo plasticity.2. Providing...
-
Research Scientist
1 month ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full time{"Key Responsibilities": "As a Research Scientist at the Medical Research Council, you will be responsible for undertaking cutting-edge research in early human embryo development. Your key responsibilities will include:1. Conducting researchUndertake research aimed at identifying the molecular mechanisms that underlie embryo plasticity.2. Providing...
-
Research Scientist
1 month ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeJob Title: Investigator ScientistJob Summary:We are seeking a highly skilled and experienced Investigator Scientist to join our research team at the Medical Research Council. The successful candidate will be responsible for undertaking cutting-edge research in early human embryo development, with a focus on identifying the molecular mechanisms that underlie...
Research Assistant/Research Associate in Systems Software Verification
2 months ago
Fixed-term: The funds for this post are available until 30 September 2026 in the first instance.
Applications are invited for a full-time Research Assistant/Research Associate working with Professors Sewell and Krishnaswami in Systems Software Verification. The position is available to start as soon as possible.
Systems software is critical to our modern infrastructure, but it is pervasively subject to security flaws and attacks; it is trusted but not trustworthy. Advances in program verification over the last decades have brought formal verification of such software within reach, but there remains a wide gulf between existing verification technologies and the world of conventional systems software development.
CN ), by Pulte et al., is an ongoing project aiming to improve the user experience and reduce the cost of verification, using a separation-logic refinement type system for C systems software, the realistic Cerberus semantics of C, and integration of testing and SMT- and Rocq-based verification. The CN specification language has carefully restricted expressiveness, to enable predictable proof automation (in the decidable fragment of SMT) and runtime testing of specifications.
This position is to help develop CN, aiming to make it possible to routinely specify, test, and verify production systems software, with high fidelity to the underlying C and hardware semantics, and with substantially reduced effort.
It is part of the VERSE project, a DARPA-funded collaboration between Galois, U. Cambridge (Pulte, Krishnaswami, Sewell, and others), U. Penn (Pierce, Head, Weirich), UMD (Lampropoulos), EPFL (Pit-Claudel), UIUC (Ringer), U.Mass (Brun), and other industry partners. CN is being applied to examples from VERSE and to the open-source pKVM hypervisor, being developed by Google to protect Android. This provides a rich environment of developers and users, including HCI work to guide the development of a truly usable system.
Cambridge and the REMS research group ) offer a lively environment with researchers working on various aspects of systems semantics and verification.
Essential criteria
A PhD, or close to submission, in Computer Science or related subject area
Expertise in one or more of the following: SMT-based verification, proof-assistant verification and the Rocq (Coq) theorem prover, separation logic, static analysis, OCaml (the implementation language of CN), relaxed concurrency, C, systems code
The ability to work well both independently and within the CN and VERSE teams
The ability to contribute to the design of the system as a whole, and to the writing and presentation of research papers.
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.
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 world-wide 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. Please follow the link at: to find out more about our Department.
The University actively supports equality, diversity and inclusion and encourages applications from all sections of society.
£29,605 to £44,263 per annum
