Experienced Formal Verification Engineer (Automotive)

Location: Haifa, Israel; hybrid workplace

Company

hirify.global develops technologies for preventing accidents and enabling semi-autonomous and fully autonomous vehicles.

What you will do

• Own the formal verification environment from its first draft through sign-off.
• Apply formal methods to verify complex digital systems and hardware for autonomous-driving platforms.
• Work with hardware architects and designers to define assumptions, rules, and cover properties.
• Help establish the team's formal verification methodology and environment.
• Explore new formal methods and tools, including Cadence JasperGold, Verisium Manager, Xcelium, and Indago.
• Analyze verification results, identify bugs, resolve design issues with engineers, and develop reusable formal blocks and functions.

Requirements

• 5+ years of experience in formal verification.
• BSc in electrical engineering, computer engineering, or computer science.
• Experience coding in SystemVerilog hardware description language.
• Experience with scripting languages such as Python and Tcl.
• Strong analytical and problem-solving skills.
• Ability to work independently and in a team-oriented environment.

Culture & Benefits

• Full-time position within the R&D Hardware department.
• Work alongside engineers developing next-generation silicon for autonomous-driving platforms.
• Opportunity to work in a technically challenging hardware verification discipline.