Senior CPU Formal Verification Lead

Camwebdir; United Kingdom; Hybrid; GBP 90,000 - 130,000; Full time

Benefits offered by this job

Accommodations during recruitment

Hybrid working pattern

Job summary

Arm’s CPU Group seeks experienced formal verification engineers to apply modern techniques in CPU design verification. You will explore, develop, and deploy formal methods on next-generation projects, working closely with Arm’s leading experts to influence both design and verification decisions.

This role offers the opportunity to shape technologies powering billions of devices and makes use of a hybrid working pattern.

Qualifications

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

Responsibilities

• Develop, deploy and refine formal verification techniques for next-gen CPU designs.
• Collaborate with Arm's formal experts to shape technical direction and execution.

Skills

5+ years formal verification

Digital design verification

Engineering mindset

Assume-guarantee reasoning

Tools

Formal verification tools

Python scripting

Arm AMBA protocols

Job description

Arm’s CPU Group seeks experienced formal verification engineers to apply modern techniques in CPU design verification. You will explore, develop, and deploy formal methods on next-generation projects, working closely with Arm’s leading experts to influence both design and verification decisions.

This role offers the opportunity to shape technologies powering billions of devices and makes use of a hybrid working pattern.