Avanti Recruitment have partnered with a company in the London area (remote working available) who are looking for a Lead Formal Verification Engineer to help create step-change GPU technology for the online gaming and datacentre markets.

You'd be joining a team of industry heavyweights, (Ex-Apple, Huawei and Imagination management) developing new technology as they continue to grow and provide you the opportunity to learn off of GPU experts.

As part of their newly established UK R&D group, you'll be working alongside the architecture and design teams to create testplans and define how Formal Verification can help the process.

To be successful in this role, you'll need:

* Experience in developing a Formal testbench from scratch

* Experience with writing Systemverilog Assertions

* Experience with Formal Verification tools

* Experience in developing Formal Verification testplans

It would be even better if you had:

* An understanding of GPU's, computer or graphics architectures