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
Ausbildung für Kaufleute für Versicherungen und Finanzen (m/w/d) 2025 -im Innendienst -
Starte Deine Karriere mit einer Ausbildung bei der MVK Versicherung MENSCHLICH I VERLÄSSLICH I KOOPERATIV Die MVK Versicherung hat seit ihrer Gründung einen bemerkenswerten Weg zurückgelegt. Was …
Betriebsleitung (m/w/d) für das Betriebsrestaurant
Das Landratsamt Karlsruhe ist mit rund 2000 Beschäftigten einer der größten Dienstleister der Region. Das Kreisgebiet umfasst großstädtisch wie ländlich strukturierte Bereiche mit den entsprechenden …
Verkäufer Elektro (gn)
Unsere Mitarbeiterinnen und Mitarbeiter verstehen sich stets als Partner, wenn es um die Planung und Realisierung der Projekte unserer Kunden geht. Du bist Impulsgeber für Projektideen, vertrauter Be…
Versandmitarbeiter (m/w/d)
Für unseren zuverlässigen Kunden im Großraum Karlsruhe suchen wir einen engagierten Versandmitarbeiter (m/w/d) zur Verstärkung des Logistikteams. Sie sind zuverlässig, arbeiten strukturiert und haben…
Abschlussarbeiten für Bachelor und Master (m/w/d)
Wir bieten: Innovative und abwechslungsreiche Fragestellungen in den Bereichen: Betriebswirtschaft & Sales, Telematik, Software & Services, mobile Telematik und elektronische Zahlungssysteme K…
Volljurist / Legal Counsel (m/w/d) in Neckarsulm, Lidl
Deine Aufgaben Juristische Begleitung unserer internationalen Geschäfte - praxisnah und strategisch. konkret heißt das… Eigenständige Beratung unserer Fachbereiche in allen wirtschaftsrechtlichen Frag…
IT Consultant - IGA (m/w/d)
Geschäftsprozesse verstehen, erfolgreich beraten und in einem dynamischen Arbeitsumfeld wachsen? Klar, bei uns. Du findest uns in Berlin-Kreuzberg und Karlsruhe, unsere Teams freuen sich auf dich. …
Marketing und Markenmanagement
Du möchtest im Bereich Marketing durchstarten? Beginne Dein Duales myStudium beim passenden Praxispartner. Du wirst in unserem Studienmodell des Dualen myStudium studieren und kannst interaktive Lern…
(Senior) SAP Berater:in PLM - Product Lifecycle Management
In Voll- oder Teilzeit (mind. 30 Stunden/Woche) Als NTT DATA Business Solutions treiben wir Innovationen voran - von der Beratung und Implementierung bis hin zu Managed Services und darüber hinaus,…
Berufskraftfahrer (w/m/d) im Fernverkehr
Stellenbeschreibung: Als Fahrerin bzw. Fahrer im Fernverkehr bist du die tragende Säule in der Entsorgungs- und Recyclingkette. Du hast stets den Überblick und sorgst dafür, dass alle Aufträge ordnu…