Lead Principal Engineer Formal Verification (f/m/div)

Lead Principal Engineer Formal Verification (f/m/div)

Dublin Vollzeit 80000 - 110000 € / Jahr (geschätzt) Kein Homeoffice möglich
Infineon Technologies Austria AG

Auf einen Blick

  • Aufgaben: Leite die Strategie für formale Verifikation in der Automobil-Mikrocontroller-Plattform.
  • Unternehmen: Infineon, ein globaler Marktführer in Halbleiterlösungen.
  • Vorteile: Wettbewerbsfähiges Gehalt, flexible Arbeitszeiten und Entwicklungsmöglichkeiten.
  • Weitere Informationen: Dynamisches Umfeld mit Fokus auf Vielfalt und Inklusion.
  • 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 80000 - 110000 € pro Jahr.

Wir sind für Jobs, die das Leben aller Menschen beeinflussen. Was wäre, wenn Ihre Ideen die Art und Weise verändern könnten, wie die Welt sich verbindet, Energie bereitstellt oder denkt? In Ihrer Rolle als Lead Principal Engineer für formale Verifikation in unserem Forschungs- und Entwicklungsteam haben Sie die Möglichkeit, Kreativität mit Ihrem technischen Fachwissen zu verbinden, die Zukunft der Technologie zu gestalten, bahnbrechende Projekte voranzutreiben und neue Ideen zum Leben zu erwecken. Sind Sie dabei?

Ihre Rolle

  • Definieren und Leiten der formalen Verifikationsstrategie für die Automotive Microcontroller-Plattformen.
  • Enger Kontakt mit Plattformarchitekten und Designleitern zur Festlegung von formalen, plattform- und designfreundlichen Regeln.
  • Festlegung der formalen Verifikation als Standardmethode in der IP-Verifikation.
  • Leitung der Anwendung formaler Verifikation, um sicherzustellen, dass korrekte formale Techniken angemessen verwendet werden, um die Effizienz der IP- und Produktebeneverifikation zu verbessern.
  • 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 Verwendung 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 nutzen tiefes Fachwissen, starke Netzwerke und außergewöhnliche Kommunikationsfähigkeiten, um innovative Lösungen zu liefern, Stakeholder zu beeinflussen und eine 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, Nicht-Determinismus, Invarianten und Annahme-Garantie-Argumentation, kombiniert mit einem soliden Verständnis formaler Engines und deren effektiver Anwendung.
  • Breite Erfahrung in der Anwendung formaler Verifikation über mehrere Bereiche hinweg, einschließlich der Verifikation von Algorithmen, Protokollen und Designblöcken sowie deren Einsatz in der SoC-Verifikation und der effizienten Integration formaler Methoden in hybride Simulations-formale Umgebungen.
  • Die Fähigkeit, Verifikationsingenieure zu begeistern und zu befähigen, formale Methoden zu verwenden.
  • Bedeutende interne und externe Beiträge zur Anwendung formaler Verifikation und Nachweis der Erweiterung des Einsatzes formaler Verifikation in neue Bereiche.
  • Ein Fußabdruck, der Einfluss auf den Einsatz formaler Verifikation in der Industrie und der Wissenschaft demonstriert.

Bitte senden Sie uns Ihren Lebenslauf in Englisch.

Kontakt: Francisca Dias, LinkedIn

Wir freuen uns auf den Erhalt Ihres Lebenslaufs, auch wenn Sie nicht alle Anforderungen der Stellenanzeige vollständig erfüllen.

Bitte lassen Sie Ihren Recruiter wissen, ob er auf etwas Besonderes achten muss, um Ihre Teilnahme am Auswahlprozess zu ermöglichen.

Hier finden Sie weitere Informationen zu Vielfalt und Inklusion bei Infineon.

Lead Principal Engineer Formal Verification (f/m/div) Arbeitgeber: Infineon Technologies Austria AG

Infineon ist ein hervorragender Arbeitgeber, der seinen Mitarbeitern die Möglichkeit bietet, an bahnbrechenden Technologien zu arbeiten und dabei einen positiven Einfluss auf die Welt zu haben. Mit einem starken Fokus auf Vielfalt und Inklusion fördert das Unternehmen eine offene und respektvolle Arbeitskultur, in der Kreativität und technisches Know-how geschätzt werden. Zudem bietet Infineon umfangreiche Möglichkeiten zur beruflichen Weiterentwicklung und unterstützt seine Mitarbeiter dabei, ihre ambitionierten Ziele zu erreichen.

Infineon Technologies Austria AG

Kontaktdaten:

Infineon Technologies Austria AG Recruiting-Team

StudySmarter Expertenrat🤫

Wir sind der Meinung, dass Sie so Lead Principal Engineer Formal Verification (f/m/div) erhalten könnten

Netzwerken, Netzwerken, Netzwerken!

Nutze LinkedIn und andere Plattformen, um mit Fachleuten aus der Branche in Kontakt zu treten. Lass uns gemeinsam Verbindungen aufbauen, die dir helfen können, deinen Traumjob zu finden!

Sei proaktiv bei der Jobsuche

Warte nicht darauf, dass die Stellenanzeigen zu dir kommen! Suche aktiv nach Unternehmen, die dich interessieren, und kontaktiere sie direkt über unsere Website. Zeig dein Interesse und deine Begeisterung!

Bereite dich auf Interviews vor

Mach dich mit häufigen Interviewfragen vertraut und übe deine Antworten. Lass uns gemeinsam sicherstellen, dass du selbstbewusst und gut vorbereitet in jedes Gespräch gehst!

Zeige deine Leidenschaft

Wenn du über deine Projekte und Erfahrungen sprichst, lass deine Begeisterung durchscheinen! Wir wissen, dass Leidenschaft ansteckend ist und Arbeitgeber lieben es, wenn Kandidaten für ihre Arbeit brennen.

Wir glauben, dass du diese Fähigkeiten brauchst, um Lead Principal Engineer Formal Verification (f/m/div) mit Bravour zu bestehen

Formale Verifikation
Strategische Problemanalyse
Kommunikationsfähigkeiten
Führungskompetenz
Technisches Fachwissen
Abstraktionstechniken
Nichtdeterminismus

Einige Tipps für deine Bewerbung 🫡

Sei kreativ mit deinem Lebenslauf!:Dein Lebenslauf ist deine Chance, uns zu zeigen, wer du wirklich bist. Nutze kreative Formate oder Designs, um deine technischen Fähigkeiten und Erfahrungen hervorzuheben. Denk daran, dass wir nach jemandem suchen, der nicht nur die Anforderungen erfüllt, sondern auch frische Ideen mitbringt!

Schreibe ein überzeugendes Anschreiben!:In deinem Anschreiben solltest du klar machen, warum du die perfekte Wahl für die Position bist. Erzähl uns von deinen Erfahrungen in der formalen Verifikation und wie du diese in der Automobilindustrie angewendet hast. Zeig uns, dass du die Leidenschaft und das Know-how hast, um unsere Projekte voranzutreiben!

Betone deine Teamarbeit!:Wir bei StudySmarter legen großen Wert auf Zusammenarbeit. Teile Beispiele aus deiner Vergangenheit, wo du erfolgreich mit anderen zusammengearbeitet hast, um komplexe Probleme zu lösen. Das zeigt uns, dass du nicht nur ein technisches Genie bist, sondern auch ein Teamplayer!

Bewirb dich über unsere Website!:Um sicherzustellen, dass deine Bewerbung die richtige Aufmerksamkeit erhält, bewirb dich direkt über unsere Website. So können wir deine Unterlagen schnell und effizient bearbeiten. Wir freuen uns darauf, von dir zu hören und vielleicht bald gemeinsam an innovativen Lösungen zu arbeiten!

Wie man sich auf ein Vorstellungsgespräch bei Infineon Technologies Austria AG vorbereitet

Verstehe die Rolle und das Unternehmen

Mach dich mit der Position des Lead Principal Engineer für Formal Verification vertraut. Informiere dich über die aktuellen Projekte und Technologien, die das Unternehmen nutzt. Zeige im Interview, dass du die Vision und Mission des Unternehmens verstehst und wie deine Fähigkeiten dazu passen.

Bereite konkrete Beispiele vor

Denke an spezifische Projekte oder Herausforderungen, die du in der Vergangenheit gemeistert hast, insbesondere im Bereich der formalen Verifikation. Bereite dich darauf vor, diese Beispiele zu erläutern und zu zeigen, wie du innovative Lösungen entwickelt hast, um Probleme zu lösen.

Stelle Fragen zur Unternehmenskultur

Zeige Interesse an der Unternehmenskultur und den Werten des Unternehmens. Stelle Fragen, die dir helfen zu verstehen, wie das Team zusammenarbeitet und welche Möglichkeiten es gibt, sich weiterzuentwickeln. Dies zeigt, dass du nicht nur an der Position interessiert bist, sondern auch an der langfristigen Zusammenarbeit.

Demonstriere deine Führungsqualitäten

Da die Rolle eine Führungsposition ist, sei bereit, über deine Erfahrungen in der Führung von Teams und Projekten zu sprechen. Betone, wie du andere motivierst und unterstützt, um die besten Ergebnisse zu erzielen, und wie du formale Verifikationsmethoden in deinem Team implementiert hast.