Formal Verification CAD Engineer
Qualcomm · Posted Sep 28
Semiconductor, 5G wireless technology, mobile platform, and AI computing solutions
Get a personal compatibility score
Add a resume for personal matches
About the role
The GCAD Formal team at Qualcomm India drives formal verification sign-off for complex hardware design blocks, collaborating with global architecture, design, and systems teams. The work centers on advanced Formal Apps, convergence strategies, proof and abstraction refinement, and low-power formal methodology. This engineer will also build Python automation to scale FV flows and work with EDA vendors on advanced DV methodologies.
What you will do
- We are seeking a highly motivated Formal Verification Engineer with 2+ years of experience to join our GCAD Formal team. The ideal candidate will have strong formal verification fundamentals, hands-on experience with formal tools, excellent analytical and scripting skills, and the ability to drive innovative verification methodologies. This role provides the opportunity to collaborate across global architecture, design, and systems teams to influence and strengthen verification sign‑off quality.
- Drive formal verification of complex design blocks using advanced Formal Apps and robust convergence strategies to achieve exhaustive and high‑confidence sign‑off.
- Collaborate with worldwide architecture, design, and systems teams to achieve verification goals.
- Review and refine formal setups, proofs, constraints, and abstractions with design/DV teams.
- Engage with EDA vendors and evaluate advanced DV methodologies to improve sign‑off quality.
- Develop automation scripts (Python preferred) to enhance efficiency and scalability of FV flows.
- Analyze challenging formal problems and propose effective verification strategies.
- Low power formal methodology
Skills used in this role
What the employer is looking for
- 2+ years of hands-on experience in Formal Verification.
- Strong understanding of formal concepts, proof strategies, and abstraction techniques.
- Proficiency with formal tools (Jasper, VC Formal, Questa Formal, etc.).
- Working knowledge of property-based FV (SVA ) is a plus.
- Excellent scripting skills (Python strongly preferred).
- Strong analytical and problem‑solving abilities.
- Clear communication skills and ability to collaborate with global teams.
- A strong willingness to learn, innovate, and deliver high‑quality results.
- Low‑power knowledge is a plus (e.g., power‑aware verification concepts, UPF/CPF, isolation/retention, power/clock gating, power‑aware apps, and basic power‑intent debugging).
- Bachelor's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field.
Benefits and support
- Compensation and benefits are detailed in the job posting
About Qualcomm
Qualcomm is a global leader in the development and commercialization of foundational technologies for the wireless industry, including mobile processors, 5G, and on-device artificial intelligence. The company designs and markets digital communications products, semiconductor solutions, and system software used globally across smartphones, automotive solutions, IoT devices, and computing systems. Through extensive R&D and intellectual property licensing, Qualcomm powers a highly interconnected and smarter world.
- Industry
- Semiconductors
- Company size
- 50000+ employees
- Founded
- 1985
- Location
- San Diego, California, USA
- Funding stage
- Public Company
Funding
Public Company · $53M raised
- 2018-11-01Grant
Leadership
President and Chief Executive Officer
Chief Financial Officer and Chief Operating Officer
James H. Thompson
Chief Technology Officer
Chief Marketing Officer
Ann Chaplin
General Counsel and Corporate Secretary
Recent coverage
All About Circuits
Qualcomm Unveils Snapdragon 8 Elite Extreme Gen 6 and Gen 6 Chips at Snapdragon Summit 20262026-10-06
Quartz
Qualcomm Returns to Court Against Arm in High-Stakes Trial Over Royalties and Testing Tools2026-10-06
Barchart
Qualcomm's Strategic Shift: Expanding into Automotive, IoT, and AI Infrastructure2026-10-06
Qualcomm Newsroom
Snapdragon Leads the Agentic AI Age with Two of the World's Fastest Mobile SoCs2026-09-22