Formal Verification Engineer, Staff

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 signoff quality.

Bachelor's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 4+ years of Hardware Engineering or related work experience.

OR Master's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 3+ years of Hardware Engineering or related work experience.

OR PhD in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 2+ years of Hardware Engineering or related work experience.

• 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.