Auf einen Blick
- Aufgaben: Leite die Strategie zur formalen Verifikation für Automotive-Mikrocontroller-Plattformen.
- Unternehmen: Infineon, ein globaler Marktführer in Halbleiterlösungen.
- Vorteile: Wettbewerbsfähiges Gehalt, flexible Arbeitsmodelle und Entwicklungsmöglichkeiten.
- Weitere Informationen: Dynamisches Umfeld mit Fokus auf Innovation und Zusammenarbeit.
- Warum dieser Job: Gestalte die Zukunft der Technologie und mache einen echten Unterschied.
- Qualifikationen: Erfahrung in formaler Verifikation und Führungskompetenz.
Das prognostizierte Gehalt liegt zwischen 62100 - 75900 € pro Jahr.
Wir sind auf der Suche nach einem Lead Principal Engineer für die formale Verifikation in unserem Forschungs- und Entwicklungsteam. In dieser Rolle haben Sie die Möglichkeit, Kreativität mit technischem Fachwissen zu verbinden, um die Zukunft der Technologie zu gestalten, bahnbrechende Projekte voranzutreiben und neue Ideen zum Leben zu erwecken.
Ihre Rolle
- Definition und Leitung der formalen Verifikationsstrategie für die Automotive Microcontroller-Plattformen.
- Enge Zusammenarbeit mit Plattformarchitekten und Designleitern zur Etablierung von formalfreundlichen Plattform- und Entwurfsregeln.
- Festlegung der formalen Verifikation als Standardmethode in der IP-Verifikation.
- Leitung der Anwendung formaler Verifikation zur Verbesserung der Effizienz der IP- und Produktebeneverifikation.
- Förderung von Experten für formale Verifikation innerhalb der Geschäftseinheit Automotive Microcontrollers (ATV MC) und Aufbau einer Gemeinschaft für formale Verifikation.
- Erweiterung der Anwendung formaler Verifikation in Digital Mixed Signal und Power Aware Verification.
- Standardisierung und Automatisierung der Nutzung formaler Verifikation, einschließlich der praktischen Anwendung von KI-Techniken.
Ihr Profil
- Sie sind ein führender Experte in der formalen Verifikation mit einer nachweislichen Erfolgsbilanz bei der Umsetzung komplexer Initiativen durch strategische, vielschichtige Problemanalyse.
- Sie verfügen über tiefgehendes Fachwissen, starke Netzwerke und außergewöhnliche Kommunikationsfähigkeiten, um innovative Lösungen zu liefern, Stakeholder zu beeinflussen und effektive bereichsübergreifende Zusammenarbeit zu fördern.
- Ein Universitätsabschluss im Bereich STEM (Wissenschaft, Technologien, Ingenieurwesen und Mathematik).
- Mindestens 12 Jahre relevante Berufserfahrung, davon mehr als 5 Jahre Erfahrung in der Anwendung formaler Verifikation.
- Tiefes Verständnis der formalen Verifikation, einschließlich der effektiven Nutzung von Techniken wie Abstraktion, Nichtdeterminismus, Invarianten und Annahme-Garantie-Argumentation.
- Breite Erfahrung in der Anwendung formaler Verifikation in mehreren Bereichen, einschließlich der Verifikation von Algorithmen, Protokollen und Entwurfsblöcken.
- Die Fähigkeit, Verifikationsingenieure zu begeistern und zu befähigen, formale Methoden zu nutzen.
- Nachweisbare Beiträge zur Nutzung formaler Verifikation in der Industrie und Wissenschaft.
Bitte senden Sie uns Ihren Lebenslauf in Englisch.
Wir freuen uns darauf, Ihre Bewerbung zu erhalten, auch wenn Sie nicht alle Anforderungen der Stellenanzeige vollständig erfüllen.
Lead Principal Engineer Formal Verification (f/m/div) Arbeitgeber: Infineon Technologies
Als Arbeitgeber bietet Infineon eine inspirierende Arbeitsumgebung, in der Kreativität und technisches Know-how zusammenkommen, um die Zukunft der Technologie zu gestalten. Mit einem starken Fokus auf Vielfalt und Inklusion fördert das Unternehmen eine respektvolle Kultur, die den Austausch von Ideen und die Zusammenarbeit über Abteilungen hinweg unterstützt. Zudem profitieren Mitarbeiter von umfangreichen Entwicklungsmöglichkeiten und einer dynamischen Arbeitsatmosphäre, die es ihnen ermöglicht, an bahnbrechenden Projekten zu arbeiten und ihre Karriere voranzutreiben.
