A Global semiconductor giant based in Cambridge are seeking to bolster their team with a talented Formal Verification Engineer.

Please note this opportunity is based on-site in Cambridge.

Responsibilities:

• Develop a deep understanding of the 3D graphics hardware pipeline, including feature sets, data paths, block functionalities, and interfaces
• Plan and implement Formal Property Verification (FPV) strategies, including assertion-based testbenches, formal proofs, and sign-off matrices
• Collaborate with GPU architecture, RTL design, and DV teams globally to ensure project goals and quality targets are met
• Debug RTL artifacts, drive coverage closure, and resolve complex verification challenges in formal proof environments
• Engage with EDA vendors and explore innovative formal verification methodologies to enhance verification quality and efficiency

Requirements:

• Hands-on experience ...