Student*in für eine Abschlussarbeit zum Thema Security-Verifikation von RISC-V Prozessoren
Eintrag vom 10.09.2024
Angebotsnr. 118012
Stelle frei: Ab sofortAngebotsnr. 118012
Beschreibung
Stundenbasis | Befristet | Karlsruhe | ab sofort
Du hast Lust, in einem innovativen Forschungsumfeld zu arbeiten? Du suchst ein tolles Team, in dem Du Dich weiterentwickeln und einbringen kannst? Und vor allem: Du willst die Zukunft aktiv mitgestalten? Dann bist Du bei uns am FZI genau richtig!Wir sind eine gemeinnützige Forschungseinrichtung und beschäftigen uns mit spannenden und abwechslungsreichen Aufgaben der Informatik-Anwendungsforschung. Unsere Aufgabe ist neben dem Transfer unserer Forschungsergebnisse in Wirtschaft, Verwaltung und Gesellschaft auch die Aus- und Weiterbildung von zukünftigen Fach- und Führungskräften für den digitalen Wandel.Das erwartet Dich bei unsWir, 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.Welche Anforderungen die Stelle mit sich bringt und was Dich am FZI erwartet, kanns du der ausführlichen Ausschreibung auf unserem Karriereportal entnehmen: https://karriere.fzi.de/Vacancies/1092/Description/1.Haben wir Dein Interesse geweckt? Dann bewirb Dich bei uns.
Wir freuen uns darauf, Dich kennenzulernen!
- Art der Anzeige
- Studentische Hilfskraft (Hiwi) / Werkstudent*in
- Gewünschtes Studium
- Ingenieurwissenschaften
Elektrotechnik & Informationstechnik
Informatik
- Ingenieurwissenschaften
- Gesuchter Karrierestatus
- Studierende*r*n
- Arbeitsregion
- Karlsruhe und Umgebung
- Unternehmensbereich
- Forschung
- Unternehmensbranche
- Wissenschaft & Forschung
- IT & Internet
- Gemeinnützige Organisation
- Sprache am Arbeitsplatz
- Deutsch
- Art des Unternehmens
- Wissenschaftliche Einrichtung
- Homeoffice
- Homeoffice möglich
Kontakt
Fachliche Fragen zur Stelle beantwortet Dir gerne Anton Paule (+49 721 9654-422).
Unternehmensanschrift
FZI FORSCHUNGSZENTRUM INFORMATIK
Haid-und-Neu-Straße 10-14
76131 Karlsruhe
Deutschland
Telefon: +49 721 9654-0
www.fzi.de