Verification Engineer

Atlas Metrics; Bristol Township (Bucks County); On-site; USD 114,109 - 161,095; Full time

Job summary

Atlas Metrics is seeking a Verification Engineer to drive innovation in CPU design. You will verify advanced CPUs and collaborate with engineers globally.

This role requires experience in processor verification methodologies, proficiency in programming languages such as SystemVerilog and Python, and a strong analytical mindset.

The position is based in Cambridge or Bristol, contributing to cutting-edge semiconductor architectures.

Qualifications

• Commercial experience with functional processor verification methodologies.
• Knowledge of verifying CPU architectures or other IP.
• Ability to write clear and concise code in SystemVerilog, Python, C++, Rust.

Responsibilities

• Verify RISC-V processors and extensions.
• Develop verification solutions like test benches.
• Collaborate with other engineers on verification activities.

Skills

Functional processor verification methodologies

Clear and concise coding in SystemVerilog, Python, C++, Rust

Knowledge of CPU architectures

Analytical thinking

Team collaboration

Versioning tools knowledge (Git, SVN)

RISC-V Architecture knowledge

Tools

Simulators

Test generation tools

Coverage collection tools

Job description

**Please note this role is only open to candidates currently located in and with working rights in the UK**

Location: Preferably based at one of our UK design centres (Bristol or Cambridge).

Seniority: Engineer, Senior, Principal.

We’re looking for Verification Engineers to help bring our vision to life. You’ll be a key part of verifying complex, state‑of‑the‑art CPUs, including advanced out‑of‑order processors. Taking ownership of portions of the design, you’ll apply a range of verification methodologies and play a vital role in setting high standards for a brand‑new platform.

This is an opportunity to collaborate with an international team spanning Europe, working alongside world‑class engineers across disciplines to solve challenges and pioneer new ideas. If you’re a bright, driven self‑starter who thrives on innovation and wants to build something great, we’d love to hear from you.

The impact you’ll make

• Verify RISC‑V processors and extensions
• Develop verification solutions (e.g., test benches and test bench components, stimulus generation, formal environments)
• Collaborate with other engineers in a team responsible for the delivery of all verification activities related to a component or subsystem from start to finish
• Define verification strategies for blocks and sub‑systems, identifying and utilising the right tools
• Review technical specifications, providing feedback from a verification perspective
• Run simulations, hunt bugs and complete root cause analysis of complex issues
• Define, estimate, prioritise and track your own work
• Track and report verification metrics
• Craft automated verification flows

What You Bring to The Table

• Commercial experience with functional processor verification methodologies as applied to CPU or other ASIC verification (simulators, test generation, coverage collection, gate‑level simulation, etc.)
• Knowledge of verifying CPU architectures or other IP
• Fluency and the ability to write clear and concise code in languages like SystemVerilog, Python, C++, Rust, etc.
• Past verification ownership of a design block
• User knowledge of Linux to enable automation of common tasks
• Knowledge of versioning tools (Git, SVN)
• Knowledge of RISC‑V Architecture
• Good knowledge of computer systems and architecture
• Analytical thinking and team collaboration skills
• Ability to work effectively across teams to debug issues and find root causes

Join us in Cambridge or Bristol and be part of a team redefining what’s possible in CPU design and cyber‑resilient semiconductor architectures.