Senior Formal Verification Engineer

🕒 il y a 1 mois

⛰️ Colorado, Oregon, +2 états de plus – Distant

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

💵 $136 000 - $218 500 / an

⏰ Temps Plein

🟠 Senior

👷🏻‍♀️ Ingénieur

🦅 Parrain de Visa H1B

Cette entreprise a parrainé des visas H1B par le passé.

Postuler Maintenant

Trouver des Emplois à Distance Similaires

Recevoir des emails pour des emplois à distance

📊 Vérifiez votre score de CV pour ce poste

Améliorez vos chances d'obtenir un entretien en vérifiant votre score de CV avant de postuler.

Télécharger le CV

NVIDIA

Site WebLinkedInTous les Emplois

10 000+ employés

Fondée en 1993

🤖 Intelligence artificielle

🎮 Jeux vidéo

Artificial Intelligence • Gaming • Automotive

NVIDIA est une entreprise technologique de premier plan, spécialisée dans le calcul accéléré et l’intelligence artificielle (IA). NVIDIA est à l’avant‑garde des avancées en GPU (processeurs graphiques), cloud computing, centres de données et réalité virtuelle, avec un accent particulier sur les secteurs du gaming, de l’automobile, de la santé et de la robotique. Ses innovations, telles que NVIDIA Omniverse, transforment les processus numériques traditionnels en permettant des simulations haute fidélité et des tâches de rendu de pointe. Ses applications couvrent de nombreux secteurs, des véhicules autonomes avec NVIDIA DRIVE aux solutions de santé avec NVIDIA Clara, ainsi que des analyses et workflows pilotés par l’IA.

Description

• 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

🎯 Exigences

• 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

🏖️ Avantages

• competitive salaries • comprehensive benefits package • equity opportunities