Design Verification Engineer

Overview

This position is based in the UK, preferably at our Cambridge or Bristol design centres, for candidates with UK residence and work authorization. The role centers on redefining future computing architectures by focusing on cyber-resilient semiconductor security integrated by design. We aim to build revolutionary processors and systems, delivering secure, CHERI-enabled technology solutions through architecture-led innovation.

Key Responsibilities

• Verify RISC-V processors and their extensions to ensure functionality and quality.
• Create and enhance verification tools including test benches, stimulus generation modules, and formal verification environments.
• Work collaboratively within engineering teams managing all verification activities from inception to completion for specific components or subsystems.
• Develop verification strategies tailored to blocks and subsystems choosing optimal tools.
• Review technical specifications with a verification-focused perspective, providing constructive feedback.
• Execute simulations, detect defects, and conduct in-depth root cause analyses of complex verification issues.
• Independently define, prioritize, and follow progress of assigned tasks and responsibilities.
• Maintain and update verification metrics and establish automated verification processes.

Candidate Profile

• Demonstrable commercial experience with functional verification techniques for CPUs or ASICs using simulators, test generation, coverage measurement, and gate-level simulation.
• Familiarity with CPU architectural verification or IP validation processes.
• Proficiency in programming languages like SystemVerilog, Python, C++, or Rust with clear code-writing capabilities.
• Prior ownership experience of design verification blocks is expected.
• Practical Linux knowledge for automation of standard tasks.
• Experience with version control systems such as Git or SVN.
• Good understanding of the RISC-V architecture and computer system fundamentals.
• Strong analytical skills and ability to work effectively in a team environment to diagnose and resolve issues.

Location and Culture

Our UK centres in Cambridge and Bristol focus on pioneering high-performance, power-efficient, clean-slate CPU cores targeted at advanced uses like supercomputing and embedded systems. This role is ideal for driven engineers eager to set quality benchmarks and innovate at the frontier of secure CPU technology. Collaboration across a pan-European team of top-tier professionals fosters a dynamic, supportive environment committed to making substantial technical impacts.