Senior verification engineer Work, Jobs in Cambridge, Eng (with Salaries)

Senior Formal Verification Engineer (CPU group)
Arm —Cambridge
- £73,500 - £99,500 a year
- Hybrid work
- Scripting
- Python
Staff Engineer
Arm —Cambridge
- £97,300 - £131,700 a year
- Hybrid work
- C++
- Communication skills
- Python
Senior Manager System Design Authority & Independent Assurance
Marshall Land Systems Ltd —Cambridge
- Hybrid work
- Military
- Engineering
- System design
Senior Compiler Engineer - Systems Team
Riverlane —Cambridge
- £68,000 - £100,000 a year
- Part-time
- Doctoral degree
- Computer Science
- C++
- Annual leave
- Life insurance
Quick apply
R&D Senior Member of Technical Staff, CONNECT Core Services
Aveva —Cambridge
- Full-time
- Hybrid work
- Azure
- APIs
- Agile
- Annual leave
2d
Senior Manager Physical Design Engineer
Advanced Micro Devices, Inc —Cambridge
- Engineering
- Master's degree
- Analysis skills
13d
Medical Device Engineer
PA Consulting —Melbourn
- Full-time
- Engineering
- Assembly
- Leadership
- Annual leave
Tech Specialist - Aircraft Power Electronics
Ultra Electronics —Cambridge
- Full-time
- Engineering
- Master's degree
Senior Electronics Engineer - R&D
Thermoteknix Systems Limited —Waterbeach
- Full-time
- Engineering
- No degree
- Communication skills
Senior Embedded Software and Integration Engineer
ALTEN —Stevenage
- £50,000 - £65,000 a year
- Full-time
- Hybrid work
- Military
- Engineering
- Master's degree
- Employee assistance programme
- Life insurance
Quick apply
Senior Software Engineer, AI Services
Aveva —Cambridge
- Full-time
- Hybrid work
- Azure
- APIs
- Agile
- Annual leave
Engineering Manager - Electronics
SPT Labtech —Cambridge
- Full-time
- Hybrid work
- Engineering
- Laboratory experience
- Leadership
Quick apply
Senior Systems Engineer-Avionics
Curtiss-Wright —Letchworth
- Full-time
- Hybrid work
- Employee stock purchase plan
- Annual leave
IT Infrastructure Solutions Architect
Aveva —Cambridge
- Full-time
- Hybrid work
- Azure
- Engineering
- AWS
- Annual leave
Senior Mechanical Design Engineer
Engineer-O-Matic —Holywell
- £58,000 - £60,000 a year
- Full-time
- CAD
- Engineering
- Analysis skills
- Free parking
- Annual leave
Quick apply
Software Development Manager , S3 Compute
Evi Technologies Limited —Cambridge
- Full-time
- AWS
- Team management
- Mentoring
Sr. ASIC Design Engineer, Blink/Ring ASIC Team
Evi Technologies Limited —Cambridge
- Full-time
- Doctoral degree
- Engineering
- English
Lead Systems Engineer (Technical Authority)
ghd hair —Cambridge
- Full-time
- Travel
Quick apply
Senior Digital Design Engineer
Palma Ceia SemiDesign —Cambridge
- Engineering
- Master's degree
- Bachelor's degree
Principal Hardware Engineer I
CesiumAstro —Cambridge
- Full-time
- Engineering
- Laboratory experience
- Bachelor's degree
8d

I want to receive the latest job alerts for senior verification engineer in cambridge, eng

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

senior verification engineer jobs near cambridge, eng

Senior Formal Verification Engineer (CPU group)

Arm -
Cambridge

Apply Now

Job details

£73,500 - £99,500 a year

Qualifications

Perl
Scripting
ARM
Python

Full job description

Job ID 2026-17818 Date posted Jul. 10, 2026 Location Cambridge, United Kingdom Category Verification

Job Description

In the fast-evolving world of CPU verification, formal methods are playing an increasingly vital role in enabling rapid, innovative development. Arm’s CPU Group is seeking experienced formal verification engineers who are excited to apply modern techniques and push the boundaries of what formal verification can achieve on groundbreaking designs.

This is a unique opportunity to join a passionate, dedicated team deploying formal verification on the next generation of CPU designs. You’ll have the chance to influence both design and verification decisions, helping to shape technology that will power billions of devices worldwide!

Responsibilities

You will explore, develop, and deploy sophisticated formal verification techniques on next-generation projects. Working closely with Arm’s leading formal experts, you’ll help shape and implement high-quality formal verification strategies, contributing to both technical direction and hands-on execution.

Required Skills

Typically 5+ years of experience verifying sophisticated designs using formal verification techniques
A strong engineering mindset, with a passion for digital design verification; a keen interest in processors and digital systems; and excellent attention to detail and reasoning skills
Solid understanding of fundamental verification concepts, computer architecture, and microarchitectural design
Ability to translate abstract formal concepts into practical, effective design verification solutions

Nice-to-have skills and experience

Experience with industry-standard formal verification tools
Proficiency in scripting languages such as Python, Perl, Tcl, or Shell
Familiarity with the Arm architecture and AMBA protocols
Knowledge of sophisticated model-checking techniques
Understanding of assume-guarantee reasoning, invariants, and abstractions

In return

You’ll have the opportunity to apply your engineering expertise to technologies that influence billions of devices, leaving a lasting impact on how the world computes for years to come.

Additional Information

Please note that no relocation package is available for this role.

If skilled worker sponsorship is required, Arm will meet costs associated with sponsorship for the employer only. All fees associated with the individual’s application e.g. visa application fee and Immigration Health Surcharge, will be the responsibility of the successful candidate.

10x Mindset at Arm

At Arm, we believe progress happens when people are empowered to think bigger and push beyond what seems possible. Our 10x mindset is about curiosity, ambition and creating impact that will be used by millions. We learn fast, prioritise collaboration and turn bold ideas into real technology. We look for people who are inspired by this way of working and want to grow in an environment where bold ideas are welcomed. Read more about how we bring the 10x mindset to life on the Arm blog.

Accommodations at Arm

At Arm, we want to build extraordinary teams. If you need an adjustment or an accommodation during the recruitment process, please email [email protected]. To note, by sending us the requested information, you consent to its use by Arm to arrange for appropriate accommodations. All accommodation or adjustment requests will be treated with confidentiality, and information concerning these requests will only be disclosed as necessary to provide the accommodation. Although this is not an exhaustive list, examples of support include breaks between interviews, having documents read aloud, or office accessibility. Please email us about anything we can do to accommodate you during the recruitment process.

Hybrid Working at Arm

Arm’s approach to hybrid working is designed to create a working environment that supports both high performance and personal wellbeing. We believe in bringing people together face to face to enable us to work at pace, whilst recognizing the value of flexibility. Within that framework, we empower groups/teams to determine their own hybrid working patterns, depending on the work and the team’s needs. Details of what this means for each role will be shared upon application. In some cases, the flexibility we can offer is limited by local legal, regulatory, tax, or other considerations, and where this is the case, we will collaborate with you to find the best solution. Please talk to us to find out more about what this could look like for you.

Equal Opportunities at Arm

Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or status as a protected veteran.

Salary Range:

£73,500

£99,500

per year

Apply Now

Refine Your Search

senior verification engineer jobs in cambridge, eng

Senior Formal Verification Engineer (CPU group)

Staff Engineer

Senior Manager System Design Authority & Independent Assurance

Senior Compiler Engineer - Systems Team

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

Senior Manager Physical Design Engineer

Medical Device Engineer

Tech Specialist - Aircraft Power Electronics

Senior Electronics Engineer - R&D

Senior Embedded Software and Integration Engineer

Senior Software Engineer, AI Services

Engineering Manager - Electronics

Senior Systems Engineer-Avionics

IT Infrastructure Solutions Architect

Senior Mechanical Design Engineer

Software Development Manager , S3 Compute

Sr. ASIC Design Engineer, Blink/Ring ASIC Team

Lead Systems Engineer (Technical Authority)

Senior Digital Design Engineer

Principal Hardware Engineer I