Senior CPU Formal Verification Engineer — Shape Next‑Gen CPUs

Arm; Cambridge; On-site; GBP 73,500 - 99,500; Full time

Job summary

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 team deploying formal verification on the next generation of CPU designs in Cambridge, influencing both design and verification decisions that will power billions of devices worldwide.

Qualifications

• Typically 5+ years of experience in formal verification of sophisticated designs.
• Strong engineering mindset with 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 technical direction and execution.

Skills

Formal verification

Digital design verification

Computer architecture

Reasoning skills

Scripting languages

Tools

Formal verification tools

Job description

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 team deploying formal verification on the next generation of CPU designs in Cambridge, influencing both design and verification decisions that will power billions of devices worldwide.