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 where you will apply Formal Methods to CPUs developed at our Cambridge centre, with the opportunity to collaborate with our global Formal Teams across Arm.

Responsibilities :

• Investigate, invent, develop, and deploy new Formal Verification techniques on projects
• Apply industry-leading formal verification tools to real-world designs
• Work closely with EDA tool vendors to evaluate and embrace sophisticated capabilities
• Collaborate with Arm’s formal verification specialists to plan and implement verification strategies
• Deliver high-quality formal verification solutions across projects

Required skills and experience:

• Experience in functional verification or digital hardware design and familiarity with formal methods (e.g. SVA, PSL, model checking, theorem proving)
• An engineering mentality and passion for digital design verification, a keen interest in processors and digital systems, and excellent attention to detail and reasoning skills
• Understanding of fundamental verification concepts, computer architecture, micro-architectural concepts
• Knowledge of hardware description and verification languages, such as VHDL, Verilog/SystemVerilog
• Ability to understand and map abstract formal concepts into designs

'Nice to have' skills and experience:

• Experience with industry-standard formal verification tools and model checking techniques.
• Understanding of the end-to-end verification processes, from test plan creation through to verification closure
• Proficiency in scripting languages, e.g. Python/Perl/TCL/shell
• Understanding of Arm architecture and instruction set
• Understanding of assume-guarantee reasoning, invariants and abstractions
• Experience in security verification using formal methods will be considered an added advantage.

In Return:

You will get to utilise your engineering skills to build support for the technologies and influence millions of devices for years to come.

10x Mindset at Arm

At Arm, we believe progress happens when people are empowered to think bigger and push beyond what seems possible. Our 10x mindset is about curiosity, ambition and creating impact that will be used by millions. We learn fast, prioritise collaboration and turn bold ideas into real technology. We look for people who are inspired by this way of working and want to grow in an environment where bold ideas are welcomed. Read more about how we bring the 10x mindset to life on the Arm blog.

Accommodations at Arm

At Arm, we want to build extraordinary teams. If you need an adjustment or an accommodation during the recruitment process, please email accommodations@arm.com. To note, by sending us the requested information, you consent to its use by Arm to arrange for appropriate accommodations. All accommodation or adjustment requests will be treated with confidentiality, and information concerning these requests will only be disclosed as necessary to provide the accommodation. Although this is not an exhaustive list, examples of support include breaks between interviews, having documents read aloud, or office accessibility. Please email us about anything we can do to accommodate you during the recruitment process.

Hybrid Working at Arm

Arm’s approach to hybrid working is designed to create a working environment that supports both high performance and personal wellbeing. We believe in bringing people together face to face to enable us to work at pace, whilst recognizing the value of flexibility. Within that framework, we empower groups/teams to determine their own hybrid working patterns, depending on the work and the team’s needs. Details of what this means for each role will be shared upon application. In some cases, the flexibility we can offer is limited by local legal, regulatory, tax, or other considerations, and where this is the case, we will collaborate with you to find the best solution. Please talk to us to find out more about what this could look like for you.

Equal Opportunities at Arm

Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or status as a protected veteran.