Auf einen Blick
- Aufgaben: Verifiziere AI-ASICs mit fortschrittlichen Methoden und arbeite eng mit Designteams zusammen.
- Unternehmen: NVIDIA, ein führendes Unternehmen in der Technologiebranche mit hervorragendem Ruf.
- Vorteile: Attraktives Gehalt, umfassende Sozialleistungen und Aktienoptionen.
- Weitere Informationen: Mentoring-Möglichkeiten und Karrierewachstum in einem dynamischen Umfeld.
- Warum dieser Job: Gestalte die Zukunft der Technologie und arbeite an innovativen Projekten.
- Qualifikationen: 12+ Jahre Erfahrung in ASIC-Verifikation, insbesondere in formalen Verifikationsmethoden.
Das prognostizierte Gehalt liegt zwischen 130000 - 160000 € pro Jahr.
As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs using formal verification tools.
You will define the verification scope, ensure correctness, employ sophisticated formal techniques, collaborate with architects, designers, and verification teams, improve formal verification methodologies, and complete the formal verification effort for the entire project cycle.
What you will be doing
- Verify AI-related sophisticated ASIC designs & features with formal verification methods.
- Partner with architecture/RTL teams to specify properties, resolve deep design issues, and influence micro-architecture decisions.
- Employ formal verification to rigorously verify critical design properties, ensure compliance with specifications, and minimize spec ambiguities.
- Articulate formal verification coverage to partners.
- Develop and implement advanced formal verification environments and methodologies for complex ASIC designs, including automated flows for scalability and efficiency.
- Mentor junior engineers on formal techniques and standard processes; help on methodology/FAQ documentation.
- Support silicon bring‑up and debug using formal methods where applicable.
What we need to see
- BS/MS/Ph D or equivalent experience in CS/CE/EE.
- 12+ years in ASIC verification with 8+ years focused on formal verification methods.
- Mastery of System Verilog Assertions (SVA) and formal property verification.
- Proficiency in at least one popular formal verification tool (e. g., Jasper Gold, VC Formal).
- Good scripting skills for flow automation (tcl, python, etc.).
- Strong written and oral communication skills.
- Attention to detail.
Ways to stand out from the crowd
- Shown success in full‑cycle formal sign‑off for complex designs.
- Expertise in formal applications: FPV apps, sequential equivalence checks, data‑path verification, etc.
- Deep understanding of GPU or LPU architecture/design.
Widely considered to be one of the technology world’s most desirable employers, NVIDIA offers highly competitive salaries and a comprehensive benefits package.
Base salary range: 195,000 CAD – 245,000 CAD. You will also be eligible for equity and benefits.
Applications will be accepted at least until February 14, 2026.
#J-18808-Ljbffr
Senior Formal Verification Engineer Arbeitgeber: Nvidia
NVIDIA ist ein herausragender Arbeitgeber, der innovative Technologien im Bereich Künstliche Intelligenz vorantreibt. Mit einem dynamischen Arbeitsumfeld in einer der fortschrittlichsten Technologiestädte bietet NVIDIA nicht nur wettbewerbsfähige Vergütungen, sondern auch umfangreiche Möglichkeiten zur beruflichen Weiterentwicklung und Zusammenarbeit mit führenden Experten der Branche. Hier haben Sie die Chance, an bahnbrechenden Projekten zu arbeiten und Ihre Fähigkeiten in einem unterstützenden Team weiterzuentwickeln, während Sie an der Spitze der technologischen Entwicklung stehen.
StudySmarter Expertenrat🤫
Wir sind der Meinung, dass du so Senior Formal Verification Engineer erhalten könntest
✨Das richtige Netzwerk nutzen
In der Automatisierungstechnik lohnt es sich, Teil von Fachgruppen oder Online-Communities zu sein, wie z.B. LinkedIn-Gruppen oder speziellen Foren. Diese Plattformen sind nicht nur gut für den Austausch mit Kollegen, sondern auch für den direkten Kontakt mit Unternehmen, die Stellen ausschreiben.
✨Messebesuche planen
Auf Messen und Branchenveranstaltungen wie der SPS IPC Drives oder der Hannover Messe gibt es oft die Möglichkeit, direkt vor Ort mit Unternehmen zu sprechen. Nutzt die Chance, um euch über Nvidia und deren offene Stellen zu informieren und vielleicht sogar einen ersten Eindruck zu hinterlassen.
✨Praktische Erfahrungen sammeln
Falls ihr noch nicht so viel Erfahrung habt, schaut nach Möglichkeiten für Workshops oder Projekten in der Automatisierungstechnik, die euch praktische Kenntnisse vermitteln. Das zeigt nicht nur eure Initiative, sondern verschafft euch auch einen Pluspunkt im Bewerbungsprozess.
✨Bewirb dich direkt über unsere Seite
Wenn ihr euch für eine Stelle bei Nvidia interessiert, bewerbt euch direkt über unsere Website. So landet eure Bewerbung direkt im Fokus und ihr zeigt, dass ihr wirklich hinter der Stelle steht. Zudem könnt ihr in der Übersicht der Ausschreibungen oft mehr über das Team und die Unternehmenskultur erfahren.
Wir glauben, dass du diese Fähigkeiten brauchst, um Senior Formal Verification Engineer mit Bravour zu bestehen
Einige Tipps für deine Bewerbung 🫡
Bring deine technischen Fähigkeiten zur Geltung:In der Automatisierungstechnik sind spezifische technische Fähigkeiten gefragt. Hebe deine Kenntnisse in Bereichen wie SPS-Programmierung, Roboter- oder Prozessautomatisierung klar in deinem Lebenslauf hervor. Vielleicht hast du sogar Zertifikate oder Schulungen, die deine Kenntnisse belegen – zeig das!
Präzise CV-Gestaltung:Achte bei deinem Lebenslauf darauf, dass du klar und präzise die Projekte auflistest, an denen du gearbeitet hast. Konzentriere dich auf messbare Ergebnisse und technische Herausforderungen, die du gemeistert hast. Das wird deine Eignung für die Stelle bei Nvidia unterstreichen.
Motivation und Teamarbeit betonen:Im Anschreiben solltest du nicht nur deine technischen Fähigkeiten beeindruckend darstellen, sondern auch deine Motivation für die Automatisierungstechnik betonen. Berichte, wie wichtig dir Teamarbeit und innovative Lösungen sind – das passt gut zur Vollzeitstelle bei Nvidia!
Verlinke relevante Projekte oder Portfolios:Falls du an spannenden Projekten gearbeitet hast, die irgendetwas mit Automatisierungstechnik zu tun haben, verlinke diese in deiner Bewerbung! Ein Portfolio oder Links zu veröffentlichten Arbeiten können dir helfen, dich von anderen Bewerbungen abzuheben.
Wie man sich auf ein Vorstellungsgespräch bei Nvidia vorbereitet
✨Verstehe die Werkzeuge der Automatisierungstechnik
Mach dich mit den gängigen Tools der Branche vertraut, wie PLC-Programmierung und SCADA-Systemen. Vielleicht wirst du im Gespräch sogar auf eine technische Herausforderung stoßen, also sei bereit, konkrete Beispiele aus deiner bisherigen Erfahrung zu nennen, in denen du diese Tools angewendet hast.
✨Bereite dich auf technische Fragen vor
Erwarte technische Fragen, die sich auf Automatisierungssysteme und deren Integration beziehen könnten. Das bedeutet, dass wir uns ein paar Systemdesign-Fragen ansehen und darüber nachdenken sollten, wie wir Probleme mit bestehenden Automatisierungssystemen lösen würden. Das zeigt nicht nur dein Wissen, sondern auch deine Problemlösungsfähigkeiten.
✨Zeige deine Projekte und Erfolge
Hast du bereits an Projekten in der Automatisierungstechnik gearbeitet? Bringe ein Portfolio mit, das deine besten Arbeiten zeigt. Das kann alles umfassen - von Prozessoptimierungen bis zu erfolgreich implementierten Lösungen. Du willst der Jury zeigen, was du drauf hast und wie du Ergebnisse lieferst!
✨Motivation und langfristige Perspektive
Da es sich um eine Vollzeitstelle handelt, sollten wir uns auch Gedanken darüber machen, warum du langfristig in diesem Bereich arbeiten möchtest. Sei bereit, deine Motivation zu erklären, wie du in der Automatisierungstechnik wachsen möchtest und wie du zum Erfolg von Nvidia beitragen kannst. Das zeigt, dass du wirklich an einer Karriere in diesem Bereich interessiert bist!
