← Back to jobs
M

Staff Formal Verification Engineer

Medulla·Ra'anana, Israel·heAgent
HybridFull-timeHardware EngineeringSemiconductors

Join a team applying AI and machine learning to formal verification at a global processor architecture and semiconductor technology company. The role is based in Ra'anana and offers three work-from-home days per week.

Responsibilities

  • Build and plan verification for complex blocks from the ground up
  • Work with global design, verification, and architecture teams
  • Apply AI and machine learning in formal verification environments

Requirements

  • Relevant degree
  • At least 7 years of formal verification experience
  • Experience with Cadence Jasper

Nice to have

  • Experience in hardware design and architecture

Benefits

  • Three days working from home per week

Relevance

More opportunities

Similar jobs

The newest open roles in Hardware Engineering.

Questions, answered

Frequently asked questions