The role is focused on formal verification within Qualcomm's Digital ASIC design team, which develops advanced hardware and software products for mobile devices. The candidate will work closely with design and implementation teams to ensure high-quality verification of GPU designs. Proficiency in debugging, formal verification methodologies, and assertion development is essential. This position offers the opportunity to contribute to cutting-edge technology and collaborate with various teams to enhance product performance.

• Bachelor's degree in Computer Engineering, Computer Science, Electrical Engineering, or related field and 6+ years of relevant experience, or a Master's degree with 5+ years, or a PhD with 4+ years.
• Proficiency in debugging and deep bug hunting.
• Experience with formal tools and formal verification methodologies.

• Synthesize the Verilog RTL and create models for emulators like Veloce/Palladium/Zebu and/or FPGA platforms.
• Develop all aspects of hardware emulator implementation, focusing on design partitioning, synthesis, and timing analysis.
• Drive debug failures on emulator using the latest technologies.
• Collaborate with designers and the software driver team for test planning and debugging.
• Work with tool vendors to improve the area and performance of synthesized FPGA RTL.
• Support chip bring-up and post-silicon debug, including debugging functional and timing models.

• Qualcomm offers competitive compensation, annual bonuses, stock programs, comprehensive healthcare coverage, retirement plans, wellness programs, parental leave, flexible work options, and professional development opportunities.