Staff Formal Verification Engineer

Role Summary

Join a dedicated team focusing on formal verification within Arm’s CPU Group. You will work on applying modern techniques to ensure the quality and correctness of innovative CPU designs.

Experience Level

Typically requires 5+ years of experience in formal verification, ideally within digital design verification.

Responsibilities

You will explore and implement advanced formal verification techniques on next-generation projects, collaborating closely with leading experts to influence design and verification decisions.

Requirements

Strong background in verification concepts, computer architecture, and microarchitectural design. Ability to effectively translate formal concepts into actionable verification strategies.

Education Requirements

A degree in Computer Engineering, Electrical Engineering, Computer Science, or a related field is usually required.