Formal Verification Sr Staff Engineer - Noida
Technology, Data & Digital · Software & Web Development · Software Engineering
In short
Qualcomm seeks a Formal Verification Sr Staff Engineer in Noida with extensive experience in formal verification tools and methodologies. This role involves leading formal verification efforts for complex designs, collaborating with global teams, and mentoring a verification team to achieve high-quality sign-offs.
Responsibilities
- Lead formal verification of complex design blocks using advanced Formal Apps and robust convergence strategies.
- Collaborate with worldwide architecture, design, and systems teams to achieve verification goals.
- Lead formal sign-off, including verification planning, proof closure, coverage analysis, convergence, and verification completeness.
- Debug complex verification issues and develop innovative solutions.
- Mentor, coach, and grow a formal verification team.
- Engage with EDA vendors and evaluate advanced DV methodologies.
- Develop automation scripts (Python preferred) to enhance efficiency of FV flows.
- Analyze challenging formal problems and propose effective verification strategies.
Requirements
- 12+ 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, etc.).
- 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.
Desired Qualifications
- Working knowledge of property-based FV (SVA) is a plus.
#Formal Verification#Hardware Engineering#SOC-DV
Company
Qualcomm
Job Posted
1 month ago
Employment Type
Full Time
WorkMode
On Site
Experience Level
Senior
Locations
Noida, India
Qualification
Bachelor
Applicants
Be an early applicant