Company:

Qualcomm India Private Limited
Job Area:

Engineering Group, Engineering Group > Hardware Engineering

General Summary:

Job Description
- We are seeking a highly motivated Formal Verification Engineer with 6-8 yeas 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 cutting-edge verification methodologies. This role provides the opportunity to collaborate across global architecture, design, and systems teams to influence and strengthen verification sign‑off quality.

What You Will Be Doing
- 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

What We Need to See
- 5+ 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/r

📌 Formal Verification Engineer, Sr Lead (Bengaluru)
🏢 Qualcomm
📍 Bengaluru