CPU Formal Verification Engineer

Qualcomm Technologies, Inc. is seeking a CPU Formal Verification Engineer to join their world-class CPU design team. This role presents an exciting opportunity to work on cutting-edge processor development and formal verification methodologies.

The position involves working with some of the industry's best CPU architects and engineers, developing processors that will power future technologies. You'll be responsible for applying formal methods to verify complex application processors and contribute to advancing formal methodologies in this space.

The ideal candidate will bring a strong foundation in formal methods and their application to hardware specifications and implementations. Key technical areas include microprocessor architecture, instruction set architecture, floating-point math, memory consistency, and security architectures. The role requires expertise in model checking, theorem proving, and hardware description languages.

Qualcomm offers a comprehensive benefits package including competitive base salary ($122,500 - $183,700), annual bonuses, RSU grants, and extensive health benefits. The company promotes a culture of innovation and continuous learning, with opportunities for professional growth and development.

Working at Qualcomm's Santa Clara location, you'll be part of a team that's pushing the boundaries of processor technology. The company's commitment to breakthrough innovation, combined with its supportive and inclusive culture, makes this an ideal opportunity for someone passionate about formal verification and hardware design.

This role offers the chance to work on some of the most complex designs ever attempted, allowing you to sharpen your formal verification skills to their fullest potential. If you're excited about contributing to next-generation processor technology and working with industry-leading experts, this position offers the perfect platform to advance your career in hardware verification.