AI-Driven EDA R&D Architect for Formal Verification

Feikert Sanitär-Heizung-Lüftung; Santa Clara (CA); In loco; USD 180.000 - 240.000; Tempo pieno

Descrizione del lavoro

NVIDIA Corporation in Santa Clara is seeking a Principal EDA R&D Engineer to lead the research, architecture, and development of next generation hardware formal verification tools. You will drive core engines and coordinate solver strategies with AI-assisted techniques.

This role requires deep algorithmic expertise, strong software engineering discipline, and a track record of production-grade EDA tooling. Equity and a comprehensive benefits package are offered, with a disclosed base salary in

Descrizione del lavoro

NVIDIA Corporation seeks a Principal EDA R&D Engineer to pioneer next-gen hardware formal verification tools. Lead research, architecture, and development of core engines enhanced by AI frameworks to automatically break down large builds and coordinate solver strategies.

Expect deep algorithmic expertise, rigorous software engineering, and a track record of production-grade EDA tools. Equity and benefits are offered, with a base salary range disclosed in the posting.