Thesis zum Thema Beweis von Shift-and-Add Multiplikation in Coq

Job vacancy: From now on

Description

— Gestalte die Zukunft mit uns
als Student*in (Abschlussarbeit Bachelor / Master) zum Thema Beweis von Shift-and-Add Multiplikation in Coq
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 uns
Unser Bereich Systementwurf in der Mikroelektronik (SIM) forscht an Architekturen und Entwurfsmethoden für software-intensive, zuverlässige Edge-Systeme. Im Rahmen des Forschungsprojekts FreeSBee werden Methoden entwickelt, um Software gegen Seitenkanalangriffe zu schützen.

- Du recherchierst über Constant-Time-Eigenschaften in der Kryptographie.
- Du implementierst eine Constant-Time Alternative zu einer speziellen Operation (bspw. Integer-Multiplikation via Shift-and-Add-Algorithmus).
- Du beweist die Korrektheit deines Algorithmus im Rocq Prover (früher bekannt als Coq).
- Du integrierst deinen Korrektheitsbeweis in den CompCert Compiler (bei Erstellung einer Master-Arbeit).

Das bringst Du mit
- Du studierst Informatik oder Mathematik.
- Du arbeitest gerne an mathematischen Beweisen sowie mit funktionalen Programmiersprachen wie bspw. Haskell.
- Du hast idealerweise bereits erste Erfahrungen mit Theorembeweisern oder Interesse, dich darin einzuarbeiten.
- Du besitzt ein überdurchschnittliches Maß an Eigeninitiative sowie eine sorgfältige, gewissenhafte Arbeitsweise.

Was wir Dir bieten
Was das Arbeiten am FZI auszeichnet und was wir Dir bieten, kannst Du unserer Stellenanzeige entnehmen: jobs.fzi.de/1113.