Formal Verification Engineer

Location: On-site in Israel, primarily Haifa, with additional locations in Jerusalem and Petah-Tikva. Shift 1 (Israel).

Company

hirify.global's Networking team develops Ethernet products and network technologies for datacenter ecosystems and connected computing devices.

What you will do

• Verify microarchitectures and design IPs using formal verification, model checking, and equivalence checking techniques.
• Define verification scope and strategies from hardware architecture and RTL implementation details.
• Create abstraction models, establish design boundaries, and drive convergence on complex designs.
• Develop comprehensive formal verification test plans and track verification progress.
• Analyze new methodologies and evaluate tools, corroborating formal verification results.
• Collaborate with vendors to resolve challenging design and tool issues.

Requirements

• 3+ years of experience in formal verification.
• Experience with Jasper, SVA, and Jasper Apps, including connectivity and coverage.
• Experience with Perl or Python.
• Ability to work on-site in Israel.

Nice to have

• Experience with GHCP and AI tools.

Culture & Benefits

• Full-time employment as an experienced hire.
• Work within a team of problem solvers, experimenters, and innovators focused on networking technology.
• Opportunity to contribute to Ethernet products supporting datacenter and connected-device ecosystems.