eightfold
Formal Verification Engineer, Staff
Qualcomm India Private Limited
Bengaluru, IND
Full-time
Senior · 4+ years experience
Onsite
Discovered 3 weeks ago
JasperVC FormalQuesta FormalPythonSVA
Free
Job Fit Check
Base Career helps you apply smarter for this job.
?%
Ready to ScanKey skills for this role
JasperVC FormalQuesta Formal
Role Overview
We are seeking a highly motivated Formal Verification Lead Engineer with 8 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.
Key Skills for This Role
JasperVC FormalQuesta FormalPythonSVA
Full Job Posting
Job Area:
General Summary:
Job Description
We are seeking a highly motivated Formal Verification Lead Engineer with 8 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.
Minimum Qualifications:
Key Responsibilities
- 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.
Apply for this job in 1 click
Skip the repetitive application forms
Install the Base Career Chrome Extension and autofill job applications across major job boards with your profile.
Trusted by over 500,000 job seekers on Base Career
More from this employer
More jobs at Qualcomm India Private Limited
PE- CPU Software & Hardware Co-Design Engineer (ML Systems)
Bengaluru, IND
SeniorFull-time
Discovered YesterdayView →
NPU AI/Processor Synthesis Engineer- Sr Staff
Bengaluru, IND
Discovered TodayFull-time
Engineer
Hyderabad, IND
Discovered TodayFull-time
Synthesis Engineer, Principal
Bengaluru, IND
Discovered TodayFull-time
PE- CPU Software & Hardware Co-Design Engineer (ML Systems)
Bengaluru, IND
Discovered YesterdayFull-time
Engineer
Hyderabad, IND
Discovered YesterdayFull-time
Synthesis Engineer
Bengaluru, IND
Discovered YesterdayFull-time
Engineer- Android
Hyderabad, IND
Discovered YesterdayFull-time
GAOC Accountant, Senior
Hyderabad, IND
Discovered YesterdayFull-time