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, pushing the boundaries of performance while maintaining strict power and efficiency targets.
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 developing assertion‑based verification environments.
* Drive 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.
Location: Cambridge, England, United Kingdom
Seniority level: Mid‑Senior level; Employment type: Full‑time; Job function: Design and Engineering; Industry: Semiconductor Manufacturing.
#J-18808-Ljbffr