Senior FPV Engineer: GPU RTL & Formal Proof

Posted 12 days 16 hours ago by Qualcomm

Permanent

Full Time

Other

Cambridgeshire, Cambridge, United Kingdom, CB1 0

Job Description

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.