Formal Verification Engineer, Sr Lead
Qualcomm · Bengaluru · onsite · Posted 57d ago
Undisclosed5–10 yrsfulltimeSourced from
About a minute. You'll make an account on the way through.
About this role
Company
Qualcomm India Private Limited
Job Area Engineering Group, Engineering Group > Hardware Engineering
General Summary 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 innovative verification methodologies. This role provides the opportunity to collaborate across global architecture, design, and systems teams to influence and strengthen verification signoff 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 highconfidence signoff.
- 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 signoff 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
- 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 problemsolving abilities.
- Clear communication skills and ability to collaborate with global teams.
- A strong willingness to learn, innovate, and deliver highquality results.
- Lowpower knowledge is a plus(e.g., poweraware verification concepts, UPF/CPF, isolation/retention, power/clock gating, poweraware apps, and basic powerintent debugging).
- Bachelor''s degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 4+ years of Hardware Engineering or related work experience.
- Master''s degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 3+ years of Hardware Engineering or related work experience.
- PhD in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 2+ years of Hardware Engineering or related work experience.
Sourced from naukri
Skills
AutomationScriptingformal verificationHardware EngineeringElectronics EngineeringEvent DrivendebuggingPythonCommunication SkillsArchitectureRest Assured
About Qualcomm
Qualcomm
Semiconductors
22k+
employees
1996
30 years old
San Diego,California
United States
About
Qualcomm invents breakthrough technologies that transform how the world connects, computes and communicates.
Industries
SemiconductorsHardware & Networking
Employee ratings
1,207 reviews
3.7/ 5
Culture
3.4
Career growth
3.2
Work-life
3.3
Employees rate it well for
Work Life Balance267Salary160Work Culture155Learning100Senior Management91
Find them on