Senior Engineer-STA

Arm; Cambridge; On-site; GBP 73,500 - 99,500; Full time

Job summary

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 team deploying formal verification on the next generation of CPU designs in Cambridge, influencing both design and verification decisions that will power billions of devices worldwide.

Qualifications

• Typically 5+ years of experience in formal verification of sophisticated designs.
• Strong engineering mindset with passion for digital design verification and processors.
• Solid understanding of verification concepts, computer architecture, and microarchitectural design.
• Ability to translate abstract formal concepts into practical verification solutions.

Responsibilities

• Explore, develop, and deploy formal verification techniques on next-generation projects.
• Collaborate with Arm’s formal experts to shape technical direction and execution.

Skills

Formal verification

Digital design verification

Computer architecture

Reasoning skills

Scripting languages

Tools

Formal verification tools

Job description

Job Description

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.

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

In return

You’ll have the 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.

Additional Information

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

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.