The Mobileye Automated Driving Hardware group in Haifa is looking for an Experienced Formal Verification Engineer to join a team of talented engineers developing next-generation silicon for autonomous driving platforms.
What will your job look like:
- 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
All you need is:
- 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
Skills Required
- BSc in electrical engineering, computer engineering, or computer science
- 5+ years of experience in Formal Verification
- Experience coding SystemVerilog hardware description language
- Experience with scripting languages (Python, Tcl)
- Experience with formal verification tools (Cadence JasperGold, Verisium Manager, Xcelium, Indago)
- Strong analytical and problem solving skills
- Ability to work independently and in a team-oriented environment
- Passion for the field of Formal Verification
What We Do
Mobileye is leading the mobility revolution with its autonomous-driving and driver-assistance technologies, harnessing world-renowned expertise in computer vision, machine learning, mapping, and data analysis. Founded in 1999, Mobileye has pioneered such groundbreaking technologies as REM™ crowdsourced mapping, True Redundancy™ sensing, and the RSS™ safety model. These technologies are driving the ADAS and AV fields towards the future of mobility – enabling self-driving vehicles and mobility solutions, powering industry-leading advanced driver-assistance systems and delivering valuable intelligence to optimize mobility infrastructure. Mobileye technology is used in over 170 million vehicles worldwide. In 2022, Mobileye became an independent company while still being majority-owned by Intel. Mobileye’s headquarters and R&D center are based in Jerusalem, with additional offices across Israel and around the world.
Why Work With Us
Our technology enables self-driving vehicles and mobility solutions, powers industry-leading advanced driver assistance systems, and delivers valuable intelligence to optimize mobility infrastructure.
Gallery
