# Senior Software Engineer

**Company**: NVIDIA
**Location**: Tel Aviv
**Work arrangement**: onsite
**Experience**: senior
**Job type**: full-time
**Salary**: Competitive salary and benefits package
**Category**: Engineering
**Industry**: Technology

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

## Description

We are looking for a senior software engineer to join our NVIDIA software Formal Verification team dealing with cutting-edge Formal Verification technology for both software and hardware. You will use C/C++ and other tools and technologies to build software-based proofs for complex logical behaviors, help develop our Software Formal Verification methodologies and tools, and work on ambitious designs along with our Firmware and Software teams.

As a senior software engineer, you will have a BSc in Computer Engineering/Computer Science/Mathematics or equivalent, 5+ years of experience in software development, excellent analytical, logical reasoning, and problem-solving skills, strong communication and interpersonal skills, and fluency in English.

You will also have hands-on experience applying AI in a professional environment, background in architecture simulators, experience in firmware/embedded systems, and experience in Formal Verification for software.

If you are a creative engineer who loves challenges, come join our team and help us build the future of HPC, data centers, and GPUs.

## Skills

### Required
- C/C++
- Formal Verification
- AI
- SOFTWARE DEVELOPMENT
- ARCHITECTURE SIMULATORS
- FIRMWARE/EMBEDDED SYSTEMS

### Nice to have
- Machine Learning
- Cloud Computing
- DevOps

---

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