Staff Formal Verification Engineer
QualcommJob Title
Staff Formal Verification Engineer
Role Summary
Senior engineer on the GCAD Formal team responsible for leading formal verification of complex hardware blocks to achieve high-confidence sign-off. Works with global architecture, design, and systems teams to define and refine formal verification strategies and automation.
Experience Level
Senior-level. The posting references a preferred 8 years of experience and specifies hands-on formal verification experience typically in the 4–6 year range depending on degree (see Education Requirements for degree-dependent minimums).
Responsibilities
Primary responsibilities include:
- Lead formal verification of complex design blocks using advanced formal applications and convergence strategies to reach exhaustive sign-off.
- Collaborate with worldwide architecture, design, and systems teams to meet verification objectives.
- Review and refine formal setups, proofs, constraints, and abstractions with design and DV teams.
- Engage with EDA vendors and evaluate advanced verification methodologies to improve sign-off quality.
- Develop automation (Python preferred) to improve efficiency and scalability of formal flows.
- Analyze difficult formal problems and propose effective verification strategies.
Requirements
Must-have and preferred skills for the role.
- Must-have: strong formal verification fundamentals and understanding of proof strategies and abstraction techniques.
- Must-have: proficiency with formal tools (examples: Jasper, VC Formal, Questa Formal).
- Must-have: excellent scripting skills; Python strongly preferred.
- Must-have: strong analytical and problem-solving abilities and clear communication for global collaboration.
- Preferred: experience with property-based formal verification (SVA).
- Preferred: experience engaging with EDA vendors and evaluating advanced DV methodologies.
- Preferred: experience building scalable FV flows and automation for production verification sign-off.
Education Requirements
Degrees and degree-dependent experience minimums are stated. Acceptable degrees: Bachelor's, Master's, or PhD in Computer Science, Electrical/Electronics Engineering, Computer Engineering, or a related engineering/technical field. Degree-dependent experience minimums in the posting: Bachelor's + 4+ years, Master's + 3+ years, or PhD + 2+ years of relevant hardware engineering or formal verification experience.
About the Company
Company: Qualcomm
Headquarters: San Diego, California, United States
Qualcomm is a global leader in semiconductor and telecommunications equipment, specializing in mobile technologies and innovations. Known for its Adreno GPUs, the company provides solutions enabling advancements in mobile gaming, AI, VR/AR, and autonomous driving. Qualcomm's cutting-edge technology and commitment to high-performance, power-efficient designs drive the evolution of mobile graphics and connectivity worldwide.
