Senior Formal Verification Engineer — Processor Design

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

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