Abschlussarbeit im Bereich KI-gestützte formale Verifikation - Ingenieur, Anwendungsentwicklung
Intro Text
Moderne Fahrzeuge werden mit immer komplexerer Software ausgestattet, die oft auch in kritische Fahrfunktionen eingebunden ist. Um sicherzustellen, dass die kritischen Software-Komponenten in allen Fahrsituationen korrekt funktionieren, muss viel Aufwand in das Testen und in die formale Verifikation (mathematischer Nachweis der Fehlerfreiheit) investiert werden.
Im Rahmen der Thesis soll untersucht werden, inwieweit innovative KI-Assistenten die Nutzung von formalen Verifikationswerkzeugen bei der Softwareentwicklung vereinfachen können. Im Fokus steht dabei vor allem das Erstellen und Vereinfachen von Call-Contracts, die dem Verifikationswerkzeug beim Überprüfen der Programmkorrektheit helfen. Diese Aufgabe wird bisher oft manuell bewältigt, könnte in Zukunft aber durch innovative KI-Agenten deutlich erleichtert oder in Teilen sogar komplett übernommen werden.
Uns ist wichtig, dass du das Arbeiten bei Vector vor Ort kennenlernst. Um das Studium und die Arbeit unter einen Hut zu bekommen, bieten wir nach individueller Abstimmung, und abhängig von der jeweiligen Tätigkeit, auch mobiles Arbeiten an. Bitte beachte, dass reine Remote-Arbeit nicht möglich ist.
Your Tasks
- Einarbeitung in das Umfeld und das verwendete Verifikationswerkzeug
- Literaturrecherche zum Stand der Technik
- Entwurf und Implementierung eines prototypischen KI-Assistenten für das Verifikationswerkzeug
- Evaluation und Bewertung des Ansatzes
Your Profile
- Studium in den Fachrichtungen Informatik, Elektro- und Informationstechnik oder vergleichbarer Studiengang
- Gute Programmierkenntnisse in mindestens einer der Programmiersprachen Python, TypeScript oder C++
- Grundlegende Kenntnisse in C und C++
- Grundlegende Kenntnisse und Erfahrungen im Aufbau von KI-basierten Werkzeugen
- Idealerweise Kenntnisse im Bereich statischer Code Analyse, formaler Verifikation und/oder Softwareentwicklung für Cyber-Physical Systems
Techstack
C, C++, Python, TypeScript
Empfohlene Jobs
Trockenbaumonteur (m/w/d)
Sie lieben präzises Arbeiten und haben ein Händchen für Innenausbau? Dann sind Sie bei uns richtig! Wir suchen Dich als Trockenbaumonteur (m/w/d) Deine Vorteile bei FISCHER: Pünktliche übertar…
Duales Studium 2026 - Fassadentechnik (B.Eng.)
Als Teil der weltweit tätigen STRABAG SE und Nummer eins im deutschen Hoch- und Ingenieurbau bauen wir bei ZÜBLIN laufend am Fortschritt. Einzigartigkeit und individuelle Stärken kennzeichnen dabei u…
Ausbildung Technischer Produktdesigner / Technische Produktdesignerin
Ausbildung Technische:r Produktdesigner:in (m/w/d) – die Konstrukteure und Produktgestaltenden! Interessierst Du Dich für Design, Gestaltung, Konstruktion? Möchtest Du bei der Entwicklung von Allt…
Sales Manager International (m/w/d) 100% remote
Sprachen: Deutsch + Englisch oder Französisch Vollzeit oder Teilzeit | ab sofort Du verkaufst keine Luftschlösser. Du rettest Werbebudgets. Mit unserem Tool Ads Defender schützen wir Kunden v…
Ausbildung Baugeräteführer (m/w/d)
WIR BILDEN AUS! BAUGERÄTEFÜHRER (M/W/D) PROFI WERDEN IN UNSEREN SPEZIALGEBIETEN: Gleisbau Straßenbau Tiefbau Hochbau / Umbau Renovierung / Sanierung Außenanlagen Jörger…
Zerspanungsmechaniker (m/w/d)
Zerspanungsmechaniker (m/w/d) Einsatzort Stuttgart Arbeitsbegin ab sofort Vertragsart Vollzeit Arbeitszeit 35 - 40 pro Woche Zweck und Ziel der Stelle Menschen bewegen uns - People move…
Host:essen (m/w/d) für die »UNITI« Messe
Einsatzort: Landesmesse Stuttgart Einsatztage: 19. - 21.05.2026 Einsatzzeit: ca. 9-18 Uhr (Zeiten können ggf variieren) Aufgaben: Standbetreuung/Service Vergütung: 15 € /Std. Beschäfti…
Haustechniker / Elektroniker (m/w/d) - Energie- & Gebäudetechnik
Wir suchen ab sofort einen Haustechniker (m/w/d) für Elektrotechnik in Stuttgart. IHRE AUFGABEN Inspektionsrundgänge durchführen sowie Wartungen, Instandsetzungen und Reparaturen an gebäudete…
Praktikum Qualität & Nachhaltigkeit - Kommunikation / Business Partnering Länder in Neckarsulm, Lidl
Deine Aufgaben Du unterstützt bei der Zusammenarbeit mit unseren Ländern und der Kommunikation rund um Themen der Qualitätssicherung und Nachhaltigkeit ab sofort für 6 Monate. … konkret heißt da…
Operationstechnischer Assistent/ OTA (m/w/d) für unseren AOP
Operationstechnischer Assistent/ OTA (m/w/d) für unseren AOP 04.04.2026 Rems-Murr-Kliniken gGmbH Winnenden Weitere passende Anzeigen: Jobmailer Ihre Merkliste / Mit Klick auf einen Ste…