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
Teamlead Cloud & Workplace Management (m/w/d)
Du hast große Ziele und willst etwas Sinnstiftendes machen? Dann bist du bei uns genau richtig! Es ist unsere Vision, dass alle Menschen in Deutschland gesünder leben können! Wir übernehmen eine wic…
Leitstellendisponent oder Notrufsachbearbeiter (m/w/d) Fachbereich Integrierte Leitstelle, Oberleitstelle
Seit über 160 Jahren setzt das Rote Kreuz die Maßstäbe, wenn es um Rettung von Menschenleben, Hilfe in Not und die Erhaltung der Menschenwürde geht. Zur Verstärkung unseres Teams der Integrierten Lei…
Projektingenieur (w/m/d) Leit- und Sicherungstechnik in Stuttgart
Deine Benefits: - Unbefristeter Arbeitsvertrag - attraktive Vergütung mit Sonderleistungen (z.B. VwL) - Weihnachts- und Urlaubsgeld - 30 Tage Urlaub - Einstiegs- und Leistungsprämie sowie Empfeh…
Senior Consultant Indirect Tax Services - Umsatzsteuer (w/m/d)
Senior Consultant (w/m/d) Indirect Tax Services - Umsatzsteuer Standorte: München, Köln, Hamburg, Frankfurt, Stuttgart, Düsseldorf, Leipzig, Nürnberg, Bielefeld, Essen, Dresden, Berlin Karrier…
Kaufmännischer Assistent (m/w/d) ab sofort
+++ DIREKTVERMITTLUNG in Festanstellung (keine Zeitarbeit) / Vermittlungsgutscheine (AVGS) werden akzeptiert +++ Bei Fragen einfach unverbindlich anrufen: 03048479484 oder einen Rückruf vereinbaren…
Praxisanleiter (m/w/d)
Praxisanleiter (m/w/d)25.02.2026 Wohlfahrtswerk für Baden-Württemberg Stuttgart Weitere passende Anzeigen: Jobmailer Ihre Merkliste / Mit Klick auf einen Stern in der Trefferliste können S…
Projektleiter (m/w/d) Sicherheitstechnik
Das Unternehmen HAPEKO ist die erste Adresse für Fach- und Führungskräfte in Deutschland. Schwerpunkt der Tätigkeit ist das Schaffen von Verbindungen zwischen Spezialisten und Führungskräften mit …
Ausbildung Verkäufer 09.2026 (m/w/d)
Einleitung Wer mit uns ins Berufsleben startet, ist von Anfang an mittendrin statt nur dabei. Wir wollen, dass du Verantwortung übernimmst und als Teil des Teams nicht nur Neues lernst, sondern au…
PFLEGEFACHKRÄFTE
Es erwarten Sie interessante, verantwortungsvolle und abwechslungsreiche Arbeitsplätze in einer hervorragend positionierten Klinik mit Planungssicherzeit, attraktiver Vergütung nach Haustarifvertrag …
Senior Projekteinkäufer für Großprojekten im Bereich Maschinenbau (m/w/d)
Aufgaben: Aktuell sind wir auf der Suche nach einem "Senior Projekteinkäufer für Großprojekten im Bereich Maschinenbau" für ein spannendes Projekt. Auslastung 100% Remoteanteil 60% (bloc…