Formal Verification Engineer

TL;DR

Formal Verification Engineer: Utilizing industry-standard formal verification tools and technologies to verify the micro-architecture of complex IPs with an accent on defining scope, developing strategies, and applying advanced formal techniques. Focus on establishing verification boundaries, creating comprehensive test plans, and evaluating new methodologies.

Location: Hybrid in Israel (Haifa or Petah-Tikva)

Company

hirify.global Data Center Cloud Networking (NCNG) team delivers best-in-class Ethernet products, focusing on powering cloud and smart, connected computing-devices.

What you will do

• Utilize industry-standard Formal Verification tools and technologies for IP micro-architecture verification.
• Define the scope of Formal Verification for assigned projects.
• Develop and implement effective strategies to ensure design correctness using advanced formal techniques.
• Establish verification boundaries, develop comprehensive Formal Verification test plans, and monitor execution.
• Assess new methodologies, evaluate emerging tools, and substantiate verification results.

Requirements

• Bachelor’s in Electrical/Computer Engineering or Computer Science.
• Familiarity with Jasper, SVA, Jasper Apps (connectivity, coverage).
• HW design/verification background.
• Work in a hybrid model from hirify.global sites in Israel (Haifa or Petah-Tikva).

Nice to have

• Familiarity with GHCP and AI tools.

Culture & Benefits

• Opportunity to work with a team dedicated to designing transformative datacenter ecosystems.
• Part of hirify.global's Data Center Group, committed to delivering exceptional products and delighting customers.
• Hybrid work model allowing flexibility between on-site and off-site work.