Application Engineering Intern – AI-based Formal Verification (f/m/d)

Bei Cadence engagieren wir uns für Innovationen in der Elektronikdesign- und Verifikationstechnologie. Wir suchen einen hochmotivierten Praktikanten im Bereich Software Engineering, der unser Application Engineering-Team verstärkt.

In dieser Rolle werden Sie zur Erforschung und Entwicklung von KI/ML-gesteuerten Ansätzen zur Verbesserung von formalen Verifikationsabläufen beitragen und eng mit erfahrenen Ingenieuren an modernen Herausforderungen im Bereich Halbleiterdesign und -verifikation zusammenarbeiten.

Was Sie tun werden:

• Beitrag zur Entwicklung und Bewertung von LLM/ML-basierten Ansätzen für formale Verifikationsabläufe
• Analyse technischer Daten und Extraktion bedeutungsvoller Erkenntnisse zur Unterstützung von Verifikationsanwendungsfällen
• Zusammenarbeit mit erfahrenen Ingenieuren zur Prototypenerstellung und Validierung neuer Konzepte
• Entwicklung und Präsentation von Ergebnissen, einschließlich technischer Dokumentation und Berichte
• Unterstützung bei der Integration neuer Lösungen in bestehende Verifikationsabläufe
• Enge Zusammenarbeit mit F&E-Teams zur Verfeinerung von Problemstellungen und zur Förderung innovativer Lösungen

Was wir suchen (essentiell):

• Derzeit im Studium der Elektrotechnik, Informatik oder Computertechnik
• Fundamentale Programmierkenntnisse in Python
• Grundlegendes Verständnis von maschinellem Lernen, generativer KI und Datenanalyse
• Grundlegendes Verständnis von Konzepten der formalen Verifikation
• Vertrautheit mit Linux/Unix-Umgebungen und Skripting

Kernkompetenzen:

• Interesse an der Anwendung von KI/ML-Techniken auf reale Herausforderungen in der Halbleiterindustrie
• Starke analytische und problemlösende Fähigkeiten
• Gute Kommunikationsfähigkeiten und die Fähigkeit, in einem kollaborativen Umfeld zu arbeiten
• Proaktive, lösungsorientierte Denkweise

Schön zu haben (bevorzugt):

• Fundamentales Verständnis von VLSI und IC-Design sowie HDLs wie SystemVerilog
• Erfahrung mit Hardware-Tools zur formalen Verifikation wie Jasper
• Erfahrung in der Verifikation einfacher RTL-Designs mit formalen Techniken
• Vertrautheit mit Datenverarbeitungsframeworks oder Bibliotheken für maschinelles Lernen

Karrieremöglichkeiten und Wachstum:

Schließen Sie sich einem Team an, das an der Spitze der KI-gesteuerten Innovation in der funktionalen Verifikation steht. Dieses Praktikum bietet die Möglichkeit:

• An bedeutenden, realen ingenieurtechnischen Herausforderungen zu arbeiten
• Praktische Erfahrungen mit fortschrittlichen Verifikations- und KI-Technologien zu sammeln
• Mit Experten in den Bereichen KI/ML und Halbleitervalidierung zusammenzuarbeiten
• Zu Lösungen beizutragen, die in der globalen Halbleiterindustrie eingesetzt werden

Vorteile, die wir bieten:

• Faire Praktikumsvergütung
• Wohnzuschuss für Praktikanten aus dem Ausland
• 30 Tage Jahresurlaub
• Essensgutscheine
• ÖPNV-Ticket
• Hybrides Arbeitsmodell in einer modernen Büroumgebung

Bewerben Sie sich noch heute:

Wenn Sie leidenschaftlich an KI interessiert sind und bereit sind, zu Lösungen der nächsten Generation in der Verifikation beizutragen, würden wir uns freuen, von Ihnen zu hören.

Wir leisten Arbeit, die zählt. Helfen Sie uns, das zu lösen, was andere nicht können.