Senior Formal Verification Engineer — Processor Design

Arm is seeking experienced formal verification engineers to innovate on next‑generation designs using modern formal techniques. You will work with top experts to shape verification approaches, influence design decisions, and deploy high‑quality strategies across complex digital systems.

You will explore, develop, and implement formal verification on cutting‑edge projects, translating theory into practical verification solutions while contributing to technical direction and hands‑on execution in