waypointjobs

NVIDIA Corporation

Principal EDA R&D Engineer — AI‑Driven Formal Verification

austin, TX

Check who can apply and the requirements below before continuing.

About this opportunity

NVIDIA Corporation lists this Principal EDA R&D Engineer — AI‑Driven Formal Verification opportunity in austin, Texas. Review the employer’s description below for duties, qualifications and application requirements.

Job description

NVIDIA Corporation is seeking a Principal EDA R&D Engineer to pioneer next-gen hardware formal verification tools. You will lead research, architecture and development of core engines enhanced by Agentic AI frameworks and multi-agent systems to tackle multi-billion-gate builds.

You will translate research into production-grade EDA software, driving features from concept to release in a high-performance C/C++ environment, with a focus on scalability, optimization, and rigorous methods.

#J-18808-Ljbffr

Worksite address

austin, TX, 78716, US

Who can apply

Review the original listing for work authorization, qualifications and employer requirements.

Ready for your next step?Apply on the official website
Apply on WhatJobs ↗

Explore related searches

Current related jobs

Annapurna Labs (u.s.) Inc.

WhatJobs

PD Engineer, Annapurna Labs

cupertino, CA

Salary not specified

As a member of the Cloud-Scale Machine Learning Acceleration team you'll be responsible for the design and optimization of Hardware in our data c…

Last received from source 2026-10-07View job

Amazon.com Services Llc - A57

WhatJobs

Senior Automation Engineer

suffolk, VA

Salary not specified

Operations is at the heart of Amazon's business. We are known for our speed, accuracy, and exceptional service. Our buildings deliver tens of tho…

Last received from source 2026-10-07View job

Annapurna Labs (u.s.) Inc.

WhatJobs

DFT Design Engineer, Machine Learning Acceleration

austin, TX

Salary not specified

Custom SoCs (System on Chip) are at the heart of AWS Machine Learning servers. As a member of the Cloud-Scale Machine Learning Acceleration team,…

Last received from source 2026-10-07View job