We are looking for a Principal Formal Verification Engineer to join our NVIDIA Networking team in Israel, Tel Aviv and Israel, Yokneam. This is a senior technical leadership role requiring deep hands-on experience and a strong execution mindset.
Requirements
- BSc or MSc in Electrical/Computer Engineering, Computer Science, or Mathematics
- 15+ years of hands-on experience in Formal Verification within the semiconductor industry
- Proven track record of formal verification execution
- Deep understanding of formal concepts, abstraction techniques, property development, and convergence strategies
- Strong analytical, debugging, and problem-solving skills
- Excellent communication and collaboration skills
Benefits
- Opportunity to work at the cutting edge of formal verification
- Influence architecture and collaborate across functions to drive best-in-class silicon quality
- Technical leadership and mentoring opportunities
- Chance to evaluate and deploy state-of-the-art formal tools, flows, and methodologies
