Auf einen Blick
- Aufgaben: Entwickle skalierbare formale Testbenches und stelle die Integrität unserer Vektor-Pipeline sicher.
- Unternehmen: TechBiz Global, ein führendes Unternehmen im Bereich Rekrutierung für Top-Kunden.
- Vorteile: Attraktives Gehalt, Gesundheitsleistungen und Möglichkeiten zur beruflichen Weiterentwicklung.
- Weitere Informationen: Dynamisches Arbeitsumfeld mit hervorragenden Karrierechancen.
- Warum dieser Job: Werde Teil eines innovativen Teams und löse komplexe mathematische Herausforderungen.
- Qualifikationen: Mindestens 5 Jahre Erfahrung in der Hardware-Verifikation und starke mathematische Fähigkeiten.
Das prognostizierte Gehalt liegt zwischen 75000 - 95000 € pro Jahr.
Bei TechBiz Global bieten wir Rekrutierungsdienstleistungen für unsere TOP-Kunden aus unserem Portfolio an. Wir suchen derzeit einen Senior Formal Verification (FV) Engineer, der einem der Teams unserer Kunden beitritt. In dieser hochgradig technischen Rolle berichten Sie direkt an den Verification Lead der Vector Unit. Sie sind der dedizierte formale Experte für das VU-Team und verantwortlich für das Design skalierbarer formaler Testbenches, das Schreiben mathematischer Eigenschaften und die Gewährleistung der absoluten algorithmischen und architektonischen Integrität unserer Vektor-Pipeline.
Sie arbeiten eng mit VU-Mikroarchitekten zusammen, um tiefgreifende Corner-Case-Bugs zu finden und eine formale Genehmigung für hochkomplexe arithmetische und Ausführungsblöcke zu erreichen.
Hauptverantwortlichkeiten- Block-Level Execution & Convergence Engineering (90%)
- End-to-End Testbench Ownership: Entwerfen, Bereitstellen und Warten robuster formaler Verifikationsumgebungen für komplexe Vektor-Unit-Subblöcke (z.B. Vektor-Ausführungspipelines, Vektor-Registerdatei/Rename-Schnittstellen und Vektor-Gleitkommaeinheiten).
- Datapath & Arithmetic Verification: Implementierung fortschrittlicher Wortmodellierung, Bit-Blasting und algebraischer Umformungsstrategien zur Verifizierung komplexer IEEE-754-Gleitkomma- und Ganzzahl-Vektorarithmetik-Einheiten.
- Proof Convergence Management: Unabhängige Diagnose und Behebung von Proof-Convergence-Fehlern, Überbeschränkungen und Zustandsraumexplosionen unter Verwendung fortschrittlicher Reduktionstechniken (z.B. Fallaufteilung, Black-Boxing und Abstraktionsmodellierung).
- RISC-V Vector Compliance: Entwicklung formaler Umgebungen zur mathematischen Beweisführung, dass die VU-Pipeline strikt den RISC-V Vector (V) Extension-Spezifikationen entspricht.
- Simulation Partnership: Enge Zusammenarbeit mit VU-Simulationsingenieuren zur Definition einer scharfen Grenze zwischen Simulation und formaler Verifikation, um maximale Bug-Hunting-Effizienz und null Coverage-Lücken sicherzustellen.
- Embedded Mentorship & Best Practices (10%)
- Formal-Friendly Design: Partnerschaft mit VU-Mikroarchitekten während der frühen RTL-Entwicklung zur Förderung formfreundlicher Codierungsstile und struktureller Entwurfsmuster.
- SVA Propagation: Überprüfung und Verfeinerung von SystemVerilog Assertions (SVA), die von Design- und Simulationskollegen verfasst wurden, um Best Practices für Block-Level-Assertions innerhalb des VU-Teams zu etablieren.
- Bildung: B.S./M.S. in Computer Engineering, Elektrotechnik oder Informatik mit praktischer Branchenerfahrung; oder ein Ph.D. mit Forschungsschwerpunkt auf formalen Methoden oder Computerarithmetik.
- Erfahrung: 5+ Jahre Erfahrung in der Hardware-Verifikation (oder Ph.D. + 1-3 Jahre) mit einer starken, nachgewiesenen Erfolgsbilanz in der Anwendung formaler Verifikation auf CPU-, GPU- oder DSP-Ausführungspipelines.
- Zusammenarbeitsstil: Ein selbstmotivierter Ingenieur, der tiefgreifende mathematische Rätsel liebt, nahtlos innerhalb eines lokalisierten Block-Level-Teams zusammenarbeitet und komplexe Beweisgegenbeispiele in umsetzbare Bugs für Designer übersetzen kann.
- Datapath Validation Focus: Starke Spezialisierung auf arithmetische formale Verifikation, algebraische Umformung und Wortmodellierung. Vertrautheit mit formalen Techniken für Steuerpfade (Lebensfähigkeit, Sicherheitsmerkmale) ist sehr willkommen.
- Vector Microarchitecture: Gute Kenntnisse über Hochbreiten-Ausführungspipelines, Vektor-Ausführungseinheiten oder Gleitkomma/Ganzzahl-Arithmetik-Hardware. Erfahrung mit Out-of-Order-Ausführungsmechanismen ist von Vorteil.
- Formale Werkzeuge: Fundierte Kenntnisse kommerzieller EDA-formaler Werkzeuge (z.B. Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin) und deren spezialisierte mathematische/Datenpfad-Apps.
- Sprachen: Native Sprachkenntnisse in SystemVerilog und SystemVerilog Assertions (SVA). Skriptkenntnisse (Python, Tcl oder Bash) zur Automatisierung von Testbenches.
- RISC-V Core Verification.
- RISC-V Ecosystem: Vertrautheit mit der RISC-V-Architektur, insbesondere den Vektor (V) und Gleitkomma (F/D) Erweiterungsökosystemen.
- Emulationsplattformen (Veloce, ZeBu).
- Core/Bus-Schnittstellenprotokolle (z.B. AXI/CHI).
- Eine gegnerische, lücken-suchende Denkweise - fragt instinktiv „Wer überprüft das eigentlich?“ - mit einem starken Gesamtüberblick über den gesamten Kern.
- Klare Kommunikation zwischen DV-, Design- und Softwareteams; schreibt Verifikationspläne, denen andere folgen können.
StudySmarter Expertenrat🤫
Wir sind der Meinung, dass Sie so Senior Formal Verification Engineer - Vector Unit erhalten könnten
✨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 TechBiz Global GmbH 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 TechBiz Global GmbH 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 - Vector Unit 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 TechBiz Global GmbH 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 TechBiz Global GmbH!
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 TechBiz Global GmbH 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 TechBiz Global GmbH beitragen kannst. Das zeigt, dass du wirklich an einer Karriere in diesem Bereich interessiert bist!
