Senior Formal Verification Engineer (CPU group)

About the Position

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 an outstanding 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

• Explore, develop, and deploy sophisticated formal verification techniques on next-generation projects.
• Work closely with Arm’s leading formal experts to shape and implement high-quality formal verification strategies.
• Contribute to both technical direction and hands-on execution.

Requirements

• Typically 5+ years of experience verifying complex designs using formal verification techniques.
• A strong engineering attitude, with a passion for digital design verification; curiosity about processors and digital systems; and excellent attention to detail and reasoning skills.
• Solid understanding of fundamental verification concepts, computer architecture, and microarchitectural design.
• Ability to translate abstract formal concepts into practical, effective design verification solutions.

Nice to Have

• Experience with industry-standard formal verification tools.
• Proficiency in scripting languages such as Python, Perl, Tcl, or Shell.
• Familiarity with the Arm architecture and AMBA protocols.
• Knowledge of complex model-checking techniques.
• Understanding of assume-guarantee reasoning, invariants, and abstractions.

We Offer

• Opportunity to apply your engineering expertise to technologies that influence billions of devices, leaving a lasting impact on how the world computes for years to come.
• Competitive salary range of £73,500 - £99,500 per year.
• Hybrid working environment that supports both high performance and personal wellbeing.

About the Company

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, prioritize 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.

Discover how the 10x mindset shapes life at Arm: https://careers.arm.com/10x-mindset

Additional Information

• No relocation package is available for this role.
• If skilled worker sponsorship is required, Arm will meet costs associated with sponsorship for the employer only. All fees associated with the individual’s application e.g. visa application fee and Immigration Health Surcharge, will be the responsibility of the successful candidate.

Equal Opportunities

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.

Recruitment Adjustments and Accommodations

At Arm, we want to build extraordinary teams. If you need an adjustment or an accommodation during the recruitment process, please email [email protected]. 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.

Hybrid Working

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.

Join our Talent Community, Unlock Opportunities

Subscribe to receive Arm communications directly to your inbox. Stay connected to be the first to hear about updates from our community and exciting roles that align with your skills.

Join Now