Senior GPU Formal Verification Engineer

A global technology innovator is expanding its advanced graphics development group in Cambridge and is seeking a GPU Formal Verification Engineer to join a highly specialized hardware verification team.

The organization develops high-performance graphics solutions that power modern user interfaces, immersive gaming, AI acceleration, and ultra-efficient video processing across a wide range of devices. These solutions push the boundaries of performance while maintaining strict power and efficiency targets.

This role offers the opportunity to work at the forefront of applied formal techniques, directly influencing the reliability and performance of next-generation GPU products used in billions of devices worldwide.

Key Responsibilities

• Build a detailed technical understanding of the GPU rendering pipeline, functional blocks, data movement, and hardware interfaces

Design and execute Formal Property Verification strategies, including:

• creating comprehensive formal test plans
• developing assertion-based verification environments
• debugging complex RTL behaviour
• driving formal sign-off to completion
• Work closely with architecture, RTL design, and verification teams across multiple international locations
• Partner with EDA vendors to explore advanced methodologies and continuously raise verification quality standards
• Apply abstraction techniques to manage proof complexity, close coverage, and uncover deep functional bugs

Required Skills & Experience

• Strong hands-on experience with formal verification tools
• Advanced proficiency in writing and debugging SystemVerilog Assertions
• Proven ability to tackle complex proof challenges and drive formal closure

Experience with complementary formal flows such as:

• Design Property Verification (DPV).
• C-to-RTL equivalence.
• RTL-to-RTL equivalence (advantageous).
• Familiarity with GPU or graphics architectures is beneficial but not mandatory.
• Excellent communication skills, strong learning mindset, and a commitment to continuous improvement.

If your background and career aspirations match this opportunity, please apply today or contact nk@eu-recruit.com to explore how this role could fit into your next career move.