Abschlussarbeit im Bereich KI-gestützte formale Verifikation - Ingenieur, Anwendungsentwicklung

Vector Informatik GmbH
Karlsruhe

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

Veröffentlicht am 2026-03-10

Empfohlene Jobs

Account Executive / Sales Development (m/w/d)

Daedalus GmbH
Karlsruhe

Darum gehts: Bei Daedalus definieren wir die Fertigungstechnik neu. Als Account Executive bist Du das „Gesicht“ zu unseren Neukund:innen und der entscheidende Motor für unser Wachstum. Du verbinde…

Details Anzeigen
Veröffentlicht am 2026-01-14

Monteur (m/w/d) / Industrie-Isolierer (m/w/d)

VINCI
Karlsruhe

IHRE AUFGABEN Fertigung und Montage von Dämmsystemen im Bereich Wärme- und Kältedämmung Durchführung von Brandschutzarbeiten im Bereich des baulichen Brandschutzes IHR PROFIL Eine abgesch…

Details Anzeigen
Veröffentlicht am 2026-02-08

Paketzusteller (m/w/d) (Karlsruhe)

Deutsche Post AG
Karlsruhe

Werde Paketzusteller (m/w/d) Was wir bieten ~18,47 € Tarif-Stundenlohn (inkl. 50% Weihnachtsgeld und inkl. 1,05€ regionale Arbeitsmarktzulage) ~ Weitere 50% Weihnachtsgeld im November …

Details Anzeigen
Veröffentlicht am 2026-03-12

Sales Manager Elektronik/EMS (MWD) Leiterplatten

Page Personnel
Karlsruhe

Schlüsselrolle beim Aufbau und der strategischen Weiterentwicklung des Vertriebs Agiles Arbeitsumfeld und viel eigenverantwortliches Arbeiten FIRMENPROFIL: In dieser Rolle verantworten Sie…

Details Anzeigen
Veröffentlicht am 2026-03-11

Operativer Einkäufer (m/w/d)

Karlsruhe

Bei einem unserer namhaften Kunden in Karlsruhe, bietet sich eine interessante Stelle als Operativer Einkäufer (m/w/d) ! Sie sind auf der Suche nach einer neuen Herausforderung? Sie haben bereits Erf…

Details Anzeigen
Veröffentlicht am 2026-03-05

Werkstudent / Praktikant Communication for Generative AI (d/m/w/x)

Mercedes-Benz Tech Innovation
Karlsruhe

Life is always about becoming… Im Leben geht es darum, sich auf eine Reise zu begeben, um die beste Version unseres zukünftigen Selbst zu werden. Während wir Neues entdecken, stellen wir uns Herausfo…

Details Anzeigen
Veröffentlicht am 2026-02-10

Einkäufer IT & Beratungsleistungen (m/w/d)

YER GmbH
Karlsruhe

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…

Details Anzeigen
Veröffentlicht am 2026-01-21

Consultant - Tax meets Tech - Steuerberater:in der Zukunft (m/w/d)

KPMG Karriere Deutschland
Karlsruhe

Du möchtest mit Deiner Expertise den Bereich Tax Transformation vorantreiben und Deinen eigenen Horizont in vielfältigen Themen erweitern? Dann kannst Du Dich hier einbringen: Du berätst unsere …

Details Anzeigen
Veröffentlicht am 2026-02-28

Business (m/w/d) Analyst CPO Lifecycle

YER GmbH
Karlsruhe

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…

Details Anzeigen
Veröffentlicht am 2026-02-25

Chemiehilfsarbeiter (m/w/d)

ARWA Personaldienstleistungen GmbH
Karlsruhe

Sie sind Chemiehilfsarbeiter (m/w/d) und möchten im Rahmen der Arbeitnehmerüberlassung mit Option auf Übernahme bei uns arbeiten? Ihr neuer Arbeitsplatz für 17,20 € bis 24,98 € pro Stunde befinde…

Details Anzeigen
Veröffentlicht am 2026-03-05