Infineon Logo

Doctoral Thesis: Verification of Generic IPs (f/m/div)

München, Deutschland

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
Andere Jobvorschläge