Die Doktorarbeit bei Infineon konzentriert sich auf die Verifikation generischer IPs und kombiniert akademische Forschung mit praktischer Industrieerfahrung.
Über Infineon
Infineon ist ein globaler Marktführer in Halbleiterlösungen für Energiesysteme und IoT, der innovative Lösungen für grüne und effiziente Energie sowie sichere Mobilität bietet.
Deine Aufgaben
- Modellierung formaler Eigenschaften für generische IPs
- Generierung von Eigenschaften mit einem Python-basierten Hardware-Generierungsframework
- Definition einer HW/SW-Co-Verifikationsmethodik
- Erstellung generischer Testpläne und anderer Verifikationsunterlagen
- Validierung der Methodik an Industrie-IPs
Deine Qualifikationen
- Abschluss in Computertechnik, Elektrotechnik oder verwandtem Bereich
- Interesse an komplexen, interdisziplinären Aufgaben
- Gute Präsentationsfähigkeiten
- Erfahrung in Metamodellierung und codebasierter Generierung
- Kenntnisse in objektorientierter Programmierung (C++, Python)
- Gute Kenntnisse in digitalem Design und RTL-Modellierung (VHDL, Verilog)
- Sehr gute Englischkenntnisse, idealerweise auch Deutsch