Verification engineer Work, Jobs in Cambourne, 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
Development Engineer
FFE Limited —Cambridge
- Engineering
- Annual leave
- Employee assistance programme
Quick apply
Junior Quality Assurance Engineer - 6 Month FTC
The Delta Group —Bishop's Stortford
- Temporary
- Hybrid work
- Communication skills
Quick apply
Medical Device Regulatory and Quality Consultant
PA Consulting —Melbourn
- Full-time
- Annual leave
Control Systems Engineer
Johnson Matthey —Royston
- Full-time
- Programmable logic controllers
- Communication skills
IT GRC SOX Specialist - Regulatory Frameworks
Aveva —Cambridge
- Full-time
- Hybrid work
- In-person
- Annual leave
10d
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
Junior Electronics Engineer
Thermoteknix Systems Limited —Waterbeach
- Full-time
- Schematics
- Engineering
- No degree
Senior Formal Verification Engineer (CPU group)
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
Staff Formal Verification Engineer (GPU)
Advanced Micro Devices, Inc —Cambridge
- Doctoral degree
- Computer Science
- Engineering
R&D Senior Member of Technical Staff, CONNECT Core Services
Aveva —Cambridge
- Full-time
- Hybrid work
- Azure
- In-person
- AI
- Annual leave
Staff Software Engineer - Product Validation
Arm —Cambridge
- £97,300 - £131,700 a year
- Hybrid work
Senior Verification Engineer (CPU group)
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
- Communication skills
10d
Full Stack Developer – CT Office Incubation Team
Aveva —Cambridge
- Full-time
- Hybrid work
- Master's degree
- Bachelor's degree
- Travel
- Annual leave
Test & Development Engineer
Cellular Origins —Cambridge
- Full-time
- Engineering
- Communication skills
- Life insurance
Quick apply
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
Staff Design Verification Engineer
Advanced Micro Devices, Inc —Cambridge
- Engineering
- Master's degree
- Analysis skills

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

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

IC Verification Engineer

Development Engineer

Junior Quality Assurance Engineer - 6 Month FTC

Medical Device Regulatory and Quality Consultant

Control Systems Engineer

IT GRC SOX Specialist - Regulatory Frameworks

Verification Manager

Software Test and Validation Engineer

Junior Electronics Engineer

Senior Formal Verification Engineer (CPU group)

Staff Formal Verification Engineer (GPU)

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

Staff Software Engineer - Product Validation

Senior Verification Engineer (CPU group)

Full Stack Developer – CT Office Incubation Team

Test & Development Engineer

DFT Engineer

R&D Software Engineer

Staff Design Verification Engineer

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

Related Searches

Explore jobs in more locations

Jobseeker tools

Employer Tools

Browse

Stay Connected