CPU Formal Verification Engineer

Join Qualcomm's world-class CPU design team in developing the next generation of application processors. As a CPU Formal Verification Engineer, you'll work alongside some of the best CPU architects and engineers in the industry, applying formal methods to verify complex processor designs. This role combines deep technical expertise in formal verification with practical hardware implementation, offering an opportunity to shape the future of processor technology.

The position requires a strong background in formal methods and their application to hardware specifications. You'll be responsible for developing verification plans, building formal sign-off environments, and ensuring the correctness of CPU components through rigorous formal verification methods. This is an ideal opportunity for someone passionate about formal verification and interested in working on cutting-edge processor technology.

Qualcomm offers a comprehensive benefits package including competitive base salary, annual bonuses, RSU grants, and extensive health coverage. The company promotes a culture of innovation and continuous learning, with opportunities for professional development through mentorship programs and tuition reimbursement.

The ideal candidate will have an advanced degree in Computer Science or Electronic Engineering, strong formal methods background, and domain knowledge in areas such as microprocessor architecture, instruction set architecture, or security architectures. This role offers the chance to work on some of the most complex designs ever attempted while contributing to the development of next-generation formal methodologies.