🕒 yesterday
Design, build, and own cloud-based wealth management applications using C#,.NET, Azure, and modern front-end technologies, while shaping technical direction, improving engineering quality, and mentoring fellow engineers.
Experienced Formal Verification Engineer
📅 Mar 25, 2024
Formal VerificationDigital DesignComputer ArchitectureSystem-verilog
📜 Description
- 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.
- Analyze verification results, identify bugs, and collaborate with engineers to resolve design issues.
🛠️ Requirements
- BSc in electrical engineering, computer engineering, or computer science.
- 5+ years of experience in Formal Verification.
- Experience coding in 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.
Full job description
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:
All you need is:
Similar jobs
Search more Software Engineer jobs
🕒 yesterday
Own and launch scheduling and visit-experience projects across member apps, provider tools, and backend services, scaling reliable care workflows and structured visit records across specialties.
🕒 2 days ago
Design and deliver scalable, production-quality cloud-based software, including JVM microservices and data systems, while shaping development practices and mentoring junior engineers.
🕒 2 days ago
Build and operate scalable, cloud-based banking software, owning JVM microservices from design through delivery while improving system availability, code quality, and development practices and mentoring junior engineers.
🕒 2 days ago
Design and maintain automation, analysis tools, and data-quality frameworks that support threat hunting and detection at scale, while partnering with domain experts to improve workflows and software security insights.