# Formal Verification Engineer

**Company**: NVIDIA
**Experience**: senior
**Job type**: full-time
**Category**: Engineering
**Industry**: Technology

**Apply**: https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/Israel-Tel-Aviv/Senior-Formal-Verification-Engineer_JR1990713?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_dea5f8c4-39a

## Description

We are looking for a Formal Verification Engineer for our NVIDIA Networking team!

This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking Switch and GPU technologies. We deploy state-of-the-art formal verification tools and methodologies to prove design correctness. Working in our formal verification team will expose you to a wide range of cutting-edge design and technologies that are at the heart of the AI revolution. Our team delivers world-class chip solutions for HPC, AI infrastructures, data-center, network, and storage markets. We micro-architect, verify, and deliver smart and high-bandwidth multi-port switches. NVIDIA has the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tapeouts. As part of this team, you'll enjoy a versatile work environment, which is educational, dynamic, and ambitious.

**Responsibilities**

- In this position, you will use formal verification algorithms to formally prove the correctness of complicated logic problems.

- You will work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology.

- You will take part in the AI revolution led by NVIDIA, working on cutting-edge architecture.

**Requirements**

- BSc in Electrical/Computer Engineering or MSc in Mathematics

- 5+ years of relevant experience in the chip design field (design/verification/formal)

- Excellent analytical, logical reasoning, and problem-solving skills

- Strong debugging and analytical skills

- Strong communication and interpersonal skills are required

**Preferred Qualifications**

- Formal verification work experience

- Knowledge of digital logic

NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you a creative and autonomous engineer who loves a challenge? Come join our team and help us build the future HPC and data centers. NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer.

## Skills

### Required
- formal verification
- chip design
- electrical engineering
- computer engineering
- mathematics
- analytical skills
- problem-solving skills
- communication skills

### Nice to have
- formal verification work experience
- digital logic

---

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