# 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_JR2016971?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_5bd6fe31-dc6

## 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 using state-of-the-art formal verification tools and methodologies to prove design correctness. As part of this team, you'll enjoy a versatile work environment that 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 also work on developing new formal verification methodologies and tactics.

**Requirements:**

- BSc in Electrical/Computer Engineering or MSc in Mathematics.

- 1+ years of experience

- 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.

## Skills

### Required
- formal verification
- digital logic
- algorithm development
- problem-solving
- communication

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

---

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