Student*in für eine Masterarbeit für das formale Beweisen von Compiler-Optimierungen
FZI Research Center for Information Technology · Karlsruhe, Baden-Wurttemberg, DE
— Gestalte die Zukunft mit uns als Student*in für eine Masterarbeit für das formale Beweisen von Compiler-Optimierungen Stundenbasis | Befristet | Karlsruhe...
Job 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 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,...