Formal Verification Engineer

Nvidia Corporation

Israel
**
Formal verification tools and methods
Mathematically prove correctness
Develop software formal verification methodologies
** Nvidia Corporation is seeking a Formal Verification Engineer to join its Software Formal Verification team in Israel. The role involves using formal verification tools to ensure the correctness of software and hardware, contributing to the development of next-generation technologies. **

Job Summary

  • This is an exciting opportunity to join a unique team dealing with cutting-edge Formal Verification technology for both software and hardware.
  • You will be joining a growing team, using both in-house and third-party technologies that keep developing, and assist in defining new methodologies.
  • As part of this team, you'll enjoy a versatile work environment that is educational, dynamic, and ambitious.

Matching Summary

Match Score: 75

** Nvidia Corporation is seeking a Formal Verification Engineer to join its Software Formal Verification team in Israel. The role involves using formal verification tools to ensure the correctness of software and hardware, contributing to the development of next-generation technologies. **

Skills & Requirements

Must-have

  • Formal verification tools and methods
  • Mathematically prove correctness
  • Develop software formal verification methodologies
  • Work on ambitious designs
  • Next generation core technology

Nice-to-have

  • Architecture simulators background
  • Firmware/embedded systems experience
  • Formal verification in software
  • AI application in professional environment

Key Requirements

  • BSc in Computer Engineering/Computer Science/Mathematics or equivalent
  • 4+ years of experience in Software
  • Excellent analytical, logical reasoning, and problem-solving skills
  • Strong communication and interpersonal skills
  • Fluent in English

Work Rights

Not specified

Tailored Resume

Cover Letter