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
Senior FPV Engineer: GPU RTL & Formal Proof in Cambridge employer: Qualcomm
Qualcomm Technologies International Ltd is an exceptional employer, offering a dynamic work culture that fosters innovation and collaboration. With a strong focus on employee growth, you will have access to extensive training and development opportunities while working in a vibrant EMEA region that encourages strategic partnerships and impactful sales initiatives. Join us to be part of a forward-thinking team that values your contributions and supports your career aspirations.