Formal Verification CAD Engineer

About the role

We are seeking a highly motivated Formal Verification Engineer with 2+ 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.

What you'll do

• 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

What you need

• 2–5 yrs of experience
• B.Sc or B.Tech or B.E. or BCA

Good to have

• Python