Wissenschaftliche Mitarbeiter (m/w/d) für die Entwicklung des Central-Car-Server Konzeptes der Zukunft

Über uns

Der Lehrstuhl für Robotik, Künstliche Intelligenz und Echtzeitsysteme (Prof. Dr.-Ing. habil. Alois Knoll) an der TUM School of Computation, Information and Technology (CIT) forscht im Bereich innovativer Softwarearchitekturen für künftige Fahrzeuge mit Central-Car-Server - eine Herausforderung, die noch mit einer Vielzahl inspirierender Forschungsfragen verknüpft ist.

Aufgaben

Während der gesamten Projektlaufzeit werden iterativ Anforderungen an einen zentralen Fahrzeugrechner aufgenommen und anschließend in einem formalen Modell umgesetzt. Dieser Ansatz erlaubt beispielsweise die Anwendung von Methoden für die formale Verifikation. Für die Modellierung sind entsprechende Methoden zu entwickeln und zu implementieren. Im Reallabor werden diese Ergebnisse auf ihre Praxistauglichkeit geprüft.

Anforderungen

• Abgeschlossenes Hochschulstudium (Master) der Fachrichtung Informatik
• Kenntnisse formaler Methoden der modellbasierten Entwicklung
• Kenntnisse und Erfahrung in KI-Methoden für die Anforderungs- und Architekturmodellierung
• Sehr gute Kenntnisse in der Programmierung mit C++/Java

Benefits

• Vergütung nach Entgeltgruppe 13 TV-L Bayern
• Befristung auf 1 Jahr mit Option auf Verlängerung um 2 weitere Jahre
• Interdisziplinäres und multikulturelles Team
• Möglichkeit zur Promotion an einer Exzellenzuniversität
• Zugang zu Fördermitteln für Forschungsreisen