Finding the best job has never been easier
Senior Formal Verification Engineer jobs at Mobileye in Israel, Petah Tikva
Discover your perfect match with Expoint. Search for job opportunities as a Senior Formal Verification Engineer in Israel, Petah Tikva and join the network of leading companies in the high tech industry, like Mobileye. Sign up now and find your dream job with Expoint
Company (1)
Job type
Job categories
Job title (1)
Israel
Petah Tikva
28 jobs found
09.05.2025
M
Mobileye Senior Software Engineer - SW Engineering Group Israel, Center District, Petah Tikva
Share
Description:
What your job will look like:
- Designing and developing SW features and infrastructure
- Developing APIs
- Collaborating with team mates and internal customers to define requirements, designs and test plans
- Redesigning legacy code to enable new capabilities as services
- Working in an Agile work environment as part of a scrum team
- Development mostly in Python (Object Oriented), Groovy
- Development Stack: Linux, GitLab, Jenkins, Jira, Python, Groovy
All you need is:
- BA/BSc Computer Science or equivalent
- 8+ years of experience as a backend / full stack developer
- Hi tech industry background
- Strong SW Engineering skills
- Experience in Python, Groovy, Object Oriented Language proficiency (Java, C++, C#)
- Design Patterns Experience
- Experience in development in Linux
- Virtualization and Containerization: Docker, K8S, AWS EC2, ECS, EKS
- Unit Tests – PyTest, JUNIT, SpockRelational (Postgres, MySQL)/NoSQL database (Elasticsearch, Redis)
Nice to have:
- Web Development: Rest, Swagger, FastApi, Flask, Node/Express, JavaScript, React
- Linux Tools for Text Processing, Data Handling, File Operations, Networking, System Monitoring
- Go, Jenkins, Markdown, Artifactory, Vault, Postman, Terraform, CloudFormation, Ansible
- Monitoring Tools: Grafana, ELK, Prometheus
Expand
These jobs might be a good fit
08.05.2025
M
Mobileye Senior Automation Engineer Embedded Environment Israel, Center District, Petah Tikva
Share
Description:
What will your job look like:
Automation Engineer. This multifaceted role requires expertise in DevOps practices, integration technologies, release management, IT and lab support, as well as proficiency in developing automation solutions. The ideal candidate will have a strong technical background coupled with a proactive mindset to drive efficiency and reliability across our systems and processes.
What will your job look like:
- Take full ownership and manage all aspect of the exaction, meeting with stakeholders and making informed decisions
- Design and implement verification and validation environments and tests for Automotive Radar Products.
- Participate in integration, feature/product enabling, and bring-up activities.
- Develop state-of-the-art software tools for the validation environment and features for the ATE.
- Automate provisioning, configuration, and deployment processes to increase efficiency and scalability
- Design, implement, and maintain CI/CD pipelines to automate software delivery processes
- Collaborate with development and validation teams and troubleshoot integration issues
All you need is:
- . in Computer Science or Software/Computers/Electrical Engineering.
- Minimum of 5 years of experience in Python
- Hands-on experience with CI/CD tools like Jenkins, GitLab, Docker, Kubernetes
- Experienced in software regression automation and analysis
- Proficiency in scripting languages such as Bash or PowerShell
- Knowledge of communication protocols and interfaces
- Excellent problem-solving skills and ability to troubleshoot complex technical issues
- Team player with excellent communication skills and ability to collaborate with cross-functional teams
- Ability to work independently and thrive in a challenging environment
- Experience with configuration management tools (e.g., Terraform, Ansible, Puppet) - advantage
- Knowledge in C/C++ programming - advantage
Expand
08.05.2025
M
Mobileye Experienced DFT Engineer Israel, Center District, Petah Tikva
Share
Description:
What will your job look like:
- You'll be responsible for the architecture of DFT solutions across the SOC (MBIST, SCAN, ATPG, LBIST and more)
- Develop all the necessary RTL for the different modules
- Verify and Validate your design in GLS
- Develop ATPG patterns to the highest requirements of Functional Safety (ISO26262).
- Debug and analyze coverage and yield loss
- Support production activities and Si debug.
All you need is:
- BSc or MSc in Electrical and Electronics Engineering.
- Proven Experience in either SCAN or MBIST tools and flows.
- At least 2 years of DFT experience in both SCAN/MBIST.
- At least 5 years of experience in the ASIC/SoC industry.
- Excellent communication skills and team spirit
Expand
07.05.2025
M
Mobileye Senior Software Engineer - HIL Israel, Center District, Petah Tikva
Share
Description:
What will your job look like?
- Design and develop a high-performance HIL system in C++17+ for real-time drive re-simulation.
- Build the core data injector engine to replay recorded vehicle signals with precise timing.
- Solve complex SW-HW integration challenges involving performance, timing, and networking.
- Debug and optimize system performance, identifying and resolving bottlenecks.
- Collaborate with algorithm developers and systems engineers to deliver robust, scalable tools.
- Stay current with advancements in C++, simulation technologies, and real-time systems.
All you need is:
- 4+ years of hands-on experience in modern C++ (C++17+), STL, move semantics, and memory management.
- Strong background in Linux environments (CMake, Conan) and tools like GDB, perf, and Valgrind.
- Experience with high-performance, real-time systems and network-level programming.
- Solid problem-solving skills and a strong end-to-end system understanding.
Bonus points for:
- Experience with embedded systems and Linux kernel or driver development.
- Familiarity with QDMA (Queue Direct Memory Access).
- Background in simulation, robotics, or complex system integration.
Expand
04.05.2025
M
Mobileye Experienced Silicon Validation Engineer Israel, Center District, Petah Tikva
Share
Description:
The position
Mobileye, a world leader in driver assistant systems and autonomous vehicles, is looking for talented silicon validation engineer for the range of its next generation SoCs supporting its radar systems
We are developing fully embedded C++ based validation environment for our needs.
You will be taking part in developing anything from environment and drivers through system modules such as file system, network stack, memory management and more, and up to complex automation tools in both C++ and python.
What will your job look like
- Get a deep understanding of our chip hardware IP blocks, both analog and digital.
- Develop our validation environment.
- Develop, port, or add features to the product drivers using Technical Specs and existing modules.
- Define, develop and execute various complex validation scenarios on the SoC.
- Debug complex SoC problems using embedded GDB, JTAG probes, going down to signal level using scopes.
- Take part in Next Gen SoC's Power-On's and platforms Bring-Up's.
- Collaborate with other SW/Embedded and HW/Electrical Validation teams across the company.
All you need is:
- BScin electrical engineering, computer engineering or computer science.
- 5+ years development experience in embedded C++.
- 3+ years System Validation experience.
- Ability to read complex HW specifications and define a series of tests based on them.
- Experience working in multi-core environments.
- Experience working with real-time OS and bare metal device drivers.
- Developing experience in python - advantage.
- Experience with Embedded systems and driver development - advantage.
- A "Can Do" attitude .
Expand
03.05.2025
M
Mobileye Experienced Logic Design Engineer Israel, Center District, Petah Tikva
Share
Description:
What will your job look like:
- Design ownership on major blocks/clusters from definition to implementation phase.
- Participate in various ASIC activities and flow definition which includes CDC, DFT, Lint.
- Design micro-architecture of custom blocks.
All you need is:
- BSc in Electrical engineering/Computer Engineering.
- Over 5 years of experience in Logic design.
- Experienced in all ASIC flow from definition to implementation.
- Experience in design for power- Advantage.
- Experience in High-speed I/Fs or algorithm blocks - Advantage.
- Knowledge in CDC and low power flow - Advantage
Expand
03.05.2025
M
Mobileye Experienced Application Layer Engineer Israel, Center District, Petah Tikva
Share
Description:
The position
You will join the IMS core embedded development team, which is responsible for designing, building, and developing a Real-Time software application running within the Mobileye unit.
What will your job look like:
- Lead new features end-to-end from high and low-level design for a real-time complex system.
- Participate in design review sessions.
- Develop and integrate your designed modules in C++ and sometimes Python.
- Improve existing modules.
- Work with other team members.
- Work closely with other development, product management, and support teams.
All you need is:
- BSc in Computer Science or Software Engineering
- At least 3-4 years of in-depth experience with C++ development - must
- Experienced with debugging embedded systems
- Experience with cellular modems, RF chips, and GPS receivers – advantage
- Proven working experience with some communication protocols: TCP IP, UDP, GSM, Ethernet Stack, CAN - advantage
- Proven working experience with low-level communication protocols: SPI, UART, I2C - advantage
Expand
Share
Description:
What your job will look like:
- Designing and developing SW features and infrastructure
- Developing APIs
- Collaborating with team mates and internal customers to define requirements, designs and test plans
- Redesigning legacy code to enable new capabilities as services
- Working in an Agile work environment as part of a scrum team
- Development mostly in Python (Object Oriented), Groovy
- Development Stack: Linux, GitLab, Jenkins, Jira, Python, Groovy
All you need is:
- BA/BSc Computer Science or equivalent
- 8+ years of experience as a backend / full stack developer
- Hi tech industry background
- Strong SW Engineering skills
- Experience in Python, Groovy, Object Oriented Language proficiency (Java, C++, C#)
- Design Patterns Experience
- Experience in development in Linux
- Virtualization and Containerization: Docker, K8S, AWS EC2, ECS, EKS
- Unit Tests – PyTest, JUNIT, SpockRelational (Postgres, MySQL)/NoSQL database (Elasticsearch, Redis)
Nice to have:
- Web Development: Rest, Swagger, FastApi, Flask, Node/Express, JavaScript, React
- Linux Tools for Text Processing, Data Handling, File Operations, Networking, System Monitoring
- Go, Jenkins, Markdown, Artifactory, Vault, Postman, Terraform, CloudFormation, Ansible
- Monitoring Tools: Grafana, ELK, Prometheus
Expand
These jobs might be a good fit
Find your dream job in the high tech industry with Expoint. With our platform you can easily search for Senior Formal Verification Engineer opportunities at Mobileye in Israel, Petah Tikva. Whether you're seeking a new challenge or looking to work with a specific organization in a specific role, Expoint makes it easy to find your perfect job match. Connect with top companies in your desired area and advance your career in the high tech field. Sign up today and take the next step in your career journey with Expoint.