FPGA & Digital Design

Senior Formal Verification Engineer (CPU group)

Develop formal verification strategies and model-checking techniques for Arm’s next generation CPU designs.

Employer

Arm

Location

Cambridge, UK

Salary

£73,500–£99,500 a year

Working arrangement

Hybrid

The role

Arm is recruiting a Senior Formal Verification Engineer in Cambridge for its CPU group.

The role develops and deploys formal verification strategies for next generation CPU designs. Relevant work includes model checking, invariants, abstractions, assume-guarantee reasoning, processor microarchitecture and scripting in Python, Perl, Tcl or shell.

Arm lists a salary of £73,500 to £99,500 a year and describes a team-defined hybrid working pattern. No closing date is stated.

✓ TEB verified

This vacancy was checked against the original application page on

October 29, 2026

. TEB verified means we checked the vacancy, application link and listed details against the source. It is not an endorsement of the employer. Check the employer’s page for the latest details.

APPLY AT SOURCE

Interested in this role?

Applications are handled by the employer or recruiter. The button opens their original vacancy page.

View and apply →