Senior CPU Formal Verification Architect

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.