Description

— 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

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. - 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 bietenWas das Arbeiten am FZI auszeichnet und was wir Dir bieten, kannst Du unserer Stellenanzeige entnehmen: jobs.fzi.de/11215 .