Senior FPV Engineer: GPU RTL & Formal Proof
Qualcomm · Cambridge, England ·
Apply on partner site
You apply on the advertiser's own site — nothing is stored here.
Qualcomm Technologies International Ltd in Cambridge seeks an ASIC verification engineer focused on Formal Property Verification (FPV) to design and implement assertion-based testbenches and drive formal sign-off. You will work with global RTL design and DV teams to achieve project goals and apply industry-standard formal tools including SVA and JasperGold.
Qualifications include a Bachelor's in science/engineering with 2+ years in ASIC design/verification, or a Master's with 1+ year, or a PhD.
Apply on partner site
Listing supplied by one of our partner job boards. Last confirmed: 3 days ago.
More jobs with this title
Senior FPV Verification Engineer – GPU RTL
linetgroup · 3 days ago
Staff Formal Verification Engineer (GPU)
AMD · 1 month ago
Researcher - Lean 4 & Formal Proof Systems
Alignerr Corp. · 3 days ago
GPU Formal Verification Lead Architect
AMD · 1 day ago
GPU RTL Design Engineer - Energy-Efficient & High-Performance
Apple Inc. · 5 days ago
Formal Verification Senior Engineer - Qualcomm, Cambridge, UK
Qualcomm · 5 days ago
Formal Verification Engineer
Apple · 3 days ago
Formal Verification Engineer
ARM · 2 weeks ago