Back
Tier-1 brand and metro location but highly specialized senior FV skillset limits applicant pool.
Highly domain-specific formal verification expertise makes cross-industry transfers difficult.
Explicit 12+ years plus mandatory formal tooling and scripting skills create strict shortlisting filters.
Login to See Your Match Score
Create a free account or log in to unlock your CV match score across:
Lead formal verification efforts for complex design blocks (IPs/Subsystem/SoC) to achieve exhaustive and high-confidence sign-off.
Collaborate globally with architecture, design, and systems teams to drive verification planning, proof closure, coverage analysis, and verification completeness.
Mentor and lead a formal verification team, develop automation scripts (Python preferred), and engage with EDA vendors to improve verification methodologies.
12+ years of formal verification or related work experience.
Bachelor's/Master's/PhD in Computer Science, Electrical/Electronics Engineering or related field.
Proficiency with formal verification tools such as Jasper, VC Formal, etc.
Strong scripting skills, preferably Python.
Experienced leader with proven ability to manage and grow formal verification teams.
Deep expertise in formal verification concepts, proof strategies, and automation techniques.
Capable of collaborating across global teams and driving innovative solutions for verification closure.