Senior CPU Formal Verification Engineer

MaC VC; Santa Clara (CA); On-site; USD 148,000 - 222,000; Full time

Job summary

Qualcomm Technologies, Inc. is seeking a senior verification engineer to advance formal methods for CPU design and verification. You will work with a world-class CPU team to formalize architecture-to-micro-architecture refinements and build end-to-end verification environments.

The role requires strong background in model checking and theorem proving, with hands-on experience in HDL assertions and formal proofs. Location is in the US with a competitive compensation package and benefits.

Qualifications

• BA/BS in CS/EE with 8+ years in formal methods for hardware/software.
• MS/PhD in CS/EE; 4+ years in formal methods.
• Experience with hardware verification using model checking and theorem proving.

Responsibilities

• Define formal verification architecture and end-to-end sign-off environments for CPU components.
• Develop test plans and verification schedules.
• Deploy model-checking, math proofs, and architectural modeling for hardware designs.

Skills

Formal methods

Model checking

Theorem proving

C++

Python

TCL

Automation

Education

BA/BS CS/EE + 8+ years

MS/PhD CS/EE + 4+ years

PhD in CS/EE

Tools

Jaspergold

VC-Formal

ACL2

HOL

Job description

Qualcomm Technologies, Inc. is seeking a senior verification engineer to advance formal methods for CPU design and verification. You will work with a world-class CPU team to formalize architecture-to-micro-architecture refinements and build end-to-end verification environments.

The role requires strong background in model checking and theorem proving, with hands-on experience in HDL assertions and formal proofs. Location is in the US with a competitive compensation package and benefits.