CPU Formal Verification Engineer

Qualcomm is seeking a CPU Formal Verification Engineer to join their world-class CPU design team in Cambridge, UK. This role offers an exciting opportunity to work on cutting-edge processor development and contribute to next-generation formal methodologies.

The position involves working with some of the best CPU architects and engineers globally, developing processors that will power the future. You'll be responsible for formal verification of complex CPU designs, working closely with the design team to understand and verify architectural specifications.

As a CPU Formal Verification Engineer, you'll be instrumental in defining verification architectures, developing comprehensive test plans, and building end-to-end formal sign-off environments. The role requires expertise in model checking, theorem proving, and hardware description languages.

The ideal candidate will have a strong background in formal methods and their application to hardware specifications. Domain knowledge in areas such as microprocessor architecture, instruction set architecture, floating-point math, and memory consistency is highly valued. Strong software engineering skills and proficiency in programming languages like Python, C++, or TCL are essential.

Qualcomm offers an excellent benefits package including stock options, performance bonuses, comprehensive health coverage, and educational assistance. The company promotes a healthy work-life balance with flexible working arrangements and supports professional development through various learning opportunities.

Join Qualcomm's Cambridge office, where you'll be part of a dynamic team of over 600 professionals working on pioneering technologies. The location offers easy access to London and major airports, situated in one of the UK's leading technology hubs.