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 are offering 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 drive billions of devices world-wide!

Job Overview:

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

Responsibilities:

The role entails investigating, creating, developing and deploying new F...