Formal Verification Engineer
A Formal Verification Engineer role focused on applying formal methods to verify complex hardware or AI-related designs. The position is based in Gurugram, Haryana, India.
About the role
This is an opportunity for a skilled Formal Verification Engineer to join a team working on cutting-edge AI and hardware development. The role involves applying formal verification techniques to ensure the correctness and reliability of complex designs.
The ideal candidate will bring strong expertise in formal methods, property specification, and model checking, along with a solid understanding of hardware design and verification flows.
- Role: Formal Verification Engineer
- Domain: AI hardware and chip design verification
- Location: Gurugram, Haryana, India
Candidates with a background in formal verification tools, assertion-based verification, and experience working on large-scale SoC or GPU architectures are encouraged to apply.