CPU Formal Verification Engineer

Job Title

Join Qualcomm's CPU Design Team

Qualcomm Technologies, Inc.

Engineering Group, Engineering Group > CPU Engineering

Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the development of the next generation of formal methodologies in this space? The Qualcomm CPU team has some of the best CPU architects and engineers on the planet, developing the processors that will power the future.

Come and join us on this exciting adventure. Sharpen your formal verification skills to their fullest on some of the complex designs ever attempted.

Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the end-to-end formalization of the refinement from architecture to micro-architecture

Define formal verification architecture, develop test plans and build end-to-end formal sign-off environments for Qualcomm CPU components

Engage in full-spectrum deployment of model-checking technology to hardware designs including property verification, math proofs, architectural modeling and validation amongst other cutting-edge application areas

BA/BS degree in CS/EE with 8+ years of practical experience in application of formal methods in hardware or software

Strong model checking or theorem proving background/experience in verification of complex systems

Experience in writing assertions and associated modeling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methods

Working familiarity with model checkers like Jasper gold and VC-Formal or theorem-proving tools such as ACL2 and HOL

MS/PhD degree in CS/EE; 4+ years of practical experience

Strong foundation in formal methods and in their application to hardware specifications and/or implementations

Domain knowledge in one or more of these areas:
Microprocessor architecture and micro-architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, security architectures

Strong software engineering skills with proven ability in automation and proficiency in at least one programming language (C++, Python, TCL etc.)

• Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field and 2+ years of Hardware Engineering, Software Engineering, Electrical Engineering, Systems Engineering, or related work experience. ORMaster's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field and 1+ year of Hardware Engineering, Software Engineering, Electrical Engineering, Systems Engineering, or related work experience. ORPhD in Electrical Engineering, Computer Engineering, Computer Science, or related field.

$ - $

The above pay scale reflects the broad, minimum to maximum, pay scale for this job code for the location for which it has been posted. Even more importantly, please note that salary is only one component of total compensation  also offer a competitive annual discretionary bonus program and opportunity for annual RSU grants (employees on sales-incentive plans are not eligible for our annual bonus).

In addition, our highly competitive benefits package is designed to support your success at work, at home, and r recruiter will be happy to discuss all that Qualcomm has to offer – and you can review more details about our US benefits at this link.