Bachelorand LLM-basierte Generierung und Verifikation von Bibliotheken für das Key Management I[...]

Overview

Mercedes-Benz Tech Innovation - doch wir bauen keine Autos: Wir definieren die Zukunft mit Technologie. Als größte Tech Company der Mercedes-Benz Group AG arbeiten rund 2.500 Mitarbeitende in Ulm, im Raum Stuttgart, in Berlin und in Karlsruhe sowie in internationalen Tech Hubs an den Techniktrends der Mobilität von morgen. Uns verbindet die Begeisterung für Innovation und neueste Technologien – kombiniert mit der Überzeugung, dass individuelle Freiheit und Eigenverantwortung für echten Fortschritt entscheidend sind. Wir sind #techinnovators.

Mehr über uns erfahren: Über uns Mercedes-Benz Tech Innovation GmbH

Aufgaben (Responsibilities)

• Als Bachelorand (d/m/w/x) wirst du dich intensiv mit der Spezifikation des Key Management Interoperability Protocol (KMIP) 2.0 auseinandersetzen, um eine solide Grundlage für die Bibliotheksgenerierung zu schaffen.
• Darauf aufbauend konzipierst und implementierst du einen innovativen Spec-Kit-Driven Ansatz, der Large Language Models (LLMs) für die automatische Generierung von Bibliotheken nutzt.
• Ein wichtiger Schritt ist dann die sorgfältige Verifikation der generierten Bibliotheken, die du anhand der Spezifikation und relevanter Standards durchführen wirst.
• Du untersuchst außerdem, inwieweit sich dieser Ansatz auf verschiedene Programmiersprachen übertragen lässt, um seine Vielseitigkeit zu beweisen.
• Gleichzeitig evaluierst du geeignete Verifikations- und Testmethoden, um die Korrektheit und Zuverlässigkeit der entwickelten Bibliotheken zu gewährleisten.
• Darüber hinaus betrachtest du die breitere Anwendbarkeit deines Ansatzes im Hinblick auf andere Spezifikationen und RFCs, die wichtige Industriestandards abbilden.

Wie du in unser Team passt (Qualifications & Anforderungen)

• Unlock your chance: Sende uns deine vollständige Bewerbung (inkl. Immatrikulationsbescheinigung, Notenübersicht, ggf. Aufenthaltstitel/Arbeitserlaubnis) und werde Teil unseres Teams!
• Du bist immatrikulierter Student (d/m/w/x) in einem Fachbereich wie Informatik, Software Engineering oder Mathematik und bringst ein großes Interesse an generativer KI sowie LLM-basierter Softwareentwicklung mit.
• Idealerweise verfügst du bereits über Grundkenntnisse in der Softwareentwicklung, vorzugsweise mit Java oder Typescript.
• Dein Interesse gilt zudem technischen Spezifikationen, Protokollen und strukturierten Verifikationsansätzen, die du gerne näher ergründen möchtest.
• Eine analytische, selbstständige und strukturierte Arbeitsweise zeichnet dich aus.
• Abgerundet wird dein Profil durch gute Deutsch- und Englischkenntnisse.

Benefits

• Flexible Arbeitsgestaltung: Damit neben Studium und Arbeit noch genügend Freizeit bleibt, bekommst du anteilig 30 Urlaubstage sowie die Möglichkeit, deine Arbeitszeiten flexibel zu planen. In Abstimmung mit deinem Team und deinem Ansprechpartner hast du auch die Möglichkeit, remote zu arbeiten. Zudem sind nahezu alle unsere Stellen geeignet, um in Teilzeit ausgeführt zu werden.
• Mittendrin statt nur dabei: Du begleitest innovative Projekte am Puls der Zeit und übernimmst verantwortungsvolle Aufgaben, so bist du von Beginn an ein vollwertiges Mitglied unseres Teams! Natürlich profitierst du hierbei von einem attraktiven Gehalt.
• Begegnung auf Augenhöhe: Bei Mercedes-Benz Tech Innovation sind wir ein Team! Unsere Zusammenarbeit basiert auf gegenseitigem Vertrauen und Respekt. Flache Hierarchien, eine wertschätzende Atmosphäre, Offenheit und Aufgeschlossenheit gehören bei uns zum Arbeitsalltag. Damit dein Start bei uns gelingt, erhältst du eine individuelle Einarbeitung und einen direkten Ansprechpartner.
• Ein Great Place to Work: Mercedes-Benz Tech Innovation hat bereits mehrmals die Auszeichnung „Great Place to Work – Beste Arbeitgeber“ verliehen bekommen. Vielleicht sind wir auch schon bald dein Great Place to Work!