Mobileye

Senior Formal Verification Engineer

Mobileye

full-time

Posted on:

Location Type: Hybrid

Location: Haifa • Israel

Visit company website

Explore more

✨ AI Apply
Apply

Job Level

Senior

Tech Stack

Python

About the role

  • Be the owner of formal verification environment from first draft to sign-off stage
  • Apply formal methods to verify the correctness of various complex digital systems
  • Work with HW architects\designers to define assumptions, rules and cover properties
  • Help define the formal verification methodology and environment to be applied by the team
  • Explore new Formal methods and Tools
  • Work with tools like Cadence JasperGold, Verisium manager, Xcelium, Indago
  • Analyze verification results, identify bugs, and collaborate with engineers to resolve design issues
  • Develop generic formal blocks\functions of commonly used logic, to be later used off the shelf

Requirements

  • BSc in electrical engineering, computer engineering, or computer science
  • Passion for the field of Formal Verification
  • 5+ years of experience in Formal Verification
  • Experience coding system-verilog hardware description language
  • Experience with scripting languages (e.g. python, tcl )
  • Strong analytical and problem solving skills
  • Ability to work independently and in a team-oriented environment
Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools
formal verificationsystem-verilogscripting languagespythontclverification methodologydigital systemsformal methodsbug analysisgeneric formal blocks
Soft Skills
analytical skillsproblem solvingindependenceteamworkcollaborationcommunication
Certifications
BSc in electrical engineeringBSc in computer engineeringBSc in computer science