Bachelor-/Masterthesis (f/m/x) - Automated transitive license analyse for space systems software - Forschung, Ingenieur

The DLR Institute of Software Technology sees software as a catalyst for research and innovation. Wenn die folgenden Stellenanforderungen und Erfahrungen mit Ihren Fähigkeiten übereinstimmen, bewerben Sie sich bitte umgehend. The institute s staff, currently numbering around 200, make a significant contribution to advancements in the fields of aviation, space, energy, transportation, and security through the development of state-of-the-art software solutions and innovative research. Our areas of competence include reliable and safety-critical software systems, artificial intelligence, high-performance computing and quantum computing, human-system interaction and visualisation, software and systems engineering as well as digital platforms and digital twins. What to expect The Intelligent and Distributed Systems department researches methods to make complex technical processes and systems from software development to automated workflows and AI-assisted analysis traceable, automatable, and interactively experimentally accessible. Software licenses are a tool for controlling the use and distribution of copyrighted software. As part of the Sustainable Software Engineering Group, your thesis will focus on scientific foundations, design, implementation and evaluation of an automated and efficient method for the analysis of license compatibility in the dependency graphs of software projects, and the provision of analysis results in machine-readable formats. The results of the thesis support the development of software in space systems by optimizing development processes and the transfer potential of the software. Your tasks Analysis of the state of the art in traceable and transitive analysis of software licenses, e.g., through a Systematic Literature Review (SLR) Design of an automated method for the traceable transitive analysis of software license compatibility Prototypical implementation of an efficient automated method for the traceable analysis of software license compatibility Evaluation of the prototype in complex software for space systems Your profile Student of computer science (e.g., with a focus on software engineering, systems engineering), or similar Knowledge of research methods (e.g., systematic methods for finding and reviewing academic literature) Good knowledge of relevant programming languages (e.g., Python, C, C++, Rust) and their build systems English proficiency: good communication skills, both written and spoken We look forward to getting to know you! If you have any questions about this position (Vacancy-ID 2429) please contact: Stephan Druskat Tel.: +49 30 67055 8042 Start of internal publication: Internal job advertisement deadline: