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.
Senior FPV Engineer: GPU RTL & Formal Proof in Cambridge employer: QUALCOMM, Inc.
Qualcomm Technologies International Ltd is an exceptional employer, offering a dynamic work environment in the heart of Cambridge, where innovation thrives. Employees benefit from a collaborative culture that encourages professional growth through continuous learning and development opportunities, alongside competitive compensation and benefits. The company's commitment to cutting-edge technology and high-performance graphics ensures that you will be at the forefront of the industry, making a meaningful impact in your role as a GPU Validation & Emulation Specialist.