Role Description
This is a full-time on-site role for a Formal Verification Engineer in Petah Tikva, Israel.
The Formal Verification Engineer will be responsible for developing and implementing formal verification environments, writing and applying verification plans, and conducting formal property verification. Additional tasks include analyzing coverage results, debugging, working with design engineers to resolve issues, and reporting outcomes to ensure the accuracy and efficiency of the designs.
Qualifications
- Bachelor’s or Master’s degree in Electrical Engineering, Computer Engineering, or a related field
- Experience with developing and implementing formal verification environments and writing verification plans
- Proficiency in formal property verification and debugging skills
- Strong analytical skills and experience with coverage results analysis
- Ability to work closely with design engineers to identify and resolve issues
- Excellent written and verbal communication skills in both Hebrew and English
- Experience in the semiconductor industry is a plus