Als Senior Principal Engineer für formale Verifikation bei Infineon in Dublin gestalten Sie die Zukunft der Mobilität durch die Entwicklung innovativer Lösungen für Automotive-Mikrocontroller.
Über Infineon
Infineon ist ein globaler Marktführer in Halbleiterlösungen, der innovative Technologien für saubere, sichere Mobilität und intelligente IoT-Anwendungen entwickelt.
Deine Aufgaben
- Definition und Leitung der formalen Verifikationsstrategie für Automotive-Mikrocontroller-Plattformen
- Zusammenarbeit mit Plattformarchitekten zur Etablierung formaler Designregeln
- Standardisierung und Automatisierung der formalen Verifikation
- Förderung der Nutzung formaler Verifikationsmethoden zur Effizienzsteigerung
- Aufbau einer Gemeinschaft für formale Verifikation innerhalb der ATV MC Business Line
Deine Qualifikationen
- Abschluss in einem MINT-Fachgebiet
- Mindestens 15 Jahre relevante Berufserfahrung, davon 8+ Jahre in der formalen Verifikation
- Tiefes Verständnis formaler Verifikationstechniken
- Erfahrung in der Anwendung formaler Verifikation in SoC-Verifikationen
- Fähigkeit, Verifikationsingenieure zu motivieren und zu schulen