The role is focused on working with a world-class CPU design team at Qualcomm, specifically in the application of formal methods for the verification of application processors. The team is dedicated to developing next-generation formal methodologies and enhancing formal verification skills on complex designs. Candidates will engage in defining formal verification architecture and deploying model-checking technology to hardware designs. This position offers an exciting opportunity to contribute to the future of CPU technology.

• BA/BS degree in Computer Science or Electrical Engineering with 8+ years of practical experience in formal methods application.
• Strong background in model checking or theorem proving for complex systems verification.
• Experience in writing assertions and modeling code in Hardware Description Languages.
• Familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOL.
• MS/PhD degree in Computer Science or Electrical Engineering with 4+ years of practical experience is preferred.

• Work with the design team to understand design intent and develop verification plans.
• Define formal verification architecture and build end-to-end formal sign-off environments for CPU components.
• Engage in the deployment of model-checking technology to hardware designs, including property verification and architectural modeling.

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