Staff Formal Verification Engineer

Overview

Job Description

In the fast-evolving world of CPU verification, formal methods are playing an increasingly vital role in enabling rapid, innovative development. 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, dedicated team deploying formal verification on the next generation of CPU designs. You’ll have the chance to influence both design and verification decisions, helping to shape technology that will power billions of devices worldwide!

Responsibilities

• You will explore, develop, and deploy sophisticated formal verification techniques on next-generation projects. Working closely with Arm’s leading formal experts, you’ll help shape and implement high-quality formal verification strategies, contributing to both techn...