Formal Verification Engineer

Ihre Mission

Als Formal Verification Engineer bei LUBIS EDA haben Sie eine doppelte Verantwortung:

• Beratungsdienste
  • Arbeiten Sie direkt mit Kunden zusammen, um deren RTL-Designs und IPs zu verifizieren.
  • Erstellen, implementieren und debuggen Sie Assertion IP (AIP) basierend auf den Verifizierungsanforderungen der Kunden.
  • Entwickeln Sie Eigenschaften, identifizieren und berichten Sie über Fehler und arbeiten Sie mit dem Designteam des Kunden zusammen, um Probleme zu lösen.
  • Stellen Sie sicher, dass alle Verifizierungsleistungen den Qualitätsstandards und Projektzeitplänen entsprechen.
• Softwareautomatisierung
  • Tragen Sie zur Gestaltung und Entwicklung der hauseigenen Softwaretools von LUBIS EDA zur Automatisierung des Formal Verification-Prozesses bei.
  • Arbeiten Sie mit dem Softwareentwicklungsteam zusammen, um neue Methoden zu entwickeln, die Benutzerfreundlichkeit zu verbessern und Kundenprobleme anzugehen.
• Projekt- und Kundenmanagement (Senior / Staff Engineers)
  • Projektmanagement
    • Übernehmen Sie die Verantwortung für formale Verifizierungsprojekte und stellen Sie sicher, dass sie pünktlich, im Rahmen und in höchster Qualität geliefert werden.
    • Planen Sie Projektstrategien, weisen Sie Ressourcen zu und verfolgen Sie den Fortschritt mit Projektmanagement-Tools.
    • Leiten Sie technische Überprüfungen und bieten Sie Mentoring für jüngere Teammitglieder an.
  • Kundenmanagement
    • Dienen Sie als primärer technischer Ansprechpartner für Kunden und stellen Sie sicher, dass deren Anforderungen verstanden und erfüllt werden.
    • Verwalten Sie proaktiv die Erwartungen der Kunden, indem Sie regelmäßige Updates bereitstellen und Bedenken ansprechen.
    • Identifizieren Sie Möglichkeiten für zusätzliche Kundenengagements oder Verbesserungen des Verifizierungsprozesses.
    • Vertreten Sie LUBIS EDA in Kundengesprächen und fördern Sie Vertrauen und langfristige Beziehungen.

Hauptverantwortlichkeiten

• Analysieren Sie RTL-Designs, erstellen Sie Eigenschaften und führen Sie Verifizierungsszenarien mit formalen Tools (z. B. JasperGold, Questa Formal, Cadence IFV) durch.
• Debuggen und analysieren Sie Verifizierungsfehler und arbeiten Sie eng mit den Design- und Verifizierungsteams des Kunden zusammen.
• Automatisieren Sie sich wiederholende Aufgaben in Verifizierungsabläufen und tragen Sie zu Verbesserungen der Toolchain bei.
• Geben Sie Feedback aus Kundenprojekten, um die Roadmap für die Softwarelösungen von LUBIS EDA voranzutreiben.
• Bleiben Sie über die neuesten Entwicklungen in formalen Verifizierungstools, -techniken und Branchentrends informiert.
• Dokumentieren Sie Prozesse und Methoden, um den Wissensaustausch im Team sicherzustellen.

Ihr Profil

Must-Have-Fähigkeiten:

• Solides Verständnis von Techniken und Tools der formalen Verifizierung.
• Erfahrung in der Verifizierung komplexer RTL-Designs mit formalen Methoden.
• Beherrschung von SystemVerilog Assertions (SVA) und Nutzung von Formal Engines (z. B. VCF) im Kontext der formalen Eigenschaftsprüfung.
• Starke Problemlösungs- und Debuggingfähigkeiten.

Zusätzliche Fähigkeiten für Senior / Staff Engineers:

• Nachgewiesene Erfahrung im Projekt- und Kundenmanagement in der Halbleiter- oder EDA-Branche.
• Starke Führungs- und Mentoringfähigkeiten.
• Fähigkeit, mehrere Projekte zu balancieren und die Bedürfnisse der Kunden zu priorisieren.
• Erfahrung in der Kommunikation mit Stakeholdern und im Management funktionsübergreifender Teams.

Warum wir?

LUBIS EDA ist ein schnell wachsendes Startup mit Sitz in Deutschland, das sich auf formale Verifizierungsberatung und innovative Softwareentwicklung zur Automatisierung von formalen Verifizierungsprozessen spezialisiert hat. Wir arbeiten mit Halbleiterunternehmen aller Größenordnungen zusammen, um komplexe digitale IP und RTL-Designs zu verifizieren, die Verifizierungskosten zu senken und qualitativ hochwertige Chips sicherzustellen. Treten Sie uns bei, um zu einem hochgradig kollaborativen Team beizutragen, an innovativen Projekten für globale Kunden zu arbeiten und die Zukunft der formalen Verifizierung mitzugestalten.

Über uns

LUBIS ist ein schnell wachsendes deutsches Startup, das die Arbeitsweise der Halbleiterindustrie neu definiert. Wir stellen uns einer der größten Herausforderungen — sicherzustellen, dass komplexe Chips fehlerfrei funktionieren, bevor sie gebaut werden. Unsere Mission ist einfach: die Verifizierung von einem Handwerk in ein System zu transformieren. Durch die Strukturierung der Arbeitsweise von Teams und Automatisierung machen wir das Chipdesign schneller, zuverlässiger und fehlerfrei. LUBIS verbessert nicht nur den Prozess — wir definieren, wie Verifizierung durchgeführt wird.