Senior Formal Verification Engineer

🕒 vor 3 Monaten

⛰️ Colorado, Oregon, +2 weitere Bundesländer – Remote

⛰️ Colorado – Remote 🌲 Oregon – Remote 🤠 Texas – Remote ☕ Washington – Remote

💵 $136.000 - $218.500 / Jahr

⏰ Vollzeit

🟠 Senior

👷🏻‍♀️ Ingenieur

🦅 H1B-Visum-Sponsor

Dieses Unternehmen hat in der Vergangenheit H1B-Visa gesponsert.

Jetzt Bewerben

Ähnliche Remote-Jobs finden

E-Mail-Benachrichtigung für neue Jobs einrichten

📊 Überprüfen Sie Ihre Lebenslauf-Bewertung für diese Stelle

Verbessern Sie Ihre Chancen auf ein Vorstellungsgespräch, indem Sie Ihre Lebenslauf-Bewertung vor der Bewerbung überprüfen.

Lebenslauf hochladen

NVIDIA

WebsiteLinkedInAlle Stellen

10.000+ Mitarbeiter

Gegründet 1993

🏥 Gesundheitswesen

🏭 Fertigung

🤖 Künstliche Intelligenz

Healthcare • Manufacturing • Artificial Intelligence

NVIDIA ist ein führendes Technologieunternehmen mit Spezialisierung auf beschleunigtes Computing und Künstliche Intelligenz (AI). NVIDIA treibt Fortschritte bei Grafikprozessoren (GPUs), Cloud Computing, Rechenzentren und Virtual Reality voran und fokussiert dabei Branchen wie Gaming, Automotive, Gesundheitswesen und Robotik. Innovationen des Unternehmens wie NVIDIA Omniverse transformieren traditionelle digitale Prozesse, indem sie hochrealistische Simulationen und Rendering-Aufgaben ermöglichen. Die Anwendungen erstrecken sich über zahlreiche Branchen – von autonomen Fahrzeugen mit NVIDIA DRIVE über Gesundheitslösungen mit NVIDIA Clara bis hin zu AI-gestützten Analysen und Workflows.

Beschreibung

• Verifying AI-related sophisticated ASIC builds & features using advanced formal verification methods • Collaborating closely with architecture and RTL teams to specify properties and resolve complex issues • Applying formal verification to rigorously ensure critical build properties align with specifications • Articulating formal verification coverage to partners • Developing advanced formal verification environments and methodologies for complex ASIC designs • Supporting silicon bring-up and debug using formal methods where applicable

🎯 Anforderungen

• BS/MS/PhD or equivalent experience in CS/CE/EE • 5+ years in ASIC verification with 3+ years passionate about formal verification methods • Proficiency in SystemVerilog Assertions (SVA) and formal property verification • Experience with at least one popular formal verification tool in the industry (JasperGold, VC Formal, etc.) • Excellent skills in applying AI tools in daily engineering work to efficiently solve problems • Strong written and oral communication skills • Keen attention to detail

🏖️ Vorteile

• competitive salaries • comprehensive benefits package • equity opportunities