Senior / Staff Formal Verification Engineer - GPU

Senior / Staff Formal Verification Engineer - GPU

We are currently partnered with an industry leading semiconductor giant in the UK working at the forefront of GPU innovation. They are looking to expand their team with an experienced Formal Verification Engineer to work on the deployment of advanced formal techniques on next-generation GPU designs.

This is a permanent position based in Cambridge - please note this is a full onsite role.

Key responsibilities for this Senior/Staff Formal Verification Engineer position:

• Define and execute Formal Property Verification (FPV) plans for 3D graphics pipelines and data paths.
• Build assertion-based testbenches and debug RTL to achieve formal sign-off.
• Apply advanced abstraction techniques to resolve proof complexity and state-space explosion.
• Partner with global Architecture and RTL Design teams to influenc...