Auf einen Blick
- Aufgaben: Übernehme die Verantwortung für formale Ergebnisse und entwickle innovative Verifikationsstrategien.
- Unternehmen: LUBIS, ein schnell wachsendes deutsches Startup in der Halbleiterindustrie.
- Vorteile: Wettbewerbsfähiges Gehalt, flexible Arbeitszeiten und Entwicklungsmöglichkeiten.
- Weitere Informationen: Klare Karrierewege und Mentoring-Programme für deine berufliche Entwicklung.
- Warum dieser Job: Gestalte die Zukunft der Chipverifikation und arbeite an spannenden Herausforderungen.
- Qualifikationen: Erfahrung in der formalen Verifikation und starke SVA-Fähigkeiten.
Das prognostizierte Gehalt liegt zwischen 60000 - 80000 € pro Jahr.
Ihre Mission: Sie besitzen ein definiertes formales Ergebnis von Anfang bis Ende (Tage bis einige Wochen). Sie arbeiten unabhängig in bekannten Kontexten, treiben den Abschluss der Beweise voran und übergeben signierte Artefakte, denen die Kunden vertrauen.
Besitzen Sie einen Block/Bereich: klären Sie die Anforderungen, definieren Sie die Verifizierungsstrategie (Umfang, Risiken, Ansatz), führen Sie aus und schließen Sie ab. Produzieren Sie wartbare SVA und eine saubere formale Umgebung (Einschränkungen/Annahmen mit guter Hygiene). Debuggen Sie effizient, arbeiten Sie mit Designern an Lösungen zusammen und verhindern Sie Regressionen. Halten Sie die Stakeholder mit klaren Updates und entscheidungsbereiten Beweisen auf dem Laufenden.
Ihr Profil: Nachweisliche Erfahrung in der Bereitstellung formaler Ergebnisse bei nicht trivialem RTL (z.B. Caches, pipelined Prozessoren, DMAs, NoCs). Starke SVA-Fähigkeiten und praktische Erfahrung mit formalen Werkzeugen (z.B.: Jasper, VCF, Questa Formal/Onespin). Zuverlässige End-to-End-Verantwortung in einem definierten Umfang.
Wie Erfolg in Ihren ersten ~90 Tagen aussieht: Sie meistern unser Onboarding-Bootcamp und gewinnen das Vertrauen des Teams: Sie wenden die LUBIS-Arbeitsweise an und liefern konsequent saubere, überprüfbare Ergebnisse. Sie engagieren sich selbstbewusst in der Abgrenzung und Planung mit dem Team: Sie klären offene Fragen frühzeitig, heben Risiken hervor und helfen, den Umfang in einen konkreten Plan zu übersetzen. Sie besitzen ein Ergebnis von Anfang bis Ende in einem definierten Bereich und liefern es ohne „Rettung“.
Wohin das führt: Der natürliche nächste Schritt ist unsere Rolle als Senior Formal Verification Engineer – Leitung von Kundenengagements, Verantwortung für formale Architekturentscheidungen, Mentoring von Associates und Professionals sowie Gestaltung, wie LUBIS neue Verifizierungsprobleme angeht. Wir machen diesen Weg konkret: Überprüfungszyklen, kundenführende Rotationen und klare Kompetenzmeilensteine.
Über uns: LUBIS ist ein schnell wachsendes deutsches Startup, das neu definiert, wie die Halbleiterindustrie funktioniert. Wir stellen uns einer der schwierigsten 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.
Formal Verification Engineer - Professional Level Arbeitgeber: LUBIS EDA
LUBIS ist ein dynamisches und wachsendes Start-up in Deutschland, das die Halbleiterindustrie revolutioniert. Wir bieten nicht nur ein inspirierendes Arbeitsumfeld, sondern auch zahlreiche Möglichkeiten zur beruflichen Weiterentwicklung, einschließlich klar definierter Karrierepfade und Mentoring-Programme. Unsere Unternehmenskultur fördert Innovation und Teamarbeit, während wir gemeinsam an der Lösung komplexer Herausforderungen arbeiten und dabei eine vertrauensvolle und unterstützende Atmosphäre schaffen.
StudySmarter Expertenrat🤫
Wir sind der Meinung, dass Sie so Formal Verification Engineer - Professional Level erhalten könnten
✨Tipp Nummer 1
Sei proaktiv und nutze dein Netzwerk! Sprich mit Leuten aus der Branche, besuche Meetups oder Konferenzen. Oft erfährt man von offenen Stellen durch persönliche Kontakte.
✨Tipp Nummer 2
Bereite dich auf technische Interviews vor! Übe typische Fragen zu SVA und formalen Werkzeugen wie Jasper oder Questa. Zeige, dass du nicht nur die Theorie beherrschst, sondern auch praktische Erfahrungen hast.
✨Tipp Nummer 3
Zeige deine Leidenschaft für das Thema! Erkläre in Gesprächen, warum dir formale Verifikation wichtig ist und wie du zur Verbesserung des Prozesses beitragen kannst. Das macht einen bleibenden Eindruck.
✨Tipp Nummer 4
Bewirb dich direkt über unsere Website! So zeigst du Interesse und erhältst die besten Informationen über offene Stellen. Lass uns gemeinsam die Zukunft der Verifikation gestalten!
Wir glauben, dass du diese Fähigkeiten brauchst, um Formal Verification Engineer - Professional Level mit Bravour zu bestehen
Einige Tipps für deine Bewerbung 🫡
Sei klar und präzise:Wenn du deine Bewerbung schreibst, achte darauf, dass du klar und präzise bist. Vermeide es, um den heißen Brei herumzureden. Wir wollen genau wissen, was du kannst und wie du uns helfen kannst!
Zeige deine Erfahrung:Erzähle uns von deinen bisherigen Erfahrungen im Bereich der formalen Verifikation. Nenne konkrete Projekte oder Technologien, mit denen du gearbeitet hast. Das hilft uns, ein besseres Bild von deinem Können zu bekommen.
Pass auf die Details auf:Achte darauf, dass deine Bewerbung fehlerfrei ist. Rechtschreibfehler oder unklare Formulierungen können einen schlechten Eindruck hinterlassen. Lass jemanden drüberlesen, bevor du sie abschickst!
Bewirb dich über unsere Website:Wir empfehlen dir, dich direkt über unsere Website zu bewerben. So stellst du sicher, dass deine Bewerbung schnell bei uns landet und wir sie zügig bearbeiten können. Wir freuen uns auf deine Unterlagen!
Wie man sich auf ein Vorstellungsgespräch bei LUBIS EDA vorbereitet
✨Verstehe die Anforderungen
Mach dir ein klares Bild von den Anforderungen der Stelle. Lies die Stellenbeschreibung gründlich durch und überlege, wie deine bisherigen Erfahrungen und Fähigkeiten zu den geforderten Kompetenzen passen. Bereite konkrete Beispiele vor, die zeigen, wie du in ähnlichen Situationen erfolgreich warst.
✨Technisches Wissen auffrischen
Da es sich um eine Position im Bereich der formalen Verifikation handelt, solltest du dein Wissen über SVA und die verwendeten Tools wie Jasper oder Questa Formal auffrischen. Sei bereit, technische Fragen zu beantworten und eventuell sogar praktische Aufgaben zu lösen, um deine Fähigkeiten unter Beweis zu stellen.
✨Kommunikation ist der Schlüssel
Bereite dich darauf vor, klar und präzise zu kommunizieren. Du wirst mit verschiedenen Stakeholdern arbeiten, also übe, wie du Updates und Entscheidungen effektiv präsentieren kannst. Zeige, dass du in der Lage bist, komplexe Informationen verständlich zu vermitteln.
✨Zeige Eigenverantwortung
In der Rolle wird erwartet, dass du Verantwortung für deine Projekte übernimmst. Bereite dich darauf vor, Beispiele zu nennen, in denen du selbstständig gearbeitet hast und wie du Herausforderungen gemeistert hast. Das zeigt, dass du die Fähigkeit hast, auch ohne Unterstützung erfolgreich zu sein.
