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

## Description

We are looking for a Formal Verification Engineer to join our Pre-Silicon design and verification team. This is an exciting opportunity to work on groundbreaking Switch technologies using state-of-the-art formal verification tools and methodologies. Our team delivers world-class Bridge and router solutions for HPC, data-center, network, and storage markets.

As a Formal Verification Engineer, 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.

To succeed in this role, you will need a 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, and strong communication and interpersonal skills.

If you have formal verification work experience, knowledge of digital logic, and a creative and autonomous approach to engineering, we encourage you to apply.

## Skills

### Required
- formal verification
- digital logic
- mathematics
- problem-solving
- debugging

---

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