Job Description

In the fast‑moving world of CPU Verification, Formal Methods are becoming crucial to the success of today's ever‑accelerating development cycle. Arm’s CPU Group is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of applied formal methods.

We offer the chance to become part of a dedicated team that will deploy Formal on the next generation of CPU designs. This is an opportunity to influence design & verification decisions and shape the future of technology that will fuel billions of devices world‑wide!

Job Overview

You will apply Formal Methods to CPUs developed across the Cambridge and Chandler design centres, with the opportunity to collaborate with our global Formal Teams across Arm.

Responsibilities

  • Investigating, creating, developing and deploying new Formal Verification techniques on live projects.
  • Using the industry’s best available tools and maintaining close conta...

Apply for this Position

Ready to join Arm? Click the button below to submit your application.

Submit Application