Formal Verification Engineer - Professional Level

Formal Verification Engineer - Professional Level

Kaiserslautern Vollzeit 60000 - 80000 € / Jahr (geschätzt) Vor Ort
L

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.

L

Kontaktdaten:

Lubis Eda Recruiting-Team

StudySmarter Expertenrat🤫

Wir sind der Meinung, dass du so Formal Verification Engineer - Professional Level 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 Lubis Eda 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 Lubis Eda 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 Formal Verification Engineer - Professional Level mit Bravour zu bestehen

Formale Verifikation
SVA (SystemVerilog Assertions)
RTL (Register Transfer Level) Design
Jasper
VCF
Questa Formal
Onespin

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 Lubis Eda 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 Lubis Eda!

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 Lubis Eda 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 Lubis Eda beitragen kannst. Das zeigt, dass du wirklich an einer Karriere in diesem Bereich interessiert bist!