Taro Logo

GPU Formal Verification Engineer (Multiple Levels Available)

Leading technology innovator that pushes boundaries to enable next-generation experiences and drives digital transformation for a smarter, connected future.
$161,800 - $273,400
Senior Software Engineer
In-Person
5,000+ Employees
4+ years of experience
Hardware

Description For GPU Formal Verification Engineer (Multiple Levels Available)

Qualcomm Technologies, Inc. is seeking a GPU Formal Verification Engineer to join their innovative team. This role represents an exciting opportunity to work at a leading technology company that's pushing the boundaries of what's possible in digital transformation.

The position involves architecting, designing, implementing, and verifying GPU cores, with a strong focus on optimization for both performance and power efficiency. As a verification engineer, you'll be working with cutting-edge formal verification methodologies, including static and dynamic verification, assertion-based verification, and utilizing industry-standard tools like Jasper and VC-formal.

The ideal candidate will bring 3+ years of ASIC design and verification experience, with strong expertise in System Verilog, Verilog, or VHDL. You'll need to demonstrate proficiency in design debug, deep bug hunting, and formal test planning. Knowledge of CPU, GPU, bus/NoC/interconnect, and memory controllers is highly valued.

Qualcomm offers an exceptional compensation package, including a competitive base salary range of $161,800 to $273,400, along with annual bonuses and RSU grants. The company provides comprehensive benefits including medical, dental, and vision insurance, 401k, and educational support through tuition reimbursement and continuous learning programs.

Working at Qualcomm means joining a team of technology experts and innovators who are shaping the future of mobile and wireless technology. The company fosters a supportive, inclusive culture where your ideas can contribute to world-changing innovations. You'll have opportunities to collaborate with cross-functional teams and work on projects that have global impact.

The position is available in multiple locations including San Diego, Santa Clara, and Austin, offering flexibility while maintaining an in-person work environment. This role requires a minimum of a Bachelor's degree in Computer Engineering, Computer Science, Electrical Engineering, or related field, combined with relevant work experience.

Join Qualcomm to be part of a company that's driving the future of technology while providing opportunities for professional growth and development in a collaborative, innovative environment.

Last updated a day ago

Responsibilities For GPU Formal Verification Engineer (Multiple Levels Available)

  • Architect, design, implement, verify GPU cores
  • Optimize performance and power of GPU cores
  • Collaborate with cross-functional teams
  • Perform formal test planning
  • Execute formal verification processes

Requirements For GPU Formal Verification Engineer (Multiple Levels Available)

  • Bachelor's degree in Computer Engineering, Computer Science, Electrical Engineering, or related field and 4+ years experience
  • 3 years ASIC design, verification, or related work experience
  • Formal verification (Static and Dynamic) skills
  • Assertion based verification experience
  • Design debug and deep bug hunting skills
  • System Verilog, Verilog or VHDL experience
  • Scripting skills
  • Experience with formal tools like Jasper, VC-formal

Benefits For GPU Formal Verification Engineer (Multiple Levels Available)

Medical Insurance
Dental Insurance
Vision Insurance
401k
Education Budget
  • Health coverage for employees and dependents
  • Annual discretionary bonus program
  • Annual RSU grants
  • Competitive benefits package
  • Tuition reimbursement
  • Mentorship programs
  • Continuous learning and development programs

Interested in this job?

Jobs Related To Qualcomm GPU Formal Verification Engineer (Multiple Levels Available)

ASIC RTL Design - (Turing/AI ML) Senior Engineer

Senior ASIC RTL Design Engineer position at Qualcomm, focusing on AI/ML hardware development, requiring expertise in RTL design and computer architecture.

WIFI PHY - Design Verification Sr Engineer

Senior Design Verification Engineer role at Qualcomm Bangalore, focusing on WLAN/WiFi PHY verification with 3+ years experience required in System Verilog/UVM.

Silicon Implementation Engineer – Custom Circuits

Senior hardware engineering role at OpenAI focusing on co-designing and optimizing hardware solutions for AI systems, offering competitive compensation and the opportunity to shape future AI infrastructure.

ASIC RTL Design - (Turing/AI ML) Senior Engineer

Senior ASIC RTL Design Engineer position at Qualcomm, focusing on AI/ML hardware development, requiring expertise in RTL design and computer architecture.

WIFI PHY - Design Verification Sr Engineer

Senior Design Verification Engineer role at Qualcomm Bangalore, focusing on WLAN/WiFi PHY verification with 3+ years experience required in System Verilog/UVM.