Verification engineer Work, Jobs in Sawston, Cam (with Salaries)

Research Assistant/Associate in Trustworthy Generative AI for Computational Science (Fixed Term)
University of Cambridge —Cambridge
- £34,610 - £46,049 a year
- Call to connect
- Doctoral degree
- Computer Science
- Research
Junior Quality Assurance Engineer - 6 Month FTC
The Delta Group —Bishop's Stortford
- Temporary
- Hybrid work
- Communication skills
Quick apply
IC Verification Engineer
Raspberry Pi —Cambridge
- Full-time
- Bachelor's degree
- Communication skills
Quick apply
Control Systems Engineer
Johnson Matthey —Royston
- Full-time
- Programmable logic controllers
- Communication skills
Medical Device Regulatory and Quality Consultant
PA Consulting —Melbourn
- Full-time
- Annual leave
Verification Manager
Codasip —Cambridge
- Full-time
- Hybrid work
- Leadership
- Communication skills
Quick apply
Software Test and Validation Engineer
Palma Ceia SemiDesign —Cambridge
- Computer Science
- Engineering
- Master's degree
Senior Verification Engineer (CPU group)
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
- Communication skills
12d
Test & Development Engineer
Cellular Origins —Cambridge
- Full-time
- Engineering
- Communication skills
- Life insurance
Quick apply
Senior Product Development Engineer
Sapphiros UK —Great Chesterford
- £60,000 - £65,000 a year
- Full-time
- Writing skills
- Engineering
- In-person
- Free parking
- Employee discount
Quick apply
4d
Information Coordinator
Kier Group —Waterbeach
- £21,158 a year
- Part-time
- SharePoint
- Communication skills
- Flexible schedule
8d
Senior Formal Verification Engineer (CPU group)
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
Junior Electronics Engineer
Thermoteknix Systems Limited —Waterbeach
- Full-time
- Schematics
- Engineering
- No degree
DFT Engineer
Raspberry Pi —Cambridge
- Full-time
- Computer Science
- Engineering
- Bachelor's degree
Quick apply
Electronics Support Engineer
AMOT —Bury St. Edmunds
- Engineering
- Analysis skills
- Continuous improvement
Quick apply
R&D Software Engineer
Envea —Cambridge
- Full-time
- Engineering
- Continuous improvement
- Communication skills
Staff Formal Verification Engineer (GPU)
Advanced Micro Devices, Inc —Cambridge
- Doctoral degree
- Computer Science
- Engineering
Development Engineer
FFE Limited —Cambridge
- Engineering
- Annual leave
- Employee assistance programme
Quick apply
Staff Software Engineer - Product Validation
Arm —Cambridge
- £97,300 - £131,700 a year
- Hybrid work
Software Engineer – Embedded & PC Applications
Sagentia Innovation —Cambridge
- Full-time
- Computer Science
- Engineering
- Master's degree
- Employee assistance programme
Quick apply
12d

I want to receive the latest job alerts for verification engineer in sawston, cam

By signing in to your account, you agree to SimplyHired's Terms of Service and consent to our Cookie and Privacy Policy.

Research Assistant/Associate in Trustworthy Generative AI for Computational Science (Fixed Term)

University of Cambridge -
Cambridge

Apply Now

Job details

Fixed term contract
£34,610 - £46,049 a year

Qualifications

Doctoral degree
Computer Science
Science and research experience
Research
Fortran
Software development
AI

Full job description

Fixed-term: The funds for this post are available for 2 years.

Programming is an important skill in the modern scientist's toolkit, with computational modelling key to progress in many scientific fields. The rise of generative AI via Large Language Models presents opportunities for increasing productivity in research software engineering and scientific computing. However, LLMs may generate incorrect code, undermining the overall scientific endeavour. Validation and verification are therefore important to guard against error. Furthermore, there is a need to separate corporate interest from meaningful data on the effective use of these tools, and to consider their environmental and human impact.

The goal of this position is to explore how to better leverage generative-AI for trustworthy software engineering within science, without eroding science or understanding, and including a critical view of negative externalities. The scientific context will primarily be climate and earth sciences.

Potential projects include (but are not limited to):

developing and evaluating frameworks that incorporate analytical tools (e.g., testing, static analysis, type systems, climate ensemble validators) in feedback loops with LLMs;
leveraging LLMs to generate code alongside proofs (e.g., in Lean, Rocq, Agda) for improving verification of computational models and supporting trust in generated code;
AI-enabled language translation frameworks, e.g., from Fortran (popular in climate science) to modern languages, e.g., Python/JAX.

This post is based in the Department of Computer Science and Technology, University of Cambridge and is part of the Institute of Computing for Climate Science (ICCS), a multi-disciplinary cross-department initiative supporting climate modelling through the latest in computer science, mathematics, and software engineering. ICCS receives funding from a variety of sources including Schmidt Sciences.

The candidate will join a group applying programming language-oriented and software engineering research to support scientific work. There may be an option to work with Research Software Engineers to support the implementation of engineering artefacts developed in this project.

Role requirements:

Degree-level education, with a PhD (or nearing completion of) in Computer Science, Engineering, Mathematics, Physical/Natural Sciences, or similar;
Research experience in either computational modelling, programming languages, verification, or generative AI;
Track record of publications and research experience.

Desirable characteristics:

Experience working with domain scientists;
Experience developing practical tools;
Familiarity with generative AI workflows and tools. This is a fixed term appointment and funds for the post are initially available for 2 years.

If you have any questions regarding the role or the application process, please contact Dominic Orchard ([email protected]).

Please indicate the contact details of two academic referees on the online application form and upload a full curriculum vitae, publications list, and a description of your recent research, current research and future research interests within this role (not to exceed two pages).

Please quote reference NR50505 on your application and in any correspondence about this vacancy.

The University actively supports equality, diversity and inclusion and encourages applications from all sections of society.

The University has a responsibility to ensure that all employees are eligible to live and work in the UK.

Apply online

Apply Now

Refine Your Search

verification engineer jobs in sawston, cam

Research Assistant/Associate in Trustworthy Generative AI for Computational Science (Fixed Term)

Junior Quality Assurance Engineer - 6 Month FTC

IC Verification Engineer

Control Systems Engineer

Medical Device Regulatory and Quality Consultant

Verification Manager

Software Test and Validation Engineer

Senior Verification Engineer (CPU group)

Test & Development Engineer

Senior Product Development Engineer

Information Coordinator

Senior Formal Verification Engineer (CPU group)

Junior Electronics Engineer

DFT Engineer

Electronics Support Engineer

R&D Software Engineer

Staff Formal Verification Engineer (GPU)

Development Engineer

Staff Software Engineer - Product Validation

Software Engineer – Embedded & PC Applications

I want to receive the latest job alerts for verification engineer in sawston, cam

Explore jobs in more locations

Jobseeker tools

Employer Tools

Browse

Stay Connected