Verification Engineer jobs in Haifa

Mobileye SOC verification group owns the important and challenging job of verifying Mobileye's chip. It is involved from product specification to final SOC delivery, and involves all the system components. The group is made up of few of the best verification engineers, so besides contributing to making our roads safer, you’ll get the chance to work at one of the most professional verification teams. What will your job look like: • You'll be responsible for Pre-Silicon system-level verification of the most cutting-edge AI accelerators and technologies in the automotive field. • Define the TestPlan, develop and run tests on simulation/emulation environments, develop test environment and verification collaterals. • You'll have a broad effect on our unique product from the very beginning of the process. All you need is: • BSc in electrical engineering, computer engineering or computer science. • 7+ years of experience working in verification environment, tests, and test bench development (C/C++/SV). • TestPlan defining and Coverage-Driven Verification experience. • Fullchip/SOC verification experience, strong system understanding. • Good debug capabilities using the latest EDA tools. • Knowledge in Industry Standard protocols such as AXI/ACEL/OCP/CHI. Nice to have: • SW embedded experience, C/C++ skills. • Strong skills in scripting Perl/Python. • System Verilog writing skills, preferably in OVM/UVM. • 3rd-party IPs integration testing experience. Mobileye changes the way we drive, from preventing accidents to semi and fully autonomous vehicles. If you are an excellent, bright, hands-on person with a passion to make a difference come to lead the revolution!

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. This is a unique opportunity to enter one of the most challenging and rewarding disciplines in hardware development. Formal Verification combines deep understanding of computer architecture, digital design, and advanced verification methodologies to prove hardware correctness and uncover bugs that traditional testing may never find. 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. Mobileye changes the way we drive, from preventing accidents to semi and fully autonomous vehicles. If you are an excellent, bright, hands-on person with a passion to make a difference come to lead the revolution!