Senior CPU Formal Verification Architect

Arm; Cambridge; Hybrid; GBP 74,000 - 100,000; Full time

Job summary

Arm is seeking experienced formal verification engineers to apply modern techniques to next-generation CPU designs in Cambridge. You will explore, develop, and deploy advanced formal verification strategies with Arm’s experts, influencing both design and verification decisions.

The role offers a hybrid working model and the chance to work on technologies powering billions of devices, with a strong emphasis on rigorous verification and system-level thinking.

Qualifications

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

Responsibilities

• Explore, develop, and deploy formal verification techniques on next-generation projects.
• Collaborate with Arm’s formal experts to shape verification strategy and execution.

Skills

5+ years experience

Formal verification

Digital design

Microarchitecture

Reasoning skills

Tools

Formal verification tools

Python scripting

Perl scripting

Tcl scripting

Shell scripting

Job description

Arm is seeking experienced formal verification engineers to apply modern techniques to next-generation CPU designs in Cambridge. You will explore, develop, and deploy advanced formal verification strategies with Arm’s experts, influencing both design and verification decisions.

The role offers a hybrid working model and the chance to work on technologies powering billions of devices, with a strong emphasis on rigorous verification and system-level thinking.