Student*in für eine Masterarbeit für das formale Beweisen von Compiler-Optimierungen

FZI Forschungszentrum InformatikKarlsruhe

Stellenbeschreibung:

Gestalte die Zukunft mit uns

als Student*in für eine Masterarbeit für das formale Beweisen von Compiler-Optimierungen

Stundenbasis | Befristet | Karlsruhe | ab sofort

Rocq, Theorembeweiser, Compiler, Optimierungen, formale Verifikation

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

Der Forschungsbereich Intelligent Systems and Production Engineering (ISPE) entwickelt und erprobt Methoden, Werkzeuge und Entwurfsverfahren zur Realisierung softwarebetriebener technischer Systeme in den Bereichen Mikroelektronik, verteilte eingebettete Systeme, autonome kognitive Systeme, intelligente Assistenzsysteme, Entwicklung von Service-Robotern, Informationsmanagement in der Produktentstehung sowie integriertes Energiemanagement.

Responsibilities

Du arbeitest in einem interaktiven Theorembeweiser (Rocq) an einem verifizierten C-Compiler.
Du definierst eine neue Semantik für eine Zwischensprache und zeigst Äquivalenz zur alten Semantik.
Du implementierst und beweist neue Transformationen, bspw. Inlining oder Loop-Optimierungen.

Das bringst Du mit

Du studierst Informatik, Mathematik oder einen verwandten Studiengang.
Du hast Spaß am Beweisen und hast schon Erfahrungen in einem interaktiven Theorembeweiser wie Lean oder Rocq gesammelt.
Du interessierst Dich für die interne Funktionsweise von Compilern.
Du hast idealerweise bereits mit funktionalen Sprachen wie Haskell oder OCaml gearbeitet.
Du besitzt ein überdurchschnittliches Maß an Eigeninitiative sowie eine sorgfältige, gewissenhafte Arbeitsweise.
Du besitzt sehr gute Deutsch- und Englischkenntnisse in Wort und Schrift.

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.