Abschlussarbeit im Bereich KI-gestützte formale Verifikation

Vor 6 Tagen

Karlsruhe, Baden-Württemberg, Deutschland Vector Informatik GmbH Vollzeit

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.

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

  • Abschlussarbeit im Bereich Toolchain für variantenreiche Software

    Vor 6 Tagen

    Karlsruhe, Baden-Württemberg, Deutschland Vector Informatik GmbH Vollzeit

    Du interessierst dich für Softwareengineering in allen Aspekten, unterschiedlichste Technologien, komplexe Algorithmen oder ansprechende Visualisierungen? Dann bist du bei uns in der Vorentwicklung für Embedded Systems genau richtig. Wir arbeiten in agilen Teams an neuen Lösungen und Werkzeugprototypen, um die Entwicklung, Qualitätssicherung und...

  • Abschlussarbeit im Bereich Tool Chain für variantenreiche Software

    Vor 6 Tagen

    Karlsruhe, Baden-Württemberg, Deutschland Vector Informatik GmbH Vollzeit

    Du interessierst dich für Softwareengineering in allen Aspekten, unterschiedlichste Technologien, komplexe Algorithmen oder ansprechende Visualisierungen? Dann bist du bei uns in der Vorentwicklung für Embedded Systems genau richtig. Wir arbeiten in agilen Teams an neuen Lösungen und Werkzeugprototypen, um die Entwicklung, Qualitätssicherung und...

  • Doktorand / Informatik / Gesundheitstechnologie und KI

    Vor 2 Tagen

    Karlsruhe, Baden-Württemberg, Deutschland Karlsruher Institut für Technologie (KIT) TECO Vollzeit

    Doktorand / Informatik / Gesundheitstechnologie und KI (Besoldungsgruppe E13, 100%)AufgabenGegenstand dieser Arbeit ist die Entwicklung und Anwendung von Verfahren der Künstlichen Intelligenz - insbesondere auch LLM-Verfahren - die in der Lage sind, Prozesse im Gesundheitswesen zu automatisieren. Dazu zählen etwa Verfahren zur automatisierten Konvertierung...

  • IT Consultant

    vor 17 Stunden

    Karlsruhe, Baden-Württemberg, Deutschland ERHARDT IT-Services Vollzeit

    Stellenbeschreibung In dieser spannenden Rolle suchen wir, die ERHARDT IT-Services, eine/n innovativen IT Consultant (m/w/d), der mit Expertise und Begeisterung unsere Kunden bei der Implementierung und Nutzung von Künstlicher Intelligenz unterstützt. Du begleitest Unternehmen auf ihrem Weg zur Automatisierung und Prozessoptimierung und leistest einen...

  • AI Architect

    Vor 4 Tagen

    Karlsruhe, Baden-Württemberg, Deutschland Cognitivo AG Vollzeit

    Als Unternehmensberatung für Software und Analytics unterstützt die cognitivo AG mit intelligenten IT- und Branchenlösungen sowie fachlich fundierter strategischer Beratung. Mit unserer Kompetenz im Bereich Software und Analytics tragen wir dazu bei, Prozesse zu optimieren, neue Geschäftsmodelle zu entwickeln und den Weg in Zeiten der digitalen...

  • Funding Systems

    vor 2 Wochen

    Karlsruhe, Baden-Württemberg, Deutschland Vulcan Energie Ressourcen GmbH Vollzeit

    Wir suchen DichVulcan Energie Ressourcen GmbH ist ein innovatives, schnell wachsendes Unternehmen im Bereich nachhaltiger Lithiumgewinnung und erneuerbarer Energien. Mit unserer Lithiumanlage leisten wir einen entscheidenden Beitrag zur Dekarbonisierung der europäischen Industrie und zur Sicherung einer nachhaltigen Lithiumversorgung in Europa....

  • Funding Systems

    Vor 6 Tagen

    Karlsruhe, Baden-Württemberg, Deutschland Vulcan Energie Ressourcen Vollzeit

    Wir suchen Dich Vulcan Energie Ressourcen GmbH ist ein innovatives, schnell wachsendes Unternehmen im Bereich nachhaltiger Lithiumgewinnung und erneuerbarer Energien. Mit unserer Lithiumanlage leisten wir einen entscheidenden Beitrag zur Dekarbonisierung der europäischen Industrie und zur Sicherung einer nachhaltigen Lithiumversorgung in Europa....

  • Senior Embedded Software Entwickler

    Vor 6 Tagen

    Karlsruhe, Baden-Württemberg, Deutschland Knowtion GmbH Vollzeit

    Wir sind ein 2011 aus dem Karlsruher Institut für Technologie heraus gegründetes innovatives Unternehmen und arbeiten eng mit unseren Kunden aus verschiedensten Branchen zusammen, um ihre Projekte durch die Entwicklung maßgeschneiderter Softwarelösungen zum Leben zu erwecken. Von ausfallsicheren eingebetteten Systemen bis hin zu KI-gestützter...

  • IT Operations Manager

    Vor 2 Tagen

    Karlsruhe, Baden-Württemberg, Deutschland ERHARDT IT-Services GmbH & Co. KG Vollzeit

    StellenbeschreibungDu willst nicht nur Systeme überwachen, sondern die IT-Landschaft aktiv gestalten? Dann bist Du bei uns genau richtig Als IT Operations Manager (m/w/d) stellst Du sicher, dass die IT-Systeme unserer Kunden zuverlässig funktionieren, und entwickelst sie kontinuierlich weiter. Dabei verantwortest Du den Betrieb von Server-,...

  • IT Operations Manager

    Vor 2 Tagen

    Karlsruhe, Baden-Württemberg, Deutschland Erhardt + Fischer GmbH & Co. KG Vollzeit

    StellenbeschreibungDu willst nicht nur Systeme überwachen, sondern die IT-Landschaft aktiv gestalten? Dann bist Du bei uns genau richtigAls IT Operations Manager (m/w/d) stellst Du sicher, dass die IT-Systeme unserer Kunden zuverlässig funktionieren, und entwickelst sie kontinuierlich weiter. Dabei verantwortest Du den Betrieb von Server-, Netzwerk- und...