Senior CPU Formal Verification Engineer

Systems Planning and Analysis, Inc.; 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

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