Senior Engineer-STA

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.

• Typically 5+ years of experience verifying sophisticated designs using formal verification techniques
• A 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, invariants, and abstractions

Please note that 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.

Salary Range

£73,500 - £99,500 per year

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 a unique 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.