CPU Formal Verification Engineer

Qualcomm Technologies International Ltd is seeking a CPU Formal Verification Engineer to join their world-class CPU design team in Cambridge. This role offers an exciting opportunity to work on cutting-edge processor development, applying formal verification methods to complex hardware designs. The position combines deep technical expertise in formal methods with practical application in CPU architecture.

The ideal candidate will contribute to developing next-generation formal methodologies while working alongside some of the industry's best CPU architects and engineers. The role involves sophisticated verification of complex processor designs, requiring both theoretical knowledge and practical implementation skills. You'll be responsible for creating comprehensive verification plans, developing formal sign-off environments, and ensuring the architectural integrity of CPU components.

This position offers significant growth potential within a leading technology company, with access to state-of-the-art tools and methodologies. The Cambridge office, with over 600 team members, provides a collaborative and innovative environment focused on pioneering IoT and automotive technologies. The role comes with comprehensive benefits including stock options, performance bonuses, insurance coverage, and various lifestyle perks.

The position offers an excellent opportunity to work on challenging technical problems while contributing to the future of processor technology. You'll be part of a team that values innovation, technical excellence, and continuous learning, with the chance to make meaningful contributions to next-generation CPU development.