Verification engineer Work, Jobs in Comberton, 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
IC Verification Engineer
Raspberry Pi —Cambridge
- Full-time
- Bachelor's degree
- Communication skills
Quick apply
Senior Verification Engineer
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
- Mentoring
- Communication skills
Junior Quality Assurance Engineer - 6 Month FTC
The Delta Group —Bishop's Stortford
- Hybrid work
- Communication skills
Quick apply
Agentic AI Engineer (life sciences)
Healx —Cambridge
- Full-time
- Hybrid work
- Master's degree
- Software development
- AI
- Annual leave
- Work from home
Quick apply
Control Systems Engineer
Johnson Matthey —Royston
- Full-time
- Programmable logic controllers
- Communication skills
Verification Manager
Codasip —Cambridge
- Full-time
- Hybrid work
- Leadership
- Communication skills
Quick apply
Development Engineer
FFE Limited —Cambridge
- Engineering
- Annual leave
- Employee assistance programme
Quick apply
Senior Safety Verification Engineer
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
- Master's degree
- Bachelor's degree
- Scripting
8d
IT GRC SOX Specialist - Regulatory Frameworks
Aveva —Cambridge
- Full-time
- Hybrid work
- In-person
- Annual leave
5d
Medical Device Regulatory and Quality Consultant
PA Consulting —Melbourn
- Full-time
- Annual leave
Full Stack Developer – CT Office Incubation Team
Aveva —Cambridge
- Full-time
- Hybrid work
- Master's degree
- Bachelor's degree
- Travel
- Annual leave
R&D Senior Member of Technical Staff, CONNECT Core Services
Aveva —Cambridge
- Full-time
- Hybrid work
- Azure
- In-person
- AI
- Annual leave
Software Test and Validation Engineer
Palma Ceia SemiDesign —Cambridge
- Computer Science
- Engineering
- Master's degree
Senior Formal Verification Engineer (CPU group)
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
Senior Verification Engineer (CPU group)
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
- Communication skills
5d
Test & Development Engineer
Cellular Origins —Cambridge
- Full-time
- Engineering
- Communication skills
- Life insurance
Quick apply
Staff Formal Verification Engineer (GPU)
Advanced Micro Devices, Inc —Cambridge
- Doctoral degree
- Computer Science
- Engineering
Staff Design Verification Engineer - Edinburgh/Cambridge
Advanced Micro Devices, Inc —Cambridge
- Engineering
- Master's degree
- Analysis skills
12d
DFT Engineer
Raspberry Pi —Cambridge
- Full-time
- Computer Science
- Engineering
- Bachelor's degree
Quick apply

I want to receive the latest job alerts for verification engineer in comberton, 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 comberton, 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 comberton, cam

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

IC Verification Engineer

Senior Verification Engineer

Junior Quality Assurance Engineer - 6 Month FTC

Agentic AI Engineer (life sciences)

Control Systems Engineer

Verification Manager

Development Engineer

Senior Safety Verification Engineer

IT GRC SOX Specialist - Regulatory Frameworks

Medical Device Regulatory and Quality Consultant

Full Stack Developer – CT Office Incubation Team

R&D Senior Member of Technical Staff, CONNECT Core Services

Software Test and Validation Engineer

Senior Formal Verification Engineer (CPU group)

Senior Verification Engineer (CPU group)

Test & Development Engineer

Staff Formal Verification Engineer (GPU)

Staff Design Verification Engineer - Edinburgh/Cambridge

DFT Engineer

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

Related Searches

Explore jobs in more locations

Jobseeker tools

Employer Tools

Browse

Stay Connected