Formal Verification Engineer

Job Description In the fast-evolving world of Systems verification, formal methods are playing an increasingly vital role in enabling rapid, innovative development. Arm’s Solutions 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 a unique opportunity to join a passionate, dedicated team deploying formal verification on the next generation of Arm 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 You will explore, develop, and deploy sophisticated formal verification techniques on next-generation projects. Working closely with Arm’s leading formal experts, you’ll help shape and implement high-quality formal verification strategies, contributing to both technical direction and hands-on execution.

Required Skills Typically 5+ years of experience verifying sophisticated designs using formal verification techniquesA strong engineering mindset, with a passion for digital design verification; a keen interest in 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 skills and experience

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 sophisticated model-checking techniques

Understanding of assume-guarantee reasoning, in variants, and abstractions

Our 10x Mindset 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.

Discover how the 10x mindset shapes life at Arm:
Use of AI in Your Application At Arm, we embrace the benefits AI can bring, including in recruitment. You may use AI to support your preparation, such as improving the clarity of written responses, practicing interview questions, or learning more about our industry. However, your application and interview responses must reflect your own thinking, experience, and abilities. We want to understand your authentic perspective, creativity, and approach to problem solving.

As such, you may not use AI to complete assigned tasks as part of any assessments. If you plan to use AI-supported or assistive technologies as part of a reasonable adjustment, please contact  so we can support you.

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  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…