Formal Verification Engineer
A Formal Verification Engineer role focused on applying formal methods to verify complex hardware or AI-related designs. This position is based in Gurugram, Haryana, India.
About the role
This is an opportunity for a skilled Formal Verification Engineer to join a leading technology organisation working on cutting-edge AI and hardware development. The role is based in Gurugram, Haryana, India, and involves applying formal verification techniques to ensure the correctness and reliability of complex designs.
The successful candidate will be expected to work with formal property verification tools and methodologies to identify and resolve design issues early in the development cycle. Strong analytical thinking and a deep understanding of hardware verification principles are essential for this position.
Key areas of focus may include:
- Developing and executing formal verification plans for hardware or AI-related components
- Writing and reviewing formal properties, assertions, and constraints
- Collaborating with design and validation teams to improve verification coverage
- Identifying potential design flaws through formal analysis techniques
Candidates with a background in formal methods, hardware design verification, or related disciplines are encouraged to apply. This role offers the chance to contribute to high-impact projects at the forefront of AI and semiconductor technology.