Praktikant (m/w/d) im Bereich Formale Verifikation

Stellen Sie sich vor, was Sie hier erreichen könnten. Bei Apple werden neue Ideen sehr schnell zu außergewöhnlichen Produkten, Dienstleistungen und Kundenerlebnissen. Bringen Sie Leidenschaft und Engagement in Ihre Arbeit ein, und es gibt keine Grenzen für das, was Sie erreichen können. Dynamische, großartige Menschen und inspirierende, innovative Technologien sind hier die Norm. Die Menschen, die hier arbeiten, haben mit allen Hardware-Produkten von Apple ganze Branchen neu erfunden. Dieselbe Leidenschaft für Innovation, die in unsere Produkte einfließt, gilt auch für unsere Arbeitsweise und stärkt unser Engagement, die Welt besser zu hinterlassen, als wir sie vorgefunden haben. Kommen Sie zu uns und helfen Sie dabei, das nächste bahnbrechende Produkt von Apple zu entwickeln. Lieben Sie es, an Herausforderungen zu arbeiten, die noch niemand zuvor gelöst hat? Als Mitglied unserer dynamischen Gruppe haben Sie die einzigartige und lohnende Gelegenheit, zukünftige Produkte mitzugestalten, die Millionen von Kunden von Apple jeden Tag begeistern und inspirieren werden.

In dieser verantwortungsvollen Position stehen Sie im Zentrum der Verifizierungsbemühungen für System-on-a-Chip (SoC)-Designs und arbeiten eng mit dem Design-Team zusammen. Sie leisten einen entscheidenden Beitrag dazu, qualitativ hochwertige und fehlerfreie funktionale Produkte schnell für Millionen von Kunden bereitzustellen. Während Sie an der vollständigen formalen Verifikation für einzelne oder mehrere Design-Blöcke und IPs arbeiten, werden Sie mit den Teammitgliedern zusammenarbeiten, um:

Kenntnisse im Bereich digitales Logikdesign und/oder formale Verifizierungstechniken

Ein Verständnis von CPU-Design, Pipeline-Architekturen, Speicher, DMA-Controllern, Hardware für Out-of-Order- und spekulative Befehlsausführung, Bus-Interconnects sowie Cache-Kohärenzmechanismen ist von Vorteil

Die Fähigkeit, Hardwarespezifikationen zu interpretieren (unter Verwendung von temporallogischen, assertionsbasierten Sprachen wie SVA oder PSL), ist von Vorteil

Kenntnisse in formalen EDA-Tools und Erfahrungen in der Entwicklung von CAD-Tools sind von Vorteil

Fundierte Kenntnisse in einer Skriptsprache wie TCL/PERL/etc. mit exzellenten Debugging-Fähigkeiten

Starke Problemlösungs- und zwischenmenschliche Fähigkeiten

Sehr gute schriftliche und mündliche Kommunikationsfähigkeiten in Englisch

Aktuelle Immatrikulation in einem Bachelor-, Master- oder Promotionsstudiengang in Elektrotechnik, Informatik, Computertechnik, Mathematik / Angewandter Mathematik oder einem verwandten Fachbereich. Diese Position ist ein Vollzeitpraktikum, und eine Verfügbarkeit von mindestens 6 Monaten wird bevorzugt.