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.