CPU Formal Verification Engineer

Nutanix; Santa Clara (CA); On-site; USD 142,000 - 213,000; Full time

Job summary

Qualcomm Technologies, Inc. is seeking an experienced CPU verification engineer in Santa Clara to drive formal verification efforts for next-generation processors.

You will design end-to-end verification environments and contribute to architecture-to-microarchitecture refinement using state-of-the-art formal methods. Ideal candidates have a strong foundation in model checking and theorem proving, with hands-on experience in JasperGold, VC-Formal, ACL2, or HOL, and a track record of verifying

Qualifications

• Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or related field with 2+ years of hardware/software verification experience.
• MS/PhD in CS/EE with 4+ years of formal methods experience; or PhD with 1+ year applicable experience.
• Strong background in formal methods and verification of complex systems using model checking or theorem proving.

Responsibilities

• Define formal verification architecture and create end-to-end sign-off environments for CPU components.
• Develop test plans and verification strategies aligned with architecture-to-microarchitecture refinement.
• Engage in model-checking, property verification, and architectural modeling using formal methods.

Skills

Formal methods

Model checking

Theorem proving

Hardware verification

Programming/scripting

Education

Bachelor's degree in EE/CS/CE

MS/PhD preferred

Tools

JasperGold

VC-Formal

ACL2

HOL

Job description

Company:Qualcomm Technologies, Inc.Job Area:Engineering Group, Engineering Group > CPU EngineeringGeneral 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.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-architectureDefine formal verification architecture, develop test plans and build end-to-end formal sign-off environments for Qualcomm CPU componentsEngage 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 areasTo be successful in this position you will need:BA/BS degree in CS/EE with 8+ years of practical experience in application of formal methods in hardware or softwareStrong model checking or theorem proving background/experience in verification of complex systemsExperience in writing assertions and associated modeling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methodsWorking familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOLThe ideal candidate will have the following experience:MS/PhD degree in CS/EE; 4+ years of practical experienceStrong foundation in formal methods and in their application to hardware specifications and/or implementationsDomain knowledge in one or more of these areas: Microprocessor architecture and micro-architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, security architecturesStrong software engineering skills with proven ability in automation and proficiency in at least one programming language (C++, Python, TCL etc.)Minimum Qualifications: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.Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail [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. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).To all Staffing and Recruiting Agencies : Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.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.Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.Pay range and Other Compensation & Benefits :$142,200.00 - $213,400.00The 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 at Qualcomm. We 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 at play. Your 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 .If you would like more information about this role, please contact Qualcomm Careers .