Research Engineer
2 weeks ago
About the Role
We are seeking a highly motivated Research Engineer to join our team focused on advancing the field of Systems Software Verification. This role offers an exciting opportunity to contribute to cutting-edge research in formal verification techniques for critical systems software.
The Challenge
Systems software forms the backbone of modern infrastructure, yet it is inherently vulnerable to security flaws and attacks. Bridging the gap between existing verification technologies and conventional development practices is a crucial challenge in ensuring trustworthy software.
Our Approach
The CN project, an ongoing initiative within the VERSE collaboration, aims to revolutionize systems software verification by leveraging separation logic refinement type systems, realistic semantics for C, and integrated testing methodologies. CN's carefully constrained expressiveness enables predictable proof automation and runtime testing of specifications.
Your Contributions
- Develop and refine the CN verification system, enhancing its capabilities and usability.
- Apply CN to real-world systems software examples, including contributions to the open-source pKVM hypervisor.
- Collaborate with a diverse team of researchers and developers within the VERSE project and beyond.
- Contribute to the design and implementation of novel verification techniques.
- Disseminate research findings through publications and presentations.
Qualifications
- A PhD, or near completion, in Computer Science or a related field.
- Expertise in one or more of the following areas: SMT-based verification, proof assistant verification (e.g., Coq), separation logic, static analysis, OCaml programming language, relaxed concurrency, C programming, and systems code development.
- Strong analytical and problem-solving skills.
- Excellent communication and collaboration abilities.
-
Cell Engineer Research Assistant
1 day ago
Cambridge, Cambridgeshire, United Kingdom Babraham Research Campus Ltd Full timeJob DescriptionJob Title: Cell Engineer Research AssistantCompany: Babraham Research Campus LtdJob Type: Full-time, PermanentLocation: Babraham Research Park, CambridgeJob Summary:We are seeking a highly skilled Cell Engineer Research Assistant to join our team at Babraham Research Campus Ltd. As a Cell Engineer Research Assistant, you will play a key role...
-
Cell Engineer Research Assistant
1 day ago
Cambridge, Cambridgeshire, United Kingdom Babraham Research Campus Ltd Full timeJob DescriptionJob Title: Cell Engineer Research AssistantCompany: Babraham Research Campus LtdJob Type: Full-time, PermanentLocation: Babraham Research Park, CambridgeJob Summary:We are seeking a highly skilled Cell Engineer Research Assistant to join our team at Babraham Research Campus Ltd. As a Cell Engineer Research Assistant, you will play a key role...
-
Cell Engineer Research Assistant
3 days ago
Cambridge, Cambridgeshire, United Kingdom Babraham Research Campus Ltd Full timeJob Title: Cell Engineer Research AssistantCompany: Babraham Research Campus LtdJob Type: Full-time, PermanentLocation: Babraham Research Park, CambridgeJob Description:Job SummaryWe are seeking a highly motivated and experienced Cell Engineer Research Assistant to join our team at Babraham Research Campus Ltd. The successful candidate will be responsible...
-
Cell Engineer Research Assistant
4 days ago
Cambridge, Cambridgeshire, United Kingdom Babraham Research Campus Ltd Full timeJob Title: Cell Engineer Research AssistantCompany: Babraham Research Campus LtdJob Type: Full-time, PermanentLocation: Babraham Research Park, CambridgeJob Description:Job SummaryWe are seeking a highly motivated and experienced Cell Engineer Research Assistant to join our team at Babraham Research Campus Ltd. The successful candidate will be responsible...
-
Innovation and Research Scientist
1 day ago
Cambridge, Cambridgeshire, United Kingdom Babraham Research Campus Ltd Full timeJob DescriptionCompany OverviewBabraham Research Campus Ltd is a leading biotech company that specializes in cell therapy innovation. Our mission is to engineer human cells that will enable the medicine of the future.Job SummaryWe are seeking a highly skilled Scientist with molecular and cellular engineering experience to join our Cell Therapy Innovation...
-
Innovation and Research Scientist
1 day ago
Cambridge, Cambridgeshire, United Kingdom Babraham Research Campus Ltd Full timeJob DescriptionCompany OverviewBabraham Research Campus Ltd is a leading biotech company that specializes in cell therapy innovation. Our mission is to engineer human cells that will enable the medicine of the future.Job SummaryWe are seeking a highly skilled Scientist with molecular and cellular engineering experience to join our Cell Therapy Innovation...
-
Associate Researcher in Cancer Biology
3 weeks ago
Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full timePosition Overview: The Cancer Research UK Cambridge Institute is looking for a dedicated and innovative Research Associate at the post-doctoral level. This role is ideal for individuals with expertise in pancreatic cancer research, particularly those proficient in CRISPR technologies, cellular biology, tissue culture, and murine studies. Research Focus: The...
-
Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full timePosition Overview: The Cancer Research UK Cambridge Institute is looking for a talented and enthusiastic Research Associate at the post-doctoral level, specializing in pancreatic cancer research. The ideal candidate will possess a robust background in CRISPR methodologies, cellular biology, tissue culture, and murine studies. Research Focus: The successful...
-
Pancreatic Cancer Research Associate
3 weeks ago
Cambridge, Cambridgeshire, United Kingdom Cancer Research UK Cambridge Institute Full timePosition Overview: The Cancer Research UK Cambridge Institute is on the lookout for a dedicated and innovative Research Associate at the post-doctoral level. This role is ideal for individuals with expertise in pancreatic cancer research, particularly those proficient in CRISPR methodologies, cellular biology, tissue culture, and murine models. Research...
-
Research Software Engineer
2 months ago
Cambridge, Cambridgeshire, United Kingdom JD Inc Full timeJob title:Research Software Engineer Type:Full-Time Location: Cambridge, UK We are looking for a motivated Research Software Engineer to join our machine learning and data mining research team. You will work closely with our leading research scientists and product managers to turn advanced machine learning techniques or algorithms into live demonstrations...
-
Postdoctoral Research Engineer
2 days ago
Cambridge, Cambridgeshire, United Kingdom The ONE Group Ltd Full timeThe ONE Group Ltd is seeking a highly skilled Postdoctoral Research Engineer to join their team. Located in a picturesque countryside setting, this organisation offers a unique blend of rural tranquility and urban convenience.Key Responsibilities:Conduct research and development in the field of engineeringCollaborate with cross-functional teams to drive...
-
Postdoctoral Research Engineer
2 days ago
Cambridge, Cambridgeshire, United Kingdom The ONE Group Ltd Full timeThe ONE Group Ltd is seeking a highly skilled Postdoctoral Research Engineer to join their team. Located in a picturesque countryside setting, this organisation offers a unique blend of rural tranquility and urban convenience.Key Responsibilities:Conduct research and development in the field of engineeringCollaborate with cross-functional teams to drive...
-
Mechanical Engineering Trainee
3 weeks ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timePosition Overview: The Medical Research Council is looking for a dedicated Mechanical Engineering Trainee to become an integral part of our engineering team. This position focuses on acquiring essential machining expertise and hands-on experience in a supportive workshop environment.Key Responsibilities:Mastering the operation of milling and turning...
-
Mechanical Engineering Apprentice
3 days ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeJob SummaryWe are seeking a highly motivated and skilled Mechanical Engineering Apprentice to join our team at the Medical Research Council. As a Mechanical Engineering Apprentice, you will play a crucial role in supporting our research activities by developing and maintaining precision mechanical components.Key ResponsibilitiesDevelop and maintain precision...
-
Mechanical Engineering Apprentice
4 days ago
Cambridge, Cambridgeshire, United Kingdom Medical Research Council Full timeJob SummaryWe are seeking a highly motivated and skilled Mechanical Engineering Apprentice to join our team at the Medical Research Council. As a Mechanical Engineering Apprentice, you will play a crucial role in supporting our research activities by developing and maintaining precision mechanical components.Key ResponsibilitiesDevelop and maintain precision...
-
Postdoctoral Research Engineer
2 days ago
Cambridge, Cambridgeshire, United Kingdom The ONE Group Ltd Full time £40,000 - £60,000About The ONE Group LtdThe ONE Group Ltd is a pioneering organization that has been instrumental in the growth and development of cutting-edge technology. We are proud to be at the forefront of innovation, and our team is dedicated to pushing the boundaries of what is possible.Job SummaryWe are seeking a highly skilled and motivated Postdoctoral Research...
-
Postdoctoral Research Engineer
2 days ago
Cambridge, Cambridgeshire, United Kingdom The ONE Group Ltd Full time £40,000 - £60,000About The ONE Group LtdThe ONE Group Ltd is a pioneering organization that has been instrumental in the growth and development of cutting-edge technology. We are proud to be at the forefront of innovation, and our team is dedicated to pushing the boundaries of what is possible.Job SummaryWe are seeking a highly skilled and motivated Postdoctoral Research...
-
Postdoctoral Research Engineer
5 days ago
Cambridge, Cambridgeshire, United Kingdom The ONE Group Ltd Full timeAbout The ONE Group LtdThe ONE Group Ltd is a pioneering organization that has made significant strides in the development of clean, sustainable energy storage systems. Our team is dedicated to scaling up technology and bringing innovative solutions to the market.Job SummaryWe are seeking a highly skilled Development Engineer to join our multi-disciplinary...
-
Machine Learning Research Engineer
16 hours ago
Cambridge, Cambridgeshire, United Kingdom SAMSUNG Full timeJob SummaryWe are seeking a highly motivated and talented Research Intern to join our Machine Learning team at SAIC Cambridge. As a Research Intern, you will have the opportunity to work on cutting-edge research projects, collaborate with world-class researchers and engineers, and contribute to the development of innovative AI solutions.Key...
-
Machine Learning Research Engineer
13 hours ago
Cambridge, Cambridgeshire, United Kingdom SAMSUNG Full timeJob SummaryWe are seeking a highly motivated and talented Research Intern to join our Machine Learning team at SAIC Cambridge. As a Research Intern, you will have the opportunity to work on cutting-edge research projects, collaborate with world-class researchers and engineers, and contribute to the development of innovative AI solutions.Key...