Verification engineer Work, Jobs in Ely, 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
Electronics Support Engineer
AMOT —Bury St. Edmunds
- Engineering
- Analysis skills
- Continuous improvement
Quick apply
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
Agentic AI Engineer (life sciences)
Healx —Cambridge
- Full-time
- Hybrid work
- Master's degree
- Software development
- AI
- Annual leave
- Work from home
Quick apply
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 Safety Verification Engineer
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
- Master's degree
- Bachelor's degree
- Scripting
8d
Junior Electronics Engineer
Thermoteknix Systems Limited —Waterbeach
- Full-time
- Schematics
- Engineering
- No degree
Information Coordinator
Kier Group —Waterbeach
- Part-time
- SharePoint
- Communication skills
- Flexible schedule
1d
IT GRC SOX Specialist - Regulatory Frameworks
Aveva —Cambridge
- Full-time
- Hybrid work
- In-person
- Annual leave
5d
AIOps Lead
M-KOPA —Cambridge
- Full-time
- Remote
- AI
- Leadership
DFT Engineer
Raspberry Pi —Cambridge
- Full-time
- Computer Science
- Engineering
- Bachelor's degree
Quick apply
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
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
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 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 ely, 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 ely, 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 ely, cam

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

Electronics Support Engineer

IC Verification Engineer

Senior Verification Engineer

Agentic AI Engineer (life sciences)

Verification Manager

Software Test and Validation Engineer

Senior Safety Verification Engineer

Junior Electronics Engineer

Information Coordinator

IT GRC SOX Specialist - Regulatory Frameworks

AIOps Lead

DFT Engineer

Full Stack Developer – CT Office Incubation Team

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

Senior Formal Verification Engineer (CPU group)

Staff Formal Verification Engineer (GPU)

Senior Verification Engineer (CPU group)

Test & Development Engineer

Staff Software Engineer - Product Validation

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

Related Searches

Explore jobs in more locations

Jobseeker tools

Employer Tools

Browse

Stay Connected