Senior Staff Formal Verification Engineer (GPU)

Stack

Responsibilities

• ▹Develop a deep understanding of the 3D graphics hardware pipeline, feature sets, data paths, and block interfaces
• ▹Identify critical graphics areas to verify with formal methods
• ▹Strategize and develop Formal Property Verification (FPV) test plans, assertion-based verification testbenches, debug RTL artefacts, and achieve formal sign-off matrices
• ▹Collaborate with global GPU system architecture, RTL design, and DV teams to achieve project goals
• ▹Engage with EDA vendors and explore new, innovative DV methodologies to push sign-off quality
• ▹Apply other formal applications such as DPV, C2RTL SEQ, RTL2RTL SEQ

Requirements

• ▹Bachelor's + 6 years, Master's + 5 years, or PhD + 4 years of Software, Hardware, or Systems Engineering experience in Computer Engineering, Computer Science, Electrical Engineering, or related field
• ▹Proficiency with industry-standard formal tools and hands-on experience writing SystemVerilog Assertions
• ▹Experience solving formal proof complexity by applying abstraction techniques

Nice to have

• ▹Prior knowledge of GPU architecture
• ▹Experience with other formal applications like DPV, C2RTL SEQ, RTL2RTL SEQ

Soft skills

What we offer

• ▹Competitive annual discretionary bonus program
• ▹Opportunity for annual RSU grants
• ▹Highly competitive benefits package

About the company

The Qualcomm® Adreno™ GPU takes PC platforms and mobile UI, games, and advanced graphics applications to the next level, delivering stunning visuals and high-performance video streaming.