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.
#J-18808-Ljbffr
The Senior FPV Engineer: GPU RTL & Formal Proof role at QUALCOMM, Inc. is now open for applications in Cambridge, England, United Kingdom.
The Senior FPV Engineer: GPU RTL & Formal Proof position in the Engineering field is open for applications.
We have an opening for a Senior FPV Engineer: GPU RTL & Formal Proof in Cambridge, England, United Kingdom within Engineering.