Formal Verification Engineer
A Formal Verification Engineer role focused on applying formal methods to verify complex hardware and AI systems. The position is based in Gurugram, Haryana, India.
About the role
This role is an opportunity for a skilled verification professional to work on formal verification of advanced hardware and AI-related designs. The engineer will be responsible for applying formal methods and tools to ensure the correctness and reliability of complex digital systems.
The ideal candidate will bring strong expertise in formal verification techniques, including property checking, model checking, and equivalence verification. Experience with industry-standard formal verification tools and hardware description languages is expected.
- Domain: Formal verification of hardware and AI systems
- Key Skills: Formal methods, property checking, model checking, equivalence verification
- Location: Gurugram, Haryana, India
Candidates with a background in digital design verification and a solid understanding of formal analysis flows are encouraged to apply. This is a technical, individual-contributor-oriented position requiring both depth of knowledge and the ability to collaborate across engineering teams.