Formal Verification Engineer

CamWebDir; United Kingdom; Hybrid; GBP 70,000 - 110,000; Full time

Job summary

Arm is seeking experienced formal verification engineers to innovate on next‑generation designs using modern formal techniques. You will work with top experts to shape verification approaches, influence design decisions, and deploy high‑quality strategies across complex digital systems.

You will explore, develop, and implement formal verification on cutting‑edge projects, translating theory into practical verification solutions while contributing to technical direction and hands‑on execution in

Qualifications

• Typically 5+ years of experience verifying designs using formal verification.
• Strong engineering mindset with a passion for digital design verification; keen interest in processors and digital systems.
• Solid understanding of fundamental verification concepts, computer architecture, and microarchitectural design.
• Ability to translate abstract formal concepts into practical, effective design verification solutions.

Responsibilities

• Explore, develop, and deploy sophisticated formal verification techniques on next‑generation projects.
• Collaborate with Arm's leading formal experts to shape and implement high‑quality verification strategies.
• Contribute to both technical direction and hands‑on execution across designs and verification tasks.

Skills

Formal verification

Digital design verification

Computer architecture

Microarchitecture

Scripting

Tools

Formal verification tools

Python

Perl

Tcl

Shell

AMBA protocols

Arm architecture

Model checking

Assume-guarantee reasoning

Job description

Job Description

In the fast-evolving world of Systems verification, formal methods are playing an increasingly vital role in enabling rapid, innovative development. Arm's Solutions 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 Arm 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

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.

Listing found on arm.com via Cambridge Network. Always apply through the employer's own posting.