Senior Formal Verification Engineer — AI ASICs, Mentorship

NVIDIA Corporation

Florida

Presencial

USD 196.000 - 311.000

Jornada completa

Hace 2 días

Sé de los primeros/as/es en solicitar esta vacante

Una candidatura completa en un minuto

Currículum y carta de presentación personalizados, listos para enviar.

Supera los filtros ATS

Descripción de la vacante

NVIDIA Corporation in Florida is seeking a Senior Formal Verification Engineer to verify ASIC designs using formal methods. You will define verification scope, develop advanced verification environments, and collaborate with architecture and RTL teams to ensure design correctness.

We expect 12+ years in ASIC verification with 8+ years in formal methods, mastery of SVA, and proficiency with tools like JasperGold and VC Formal.

Formación

BS/MS/PhD or equivalent in CS/CE/EE.
12+ years in ASIC verification with 8+ years focused on formal verification.
Mastery of SystemVerilog Assertions (SVA) and formal property verification.
Proficient with at least one formal verification tool (JasperGold, VC Formal, etc.).
Scripting skills for flow automation (Tcl, Python, etc.).
Strong written and oral communication skills.
Keen attention to details.

Responsabilidades

Verify ASIC designs and features using formal verification.
Collaborate with architecture/RTL teams to specify properties and resolve design issues.
Develop advanced formal verification environments for complex ASICs.
Lead formal verification methodology and scalable automated flows.
Mentor junior engineers in formal techniques.
Support silicon bring-up and debugging with formal methods.