CPU Formal Verification Engineer

Join to apply for the CPU Formal Verification Engineer role at Qualcomm .

Join to apply for the CPU Formal Verification Engineer role at Qualcomm .

Company Qualcomm Technologies, Inc.

Job Area Engineering Group, Engineering Group > CPU Engineering

General Summary

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.

Minimum Qualifications

• Bachelor\'s degree in Electrical Engineering, Computer Engineering, Computer Science, or related field.

Roles And Responsibilities

• 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 modelling and validation amongst other cutting-edge application areas

To be successful in this position you will need

• Degree in Computer Science /Electronic Engineering with 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 modelling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methods
• Working familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOL

The Ideal Candidate Will Have The Following Experience

• MSc /PhD degree in Computer Science /Electronic Engineering
• 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.)

Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, Qualcomm is committed to providing an accessible process. You may e-mail or call Qualcomm\'s toll-free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities.

EEO Employer: Qualcomm is an equal opportunity employer; all qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, Veteran status, or any other protected classification.

Pay Range And Other Compensation & Benefits

$122,500.00 - $183,700.00

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. Salary is only one component of total compensation at Qualcomm. We offer a competitive annual discretionary bonus program and opportunity for annual RSU grants. Our benefits package is designed to support your success at work, at home, and at play. Your recruiter will discuss all that Qualcomm has to offer.