Formal Verification Engineer

Invidia

Israel
Hybrid
Formal verification algorithms
Pre-silicon design and verification
Debugging and analytical skills
This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking NIC technologies

Job Summary

  • This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking NIC technologies.
  • You will use formal verification algorithms to formally prove the correctness of complicated logic problems and develop next generation NVIDIA core technology.
  • Working in our formal verification team will expose you to a wide range of cutting edge design and technologies in a versatile, educational, dynamic and ambitious environment.

Matching Summary

This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking NIC technologies.

Skills & Requirements

Must-have

  • Formal verification algorithms
  • Pre-Silicon design and verification
  • Debugging and analytical skills
  • Communication protocols expertise
  • Hardware implementation knowledge

Nice-to-have

  • Creative and autonomous engineer
  • Experience with digital logic
  • Dynamic and ambitious work environment

Key Requirements

  • BSc in Electrical/Computer Engineering or MSc in Mathematics or equivalent
  • 1-3 years of relevant experience
  • Strong communication and interpersonal skills

Work Rights

Not specified

Tailored Resume

Cover Letter