we are looking for a Senior Formal Verification Engineer (Contractor).
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.
Requirements: Bachelors or Masters 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
This position is open to all candidates.