Experienced Formal Verification Engineer

About the role

Mobileye’s Automated Driving Hardware group in Haifa is seeking an Experienced Formal Verification Engineer to lead the development of formal verification environments for next‑generation autonomous‑driving silicon. You will apply advanced formal methods to ensure hardware correctness and uncover bugs that traditional testing cannot detect.

Key responsibilities

• Own the formal verification flow from initial design through sign‑off.
• Apply formal methods to verify complex digital systems and define assumptions, rules, and coverage properties with hardware architects.
• Help shape the team’s formal verification methodology and environment.
• Explore and evaluate new formal verification tools and techniques.
• Use Cadence JasperGold, Verisium Manager, Xcelium, Indago, and related tools.
• Analyze verification results, identify bugs, and collaborate with designers to resolve issues.
• Develop reusable formal blocks and functions for common logic.

Required profile

• BSc in Electrical Engineering, Computer Engineering or Computer Science.
• 5+ years of experience in formal verification of digital hardware.
• Strong analytical and problem‑solving abilities.
• Ability to work both independently and within a team.

Required skills

• SystemVerilog.
• Python and/or Tcl scripting.
• Formal verification tools such as Cadence JasperGold, Verisium Manager, Xcelium, Indago.