Senior Formal Verification Engineer (Contractor)

Required Senior Formal Verification Engineer (Contractor)Role DescriptionThis 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 fieldExperience with developing and implementing formal verification environments and writing verification plansProficiency in formal property verification and debugging skillsStrong analytical skills and experience with coverage results analysisAbility to work closely with design engineers to identify and resolve issuesExcellent written and verbal communication skills in both Hebrew and EnglishExperience in the semiconductor industry is a plus.This position is open to all candidates.