Das erwartet Dich bei uns

Wir, die Abteilung Systementwurf in der Mikroelektronik (SIM) forschen an Architekturen und Entwurfsmethoden für softwareintensive, zuverlässige Systeme im Embedded-Bereich sowie an der Anwendung und Implementierung von künstlicher Intelligenz. Beim Entwurf eingebetteter Systeme spielt die moderne Befehlssatzarchitektur RISC-V eine immer größere Rolle. Die Quelloffenheit und Parametrisierbarkeit vieler RISC-V Hardware/Software-Implementierungen (Open Source) erfordert neue Verifikationsansätze, um Systeme sicherer zu machen. 

• Du arbeitest Dich in die RISC-V Befehlssatzarchitektur ein.
• Du recherchierst die Themen: Seitenkanalangriffe auf Prozessoren, Hardwareverifikation mittels Bounded-Model-Checking.
• Du erarbeitest ein Konzept und implementierst eine Verifikationsumgebung für Constant-Time-Analysen eines RISC-V Prozessors und dessen Instruktionen.
• Du spezifizierst Annahmen (Assumptions) und Security-Eigenschaften (Assertions) in der Verifikationsumgebung.
• Du verifizierst die Security-Eigenschaften mit einem kommerziellen Checker (Cadence JasperGold) und evaluierst die Ergebnisse.

Das bringst Du mit

• Du studierst Informatik, Elektrotechnik oder einen verwandten Studiengang.
• Du interessierst Dich für den Themenbereich Embedded Systems und Prozessorarchitekturen, insbesondere RISC-V.
• Du kennst Dich idealerweise mit Programmiersprachen wie Scala, Tcl und VHDL/Verilog aus.
• Du hast Grundkenntnisse im Hardwareentwurf von digitalen Systemen.
• Du besitzt ein überdurchschnittliches Maß an Eigeninitiative sowie eine sorgfältige, gewissenhafte Arbeitsweise.
• Du besitzt gute Deutsch- oder Englischkenntnisse.

Was wir Dir bieten

• Du hast die Möglichkeit, Dich bei diversen internen Formaten zu wissenschaftlichen Themen fachbereichsübergreifend auszutauschen.
• Du bekommst spannende Einblicke in unsere Forschung und kannst wertvolle Praxiserfahrung für den Einstieg ins Berufsleben sammeln.
• Wir nutzen die neueste Hard- und Software am FZI. Gemeinsam mit unseren wissenschaftlichen Mitarbeitenden arbeitest Du vor Ort in erstklassig ausgestatteten Forschungslaboren.
• Unser Miteinander ist geprägt von der Begeisterung für unsere Themen und gemeinsamen Werte. Wir sind alle per „Du“ und helfen uns gegenseitig. Bei uns kannst Du Dich einbringen und Themen vorantreiben.
• Eine motivierte und kompetente Betreuung ist uns wichtig. Dazu zählt für uns: sich ausreichend Zeit für Dich nehmen und Dich mit hilfreichem Feedback unterstützen.
• Mit unseren flexiblen Arbeitsformen hinsichtlich Arbeitszeit und Stundenumfang sowie unserer Regelung zum mobilen Arbeiten geben wir Dir die Freiheit, die Du benötigst, um Dein Privat- und Berufsleben zu vereinbaren.
• Bei der Vergütung von Hilfskräften und Praktikant*innen orientieren wir uns an den Vorgaben für Hochschulen des Landes. Die Höhe ist abhängig davon, ob Du bereits einen (Studien-)Abschluss und/oder erste Berufserfahrung hast. Abschlussarbeiten können entsprechend der Vorgaben leider nicht vergütet werden.
• Deine Arbeitszeit und Vertragsdauer legen wir in gemeinsamer Absprache mit Dir fest.