Explore roles
Codasip
Senior/Principal Verification Engineer
Multiple locations
Hybrid
Graduate
Junior
Mid
Senior
Leader
Description
Hybrid requirements: This role has flexible working patterns.
We’re looking for Senior and Principal Verification Engineers to join us either in our Cambridge or Bristol office. You’ll interact and collaborate with other engineers from a range of disciplines across Europe as part of an international team to find solutions. We hire really bright, highly motivated self-starters who enjoy working on something revolutionary in an innovative company.
What you’ll do
Verify RISC-V processors and extensions
Develop verification solutions (e.g. test benches and test bench components, stimulus generation, formal environments)
Define, estimate and track your own work, being responsible for the delivery of all verification activities related to a component or subsystem from start to finish
Review technical specifications, providing feedback from a verification perspective
Define detailed verification plans for high performance RISC-V CPU IP
Run simulations, hunt bugs and complete root cause analysis of complex issues
Track and report verification metrics
Craft automated verification flows
Requirements
What we need
Significant commercial experience with a variety of functional processor verification methodologies as applied to CPU or other ASIC verification (simulators, coverage collection, gate level simulation etc…)
Knowledge of verifying CPU architectures or other complex IP (GPUs, NNAs)
Fluency and the ability to write clear and concise code in languages like SystemVerilog, Python, C++, Rust, or Go
Past ownership of a block of the design
Analytical thinking, self-sufficiency and team collaboration skills
Ability to work 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
Role tech stack
Python
C++
Rust
Golang
Git
SVN
Codasip
Senior/Principal Verification Engineer
Bristol
Share role