> Markdown version of [/jobs/ext/2818142-senior-rtl-design-engineer](https://www.wearedevelopers.com/jobs/ext/2818142-senior-rtl-design-engineer). 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 RTL Design Engineer

- **Company:** Arm Limited
- **Location:** Bristol, UK
- **Experience:** Expert
- **Salary:** £73,500.0 - £99,500.0
- **Contract:** Permanent contract
- **Skills:** Artificial Intelligence, Assembly Language, C++ (Programming Language), Software Debugging, Digital Electronics, Perl (Programming Language), Formal Verification, Field-Programmable Gate Array (FPGA), Hardware Description Language, Hardware Security Module, Python (Programming Language), Unix Shell, Machine Learning, Systems Architecture, System Programming, SystemVerilog, Tcl (Programming Language), Test Case, Strategies of Testing, Verilog, Scripting
- **Published:** September 10, 2026
- **Apply:** https://www.collegerecruiter.com/job/2840581287-senior-rtl-design-engineer

## About the Role

* Proven understanding of digital hardware verification languages Verilog/SystemVerilog HDL.
 * Skilled in one or more verification approaches - UVM, formal, power aware verification.
 * Experience in SoC verification using embedded low-level programming including C/C++ tests and assembly language (preferably ARM).
 * Exposure to all stages of verification: requirements collection, creation of verification methodology plans, test plans, testbench implementation, test case development, documentation, and support.
 * Good problem-solving and debugging skills.
 * Knowledge of IP/SoC verification flow and strategy.
 * Experience with ARM-based builds and/or ARM system architectures.
 * Clock domain crossing verification.
 * Experience in GLS, DFT/DFD.
 * Skilled in UPF power-aware verification.
 * Automation experience with shell programming/scripting (e.g., Tcl, Perl, Python).
 * Willingness to explore and apply AI based methods to digital verification.

Preferred Skills and Experience

 * Exposure to formal verification using JasperGold/VC formal.
 * Prior experience in hardware security and cryptographic algorithms.
 * Understanding of machine learning algorithms and their applications in verification.
 * Knowledge of ARM proprietary tools and environments.

## Description

* Write test plans, define test methodologies, develop C-based software tests, SystemVerilog/Verilog testbenches, and debug test failures and issues.
 * Work with project management and leads on planning tasks, schedules, and reporting progress.
 * Collaborate with engineers from other teams including architecture, design, implementation, modelling, performance analysis, silicon validation, FPGA and board development., Join a team of dedicated engineers and be part of our ambitious mission to develop flawless IPs that compete globally! We strictly adhere to the highest standards and provide opportunities to determine and successfully implement innovative solutions. Enjoy a collaborative work environment where your growth is our priority.


## Related Videos

- [AIQSpecFlow: Improves and automates your agile process of specification and creation of testcases.](https://www.wearedevelopers.com/videos/100084-aiqspecflow-improves-and-automates-your-agile-process-of-specification-and-creation-of-testcases)
- [JavaScript? No. Java Scripts! - Scripting with Java](https://www.wearedevelopers.com/videos/2094-javascript-no-java-scripts-scripting-with-java)
- [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)
- [AI as a Test Designer: Transforming Experience into Automated Testing](https://www.wearedevelopers.com/videos/1984-ai-as-a-test-designer-transforming-experience-into-automated-testing)
- [Intermediate Bitcoin Script](https://www.wearedevelopers.com/videos/25-intermediate-bitcoin-script)
- [Passive ARM Assembly Skills for Debugging, Optimization (and Hacking)](https://www.wearedevelopers.com/videos/1083-passive-arm-assembly-skills-for-debugging-optimization-and-hacking)

## Related Articles

- [AI Eats the Verifiable First](https://www.wearedevelopers.com/magazine/765-ai-eats-the-verifiable-first)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated)
- [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers)
- [How software is steering vehicle technology](https://www.wearedevelopers.com/magazine/515-how-software-is-steering-vehicle-technology)
- [Software Engineer Salary London](https://www.wearedevelopers.com/magazine/252-software-engineer-salary-london)