Hardware Formal Verification Engineer (Multiple Levels Available) - GPU Team

Qualcomm Technologies International Ltd is seeking a Hardware Formal Verification Engineer to join their GPU team in Cambridge, UK. This role is part of QCT's Digital ASIC design team, which delivers cutting-edge hardware and software products powering user experience and graphics content in advanced mobile devices. The position involves developing high-quality formal verification test benches for complex GPU designs, working closely with design and implementation teams. The ideal candidate will have strong expertise in formal verification methodologies, debug skills, and assertion development. The company offers a comprehensive benefits package including stock options, insurance coverage, and various lifestyle perks. Cambridge office hosts over 600 team members and focuses on pioneering IoT and automotive technologies. The role provides an opportunity to work on innovative projects while being part of a collaborative and inclusive work environment. Qualcomm actively promotes diversity and equal opportunities, offering professional growth and development opportunities in a dynamic tech environment.