Formal Verification Sr Staff Engineer - Noida
Teknik, data och digitalt · Mjukvaru- och webbutveckling · Mjukvaruutveckling
I korthet
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.
Ansvarsområden
- 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.
Krav
- 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.
Önskade kvalifikationer
- Working knowledge of property-based FV (SVA) is a plus.
#Formal Verification#Hardware Engineering#SOC-DV
Företag
Qualcomm
Publicerade jobb
för 1 månad sedan
Anställningstyp
Heltid
Arbetsform
På plats
Erfarenhetsnivå
Senior
Platser
Noida, India
Kvalifikation
Kandidatexamen
Sökande
Ansök tidigt