Senior Design Verification Engineer

Codasip; West of England; On-site; GBP 55,000 - 75,000; Full time

Job summary

Codasip in the UK is seeking Verification Engineers to join our Cambridge or Bristol design centres to verify state-of-the-art RISC-V CPUs. You will own portions of the design, apply verification methodologies, and set high standards for a new platform.

Work with an international team across Europe, solve complex issues, and contribute to cutting-edge cyber-resilient architectures in a highly collaborative environment.

Qualifications

• Experience with functional processor verification methodologies (CPU/ASIC).
• Knowledge of CPU architectures or IP verification.
• Proficiency in SystemVerilog, Python, C++, Rust or similar languages.
• Ownership of verification for a design block.
• Proficient Linux skills for automation.
• Familiarity with version control (Git).
• Knowledge of RISC-V architecture is a plus.

Responsibilities

• Verify RISC-V processors and extensions.
• Develop verification solutions (test benches, stimulus generation, formal environments).
• Collaborate with engineers across the verification team to deliver end-to-end verification.
• Define verification strategies for blocks and subsystems; select appropriate tools.
• Review specifications from a verification perspective.
• Run simulations, debug issues, determine root causes.

Skills

Functional verification methodologies

CPU architectures

SystemVerilog

Python

C++

Rust

Linux automation

Analytical thinking

Team collaboration

Root cause analysis

Tools

Simulators

Test generation

Coverage collection

Gate-level simulation

Git

Version control 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).

Welcome to Codasip

At Codasip, we’re redefining the future of computing. Following a bold strategic pivot toward cyber-resilient semiconductor architectures, we are building next-generation processors and systems where security is embedded at the very core by design, not as an afterthought. As we expand our portfolio of secure, CHERI-enabled technologies and focus on delivering architecture-first security solutions, there has never been a more exciting time to join. We are embarking on clean-sheet designs and expanding the teams of engineers who can establish high-quality working practices as they explore new ground. Be part of a global team shaping the next era of secure computing where innovation, ownership, and impact go hand in hand.

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

Our UK Design Centers

Our UK design centres in Cambridge and Bristol, launched in early 2022, are driving innovation in cutting-edge RISC-V CPU development. We’re designing high-performance, low-power CPU cores entirely from scratch to power some of the most exciting applications- think high-performance supercomputers and next-generation embedded systems. This is a unique chance to work on clean-sheet designs that push technological boundaries and make a real impact.

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.

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

Get to Know Us

Codasip announces strategic pivot and divestiture