- Startseite
- Homeoffice Jobs
- Application Engineering Intern – AI-based Formal Verification (f/m/d)
Über die Rolle
Bei Cadence engagieren wir uns für Innovationen in der elektronischen Entwicklung und Verifizierung. Wir suchen einen hochmotivierten Software Engineering Intern für unser Application Engineering Team.
In dieser Rolle tragen Sie zur Erforschung und Entwicklung von KI/ML-gesteuerten Ansätzen bei, um formale Verifizierungs-Workflows zu verbessern. Sie arbeiten eng mit erfahrenen Ingenieuren an aktuellen Herausforderungen im Bereich Halbleiterdesign und Verifizierung.
Ihre Aufgaben
- Beitrag zur Entwicklung und Evaluierung von LLM/ML-basierten Ansätzen für formale Verifizierungs-Workflows
- Analyse technischer Daten und Gewinnung aussagekräftiger Erkenntnisse zur Unterstützung von Verifizierungs-Anwendungsfällen
- Zusammenarbeit mit erfahrenen Ingenieuren beim Prototyping und der Validierung neuer Konzepte
- Entwicklung und Präsentation von Ergebnissen, einschließlich technischer Dokumentationen und Berichte
- Unterstützung bei der Integration neuer Lösungen in bestehende Verifizierungs-Workflows
- Enge Zusammenarbeit mit F&E-Teams zur Verfeinerung von Problemstellungen und Förderung innovativer Lösungen
Was wir suchen (Grundvoraussetzungen)
Ausbildung & technische Fähigkeiten
- Aktuelles Studium der Elektrotechnik, Informatik oder Computertechnik
- Grundlegende Programmierkenntnisse in Python
- Grundlegendes Verständnis von maschinellem Lernen, generativer KI und Datenanalyse
- Grundlegendes Verständnis von Konzepten der formalen Verifizierung
- Vertrautheit mit Linux/Unix-Umgebungen und Scripting
Kernkompetenzen
- Interesse an der Anwendung von KI/ML-Techniken auf reale Halbleiter-Herausforderungen
- Starke analytische Fähigkeiten und Problemlösungskompetenz
- Gute Kommunikationsfähigkeiten und Teamfähigkeit
- Proaktive, lösungsorientierte Denkweise
Wünschenswert (Bevorzugt)
- Grundlegendes Verständnis von VLSI, IC-Design und HDLs wie SystemVerilog
- Erfahrung mit Hardware-Tools zur formalen Verifizierung wie Jasper
- Erfahrung in der Verifizierung einfacher RTL-Designs mittels formaler Techniken
- Vertrautheit mit Datenverarbeitungs-Frameworks oder Machine-Learning-Bibliotheken
Karrierevorteile und Wachstum
Werden Sie Teil eines Teams an der Spitze der KI-gesteuerten Innovation in der funktionalen Verifizierung. Dieses Praktikum bietet die Möglichkeit:
- An wirkungsvollen, realen technischen Herausforderungen zu arbeiten
- Praktische Erfahrungen mit fortschrittlichen Verifizierungs- und KI-Technologien zu sammeln
- Mit Experten aus den Bereichen KI/ML und Halbleiterverifizierung zusammenzuarbeiten
- Lösungen beizutragen, die in der globalen Halbleiterindustrie eingesetzt werden
Unsere Leistungen
- Faire Praktikumsvergütung
- Wohnkostenzuschuss für Praktikanten aus dem Ausland
- 30 Tage Jahresurlaub
- Essensgutscheine
- ÖPNV-Ticket
- Hybrides Arbeitsmodell in einer modernen Büroumgebung
Jetzt bewerben
Wenn Sie sich für KI begeistern und an Verifizierungslösungen der nächsten Generation mitwirken möchten, freuen wir uns auf Ihre Bewerbung.
Wir leisten Arbeit, die zählt. Helfen Sie uns, Probleme zu lösen, die andere nicht lösen können.
Rechtliche Hinweise
Cadence verpflichtet sich zur Chancengleichheit auf allen Ebenen der Organisation.
- Richtlinie zur Chancengleichheit lesen
Bei Schwierigkeiten mit der Website oder zur Beantragung angemessener Vorkehrungen kontaktieren Sie bitte staffing@cadence.com.
- Datenschutzrichtlinie für Bewerber
Cadence nimmt am E-Verify-Programm teil. Weitere Informationen zu E-Verify