Free cookie consent management tool by TermsFeed Privacy Suite Generator Vacancy - Formal Verification Engineer - CPU/GPU | Technology Recruitment

Formal Verification Engineer - CPU/GPU

Remote - UK, UK


Highly competitive compensation package and benefits



CPU/AI/RISC-V – Super start up, well-funded.

I am seeking skilled Formal Verification Engineers with a solid background in CPU development to join my exciting AI hardware client, who are moving across the pond and hiring UK Talent!

With already a great reputation in the market, my client is developing ultra-high-performance RISC-V processors to address AI applications at large. They are a computing company with an impressive roadmap and a VERY promising future, comprised of a truly world-class team of AI and CPU Engineers.

You will be responsible for applying various formal verification techniques to source bugs in specifications and RTL implementation for a high-performance data centre class CPU and driving formal verification for multiple CPU blocks by putting together formal test plans and executing on them.

You will have:
  • Prior experience with formal verification methods and techniques 
  • Strong knowledge of computer architecture with some experience on CPU, GPU, Cache designs 
  • Hands-on experience with formal verification tools such as Jasper, VC-Formal, Yosys, IFV, Questa, etc. 
  • Proficiency in programming/scripting languages 
  • Strong experience with hardware description languages (Verilog, VHDL) and simulators (VCS, NC, Verilator), experience capturing design specification in a temporal assertion language such as SVA.
On offer is a highly competitive compensation package and benefits.

This role initially will be fully remote (must be a UK resident) as the team grows there may be offices in certain UK Cambridge/Bristol

For more information, please contact Rachel Mason.
Apply now