Das erwartet Dich bei uns

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 möchtest an dieser grundlegenden Entwicklung mitwirken? Unsere Abteilung forscht an Architekturen und Entwurfsmethoden für softwareintensive, zuverlässige Systeme im Embedded-Bereich sowie an der Anwendung und Implementierung von künstlicher Intelligenz.

• Du arbeitest dich in die RISC-V Befehlssatzarchitektur ein.
• Du recherchierst das Thema: formale Beschreibungen von RISC-V Befehlssatzarchitekturen, z.B. mit CoreDSL.
• Du erarbeitest ein Konzept und entwickelst einen prototypischen Generator, der aus CoreDSL Beschreibungen C-Code generiert, das als Verifikationsmodell des Prozessors dient.
• Du evaluierst die generierten Verifikationsmodelle und bewertest, ob diese sich zur Verifikation eingebetteter RISC-V Software eignen.
• Du untersuchst verschiedener RISC-V Architekturen (RV32I, RV64).
• Du erweiterst die CoreDSL bezüglich RISC-V „Control and Status Registers (CSR)“.

Das bringst Du mit

• Du studierst Informatik, Elektrotechnik oder einen verwandten Studiengang.
• Du interessierst Dich für die Themenbereiche Embedded Systems und Prozessorarchitekturen, insbesondere RISC-V.
• Du hast erste Erfahrungen im Compilerbau oder Compilertechnologien.
• Die Programmiersprachen C/C++, Java oder Python schrecken Dich nicht ab.
• Du hast bestenfalls Grundkenntnisse im Umgang mit LLVM, Clang oder anderen Compilerframeworks.
• 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.