Finding the best job has never been easier
Google Formal Verification Engineer Platform IP India, Karnataka, Bengaluru 812583012
09.06.2025
Share
Minimum qualifications:
Preferred qualifications:
- Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
- 3 years of experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification).
- Experience with programming languages (e.g., Python/Perl and TCL).
Preferred qualifications:
- Master's degree or PhD in Electrical Engineering, Computer Science, or a related field.
- Experience with regression setup and management.
- Experience with formal sign-offs of industry Application-specific integrated circuit (ASIC) designs.
- Knowledge of formal verification applications such as sequential equivalence checking, and connectivity checking and data-path verification.
- Knowledge of formal methodology and formal abstraction techniques.
These jobs might be a good fit
