Verification engineer Work, Jobs in Hinxton, 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
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
5d
Verification Manager
Codasip —Cambridge
- Full-time
- Hybrid work
- Leadership
- Communication skills
Quick apply
Medical Device Regulatory and Quality Consultant
PA Consulting —Melbourn
- Full-time
- Annual leave
Software Test and Validation Engineer
Palma Ceia SemiDesign —Cambridge
- Computer Science
- Engineering
- Master's degree
Electronics Support Engineer
AMOT —Bury St. Edmunds
- Engineering
- Analysis skills
- Continuous improvement
Quick apply
Senior Verification Engineer (CPU group)
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
- Communication skills
13d
Staff Formal Verification Engineer (GPU)
Advanced Micro Devices, Inc —Cambridge
- Doctoral degree
- Computer Science
- Engineering
Software Engineer – Embedded & PC Applications
Sagentia Innovation —Cambridge
- Full-time
- Computer Science
- Engineering
- Master's degree
- Employee assistance programme
Quick apply
13d
Test & Development Engineer
Cellular Origins —Cambridge
- Full-time
- Engineering
- Communication skills
- Life insurance
Quick apply
Equipment Requirements Authority – EW RF System
MBDA —Stevenage
- Up to £62,000 a year
- Overtime
- Hybrid work
- Travel
- Free parking
- Annual leave
DFT Engineer
Raspberry Pi —Cambridge
- Full-time
- Computer Science
- Engineering
- Bachelor's degree
Quick apply
R&D Software Engineer
Envea —Cambridge
- Full-time
- Engineering
- Continuous improvement
- Communication skills
Senior Formal Verification Engineer (CPU group)
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
Flight Trials Lead
MBDA —Stevenage
- Up to £65,000 a year
- Hybrid work
- Team management
- Leadership
- Communication skills
- Free parking
Staff Design Verification Engineer
Advanced Micro Devices, Inc —Cambridge
- Engineering
- Master's degree
- Analysis skills
Staff Software Engineer - Product Validation
Arm —Cambridge
- £97,300 - £131,700 a year
- Hybrid work

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

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

Explore jobs in more locations

verification engineer jobs near hinxton, cam

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 hinxton, 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

Senior Product Development Engineer

Verification Manager

Medical Device Regulatory and Quality Consultant

Software Test and Validation Engineer

Electronics Support Engineer

Senior Verification Engineer (CPU group)

Staff Formal Verification Engineer (GPU)

Software Engineer – Embedded & PC Applications

Test & Development Engineer

Equipment Requirements Authority – EW RF System

DFT Engineer

R&D Software Engineer

Senior Formal Verification Engineer (CPU group)

Flight Trials Lead

Staff Design Verification Engineer

Staff Software Engineer - Product Validation

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

Explore jobs in more locations

Jobseeker tools

Employer Tools

Browse

Stay Connected