Staff Formal Verification Engineer
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