Principal Verification Engineer

Codasip; Bristol; On-site; GBP 50,000 - 90,000; Full time

Job summary

Join a forward-thinking company as a Principal Verification Engineer, where you'll play a crucial role in verifying innovative RISC-V CPUs. This position offers the unique opportunity to work on cutting-edge designs that redefine CPU technology. You'll be part of a dynamic team, applying advanced verification methodologies and collaborating across departments to tackle complex challenges. With a focus on creativity and exploration, you'll have the freedom to experiment and contribute to groundbreaking projects. If you're passionate about technology and eager to make an impact, this is the perfect role for you.

Qualifications

• Significant experience with functional processor verification methodologies.
• Fluency in coding languages like SystemVerilog, Python, and C++.

Responsibilities

• Verify RISC-V processors and develop verification solutions.
• Collaborate with engineers and track verification activities.

Skills

SystemVerilog

Python

C++

Rust

Go

Analytical Thinking

Team Collaboration

Debugging

Tools

Linux

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 Principal 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, being 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, and other’s work in the team
• 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
• Guide, mentor and coach junior engineers in the team

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 multiple design blocks
• Analytical thinking, self-sufficiency and strong 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)
• Experience with guiding, mentoring or coaching engineers
• Good knowledge of computer systems and architecture

What we’d love you to have

• Knowledge of RISC-V Architecture
• Experience with formal verification or other more advanced verification techniques

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.