Senior RTL Design Engineer

Arm Limited
Bristol, UK
11 days ago
Apply on www.collegerecruiter.com
Prepare application

Role details

Contract type
Permanent contract
Employment type
Full-time (> 32 hours)
Experience level
Expert
Compensation
£73,500.0 - £99,500.0
Working hours
Regular working hours

Tech stack

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
+9 more
Machine Learning Systems Architecture System Programming SystemVerilog Tcl (Programming Language) Test Case Strategies of Testing Verilog Scripting

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

Requirements

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

Apply for this position

This job is hosted externally. Click below to view the full posting and apply.

Apply on www.collegerecruiter.com
Prepare application

Good distractions

Talks and stories from around this role — technically off-topic, practically not.

8:50 min

Validating test cases using the LLM judge concept

Alisa Hrustic Alisa Hrustic · Europe 2026 Virtual

1:04 min

Introduction to Bitcoin script parsing tools

Steve Shadders · LIVE

59 sec

State of the art in software verification

Onur Kasimlar Onur Kasimlar · World Congress 2025

5:53 min

Defining semantic test cases with pairwise combinations

Johannes Bergsmann Johannes Bergsmann +1 · World Congress 2023

1:53 min

Evaluating traditional scripting languages for modern development tasks

Jens Knipper Jens Knipper · Europe 2026 Virtual

3:20 min

Certifying safety-critical automotive software and deploying progressive testing strategies

David Romić · World Congress 2023

Videos

See all

Related articles

See all