Expoint - all jobs in one place

המקום בו המומחים והחברות הטובות ביותר נפגשים

Limitless High-tech career opportunities - Expoint

Mobileye Formal Verification Engineer 
Israel, Center District, Petah Tikva 
413639327

23.03.2025
What will your job look like:
  • You will verify unique and complex design blocks.
  • Help determine the Formal strategy and methodology for the team.
  • Explore new Formal methods and tools.
All you need is:
  • 3+ years of experience in Formal Verification.
  • Strong debug skills.
  • In-depth knowledge of how Formal works.
  • Experience in System Verilog - Advantage.
  • Knowledge in Industry Standard protocols such as AXI/OCP/APB - Advantage.
  • Experience with multiple clock domains during cover block by Formal.
  • Knowledge of the following programming languages: Perl/Bash/Tcl/Python.
  • Experience with Hardware Verification concepts and tools (UVM).