> Markdown version of [/jobs/ext/2824664-senior-engineer-sta](https://www.wearedevelopers.com/jobs/ext/2824664-senior-engineer-sta). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Senior Engineer-STA

- **Company:** Arm Limited
- **Location:** Cambridge, UK
- **Experience:** Expert
- **Salary:** £73,500.0 - £99,500.0
- **Contract:** Permanent contract
- **Skills:** ARM Architecture, Logic Synthesis of Circuits, Digital Technology, Perl (Programming Language), Formal Verification, Python (Programming Language), Tcl (Programming Language), Scripting
- **Published:** September 10, 2026
- **Apply:** https://www.collegerecruiter.com/job/2840600093-senior-engineer-sta

## About the Role

* 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

## Description

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.


## Related Videos

- [Unleashing the Full Potential of the Arm Architecture – Write Once, Deploy Anywhere](https://www.wearedevelopers.com/videos/940-unleashing-the-full-potential-of-the-arm-architecture-write-once-deploy-anywhere)
- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [JavaScript? No. Java Scripts! - Scripting with Java](https://www.wearedevelopers.com/videos/2094-javascript-no-java-scripts-scripting-with-java)
- [Opening Keynote: Civic Coding, A Framework for Democratic Tech](https://www.wearedevelopers.com/videos/963-opening-keynote-civic-coding-a-framework-for-democratic-tech)
- [Passive ARM Assembly Skills for Debugging, Optimization (and Hacking)](https://www.wearedevelopers.com/videos/1083-passive-arm-assembly-skills-for-debugging-optimization-and-hacking)
- [An Architect’s guide to reducing the carbon footprint of your applications](https://www.wearedevelopers.com/videos/559-an-architect-s-guide-to-reducing-the-carbon-footprint-of-your-applications)

## Related Articles

- [AI Eats the Verifiable First](https://www.wearedevelopers.com/magazine/765-ai-eats-the-verifiable-first)
- [Software Engineer Career: Things You Should Know](https://www.wearedevelopers.com/magazine/143-software-engineer-career-things-you-should-know)
- [Top Characteristics of a Software Engineer](https://www.wearedevelopers.com/magazine/166-top-characteristics-of-a-software-engineer)
- [What is Software Engineering?](https://www.wearedevelopers.com/magazine/289-what-is-software-engineering)
- [Software Engineer Salary London](https://www.wearedevelopers.com/magazine/252-software-engineer-salary-london)
- [Is Software Engineering Hard?](https://www.wearedevelopers.com/magazine/448-is-software-engineering-hard)