The Job

CPU Formal Verification Engineer

Technology, Data & Digital · Software & Web Development · Software Engineering · QA & Testing

Join for updates

In short

Join Qualcomm's CPU team as a Formal Verification Engineer to apply formal methods to the verification of application processors. You will define formal verification architecture, develop test plans, and deploy model-checking technology for complex CPU designs.

Responsibilities

  • Work with the design team to understand design intent and develop verification plans and schedules for formalization 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 including property verification, math proofs, architectural modeling, and validation.

Requirements

  • BA/BS degree in CS/EE with 8+ years of practical experience in applying 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 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.

Desired Qualifications

  • MS/PhD degree in CS/EE; 4+ years of practical experience.
  • Strong foundation in formal methods and their application to hardware specifications and/or implementations.
  • Domain knowledge in 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.).

Benefits

  • Competitive annual discretionary bonus program.
  • Opportunity for annual RSU grants.
  • Highly competitive benefits package designed to support success at work, at home, and at play.
  • Reasonable accommodations provided for individuals with disabilities to participate in the hiring process.
  • Accessible workplace for individuals with disabilities.
#CPU#Formal Verification#Hardware Engineering#Software Engineering#Electrical Engineering#Computer Science#Computer Engineering
Qualcomm Logo

Company

Qualcomm

Job Posted

4 weeks ago

Employment Type

Full Time

WorkMode

On Site

Experience Level

Senior

Locations

Santa Clara, United States of America

Qualification

Bachelor, Master, Doctoral

Applicants

Be an early applicant