# Formal Verification Engineer

**Company**: NVIDIA
**Location**: Tel Aviv
**Work arrangement**: onsite
**Experience**: mid
**Job type**: full-time
**Category**: Engineering
**Industry**: Technology

**Apply**: https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/Israel-Tel-Aviv/Formal-Verification-Engineer_JR2016973?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_e37601b0-03f

## Description

We are looking for a Formal Verification Engineer to join our NVIDIA Networking team. This is an exciting opportunity to work on groundbreaking Switch technologies, deploying state-of-the-art formal verification tools and methodologies to prove design correctness. As part of our Pre-Silicon design and verification team, you will work on ambitious designs, develop new formal verification methodologies and tactics, and take part in developing the next generation of NVIDIA's core technology.

In this position, you will use formal verification algorithms to formally prove the correctness of complicated logic problems. You will work closely with our Pre-Silicon team and contribute to the development of high-bandwidth multi-port switches for HPC, data-center, network, and storage markets.

To succeed in this role, you will need a strong background in electrical/computer engineering or mathematics, excellent analytical and logical reasoning skills, and experience with formal verification tools and methodologies. If you are a creative and autonomous engineer who loves a challenge, come join our team and help us build the future of HPC and data centers.

## Skills

### Required
- formal verification
- digital logic
- electrical/computer engineering
- mathematics
- analytical reasoning

---

Source: [Apply at nvidia.wd5.myworkdayjobs.com](https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/Israel-Tel-Aviv/Formal-Verification-Engineer_JR2016973?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply)