Senior Formal Verification Engineer at NVIDIA

Tel Aviv-Yafo, TA, Israel

Apply Now

Not SpecifiedCompensation

Senior (5 to 8 years)Experience Level

Full TimeJob Type

UnknownVisa

Semiconductors, AI, Networking, HPC, Data CenterIndustries

Requirements

BSc in Electrical/Computer Engineering or MSc in Mathematics
5+ years of relevant experience in chip design field (design/verification/formal)
Excellent analytical, logical reasoning and problem-solving skills
Strong debugging and analytical skills
Strong communication and interpersonal skills
Formal verification work experience (preferred)
Knowledge of digital logic (preferred)

Responsibilities

Use formal verification algorithms to formally prove the correctness of complicated logic problems
Work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology
Take part in the AI revolution led by NVIDIA, working on cutting edge architecture

Skills

Formal Verification

Digital Logic

Chip Design

RTL Verification

Debugging

Analytical Skills

Problem-Solving

Formal Tools

Formal Methodologies

NVIDIA

Designs GPUs and AI computing solutions

About NVIDIA

NVIDIA designs and manufactures graphics processing units (GPUs) and system on a chip units (SoCs) for various markets, including gaming, professional visualization, data centers, and automotive. Their products include GPUs tailored for gaming and professional use, as well as platforms for artificial intelligence (AI) and high-performance computing (HPC) that cater to developers, data scientists, and IT administrators. NVIDIA generates revenue through the sale of hardware, software solutions, and cloud-based services, such as NVIDIA CloudXR and NGC, which enhance experiences in AI, machine learning, and computer vision. What sets NVIDIA apart from competitors is its strong focus on research and development, allowing it to maintain a leadership position in a competitive market. The company's goal is to drive innovation and provide advanced solutions that meet the needs of a diverse clientele, including gamers, researchers, and enterprises.

Santa Clara, CaliforniaHeadquarters

1993Year Founded

$19.5MTotal Funding

IPOCompany Stage

Automotive & Transportation, Enterprise Software, AI & Machine Learning, GamingIndustries

10,001+Employees

Benefits

Company Equity

401(k) Company Match

Risks

Increased competition from AI startups like xAI could challenge NVIDIA's market position.

Serve Robotics' expansion may divert resources from NVIDIA's core GPU and AI businesses.

Integration of VinBrain may pose challenges and distract from NVIDIA's primary operations.

Differentiation

NVIDIA leads in AI and HPC solutions with cutting-edge GPU technology.

The company excels in diverse markets, including gaming, data centers, and autonomous vehicles.

NVIDIA's cloud services, like CloudXR, offer scalable solutions for AI and machine learning.

Upsides

Acquisition of VinBrain enhances NVIDIA's AI capabilities in the healthcare sector.

Investment in Nebius Group boosts NVIDIA's AI infrastructure and cloud platform offerings.

Serve Robotics' expansion, backed by NVIDIA, highlights growth in autonomous delivery services.

Land your dream remote job 3x faster with AI

Try Jobo Free