Senior Verification Engineer

Codasip; Bristol; On-site; GBP 80,000 - 100,000; Full time

Job summary

An innovative processor solutions company is seeking passionate Senior Verification Engineers to verify complex CPUs and push technological boundaries. This role offers a unique chance to work on cutting-edge designs, collaborating with a supportive team dedicated to redefining CPU design. You will take ownership of verification methodologies, develop solutions, and contribute to a dynamic environment that values creativity and collaboration. Join a team of self-motivated engineers eager to explore new techniques and make a real impact in the world of processor technology.

Qualifications

• Significant experience with functional processor verification methodologies.
• Ability to write clear code in SystemVerilog, Python, C++, Rust, or Go.

Responsibilities

• Verify RISC-V processors and develop verification solutions.
• Collaborate with engineers to deliver all verification activities.

Skills

SystemVerilog

Python

C++

Rust

Go

Analytical thinking

Team collaboration

Linux

Tools

Git

SVN

Job description

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

Welcome to Codasip

We believe Codasip is the most innovative processor solutions company. We take pride in designing and developing cutting-edge, high-performance, and energy-efficient RISC-V CPU cores from scratch to power some of the most exciting applications - think high performance supercomputers and next-generation embedded systems. By also providing our own automated proprietary tools to fully customize these cores, we give our customers a unique competitive advantage by empowering their system-on-chip developers to build the most innovative products.

What you’ll do

We’re looking for passionate Senior 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 a unique chance to work on clean-sheet designs that push technological boundaries and make a real impact. Join us in Cambridge or Bristol and be part of a team redefining what’s possible in CPU design.

You will:

• 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, estimate, prioritise and track your own work, and help others do the same
• Define verification strategies for block 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
• Track and report verification metrics
• Craft automated verification flows

What we need

• Significant commercial experience with a variety of 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 complex IP (e.g. GPUs, NNAs)
• Fluency and the ability to write clear and concise code in languages like SystemVerilog, Python, C++, Rust, or Go
• Past verification ownership of a design block
• Analytical thinking, self-sufficiency and team collaboration skills
• Ability to work effectively across teams to debug issues and find root causes
• User knowledge of Linux to enable automation of common tasks
• Knowledge of versioning tools (Git, SVN)

What we’d love you to have

• Knowledge of RISC-V Architecture
• Good knowledge of computer systems and architecture
• Experience with formal verification or other more advanced verification techniques.
• Experience with (or interest in) guiding, mentoring or coaching engineers

What's in it for you?

Join a flexible, open and supportive team full of curious, self-motivated and driven engineers who are keen to explore new ways of doing things, you'll get to work on ultra-modern, cutting-edge products and technology.

As a Codasipper, you will have the freedom to explore original solutions and experiment with new techniques in your role. We believe in cross-departmental awareness and encourage collaboration, allowing you to add value through diversity in your daily work.

So, come aboard and let's architect a future of innovation together! We can't wait to see what you'll achieve at Codasip.