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
Servicetechniker (m/w/d) - Energietechnische Anlagen im Fokus !
Das Unternehmen Unser Mandant ist ein ostwestfälischer und weltweit bekannter Anlagenbauer im Bereich der Energietechnik. Nachhaltigkeit, modernste Technologien, eine zukunftsorientierte Unternehm…
Teamleiter * Managementberatung - Stuttgart
Parkplatz am Büro | 20 Min. vom Hbf entfernt | Hybrider Arbeitsplatz Wir suchen Persönlichkeiten, die mit Leidenschaft führen, Verantwortung übernehmen und mit ihrem Team die Zukunft gestalten wol…
Mechatroniker (m/w/d) in der Medizintechnik - Ab sofort in Vollzeit
Mechatroniker (m/w/d) in der Medizintechnik - Ab sofort in Vollzeit 18.03.2026 Morcher GmbH Stuttgart Weitere passende Anzeigen: Jobmailer Ihre Merkliste / Mit Klick auf einen Stern in der…
IT-Administrator (m/w/d) mit Schwerpunkt Applikationsbetrieb - Ingenieur, System Engineering / Admin
Gestalte mit uns die IT von morgen Du verantwortest eine moderne, cloudbasierte Applikationslandschaft und stellst einen stabilen, sicheren und zukunftsfähigen Betrieb sicher. Dabei arbeitest du h…
SAP FI/CO Berater (m/w) - 75 % Home Office - 15564.002.10938 - KA Resources
Verstärken Sie in Festanstellung im Home Office ein weltweit agierendes Team in einem traditionellem, aber innovativem und expandierenden Industrieunternehmen. Arbeiten Sie monatlich 3 Wochen von z…
Werkstudent Kooperation Bachelorstudium Angewandte Mathematik und Künstliche Intelligenz (w/m/d)
Im Rahmen Deines Studiums Angewandte Mathematik und Künstliche Intelligenz mit dem Fokus auf Finanz- und Versicherungsmathematik arbeitest Du von Beginn an bei uns als Werkstudent:in mit und kannst…
Lead Engineer Detail Engineering (m/w/d) - Wasseraufbereitung
Egal ob als Junior, Professional oder Führungskraft: Wir begleiten den gesamten Karriereweg. Bundesweit warten attraktive Jobs, insbesondere in den Bereichen Mobility, Tech und Energy. Unser Ziel ist…
Seniorberater (m/w/d) fachliches Anforderungsmanagement/ Product Owner Public Sector
Der Arbeitgeber Unser Mandant ist eine unabhängige Managementberatung mit Projekten auf allen Ebenen der öffentlichen Verwaltung und der öffentlichen Institutionen. Der Fokus der Beratung liegt au…
Verkäufer:in für den Bereich Outdoor und Fitness
Fashion und Lifestyle, 6.500 Mitarbeiter:innen, 13 Department Stores, Online-Shops in Deutschland, Polen, Österreich, Belgien, Luxemburg, Spanien, den Niederlanden und der Schweiz, über 2000 Marken, …
Vertriebsassistenz im Fuhrparkmanagement (m/w/d)
Vertriebsassistenz im Fuhrparkmanagement (m/w/d) Die ausgeschriebene Stelle ist im Rahmen der Arbeitnehmerüberlassung zu besetzen, bei unserem Kunden einem Mobilitätsdienstleistere am Standort i…