About the SnT
SnT is a leading international research and innovation centre in secure, reliable and trustworthy ICT systems and services. We play an instrumental role in Luxembourg by fueling innovation through research partnerships with industry, boosting R&D investments leading to economic growth, and attracting highly qualified talent.
This industrial PhD position is part of the "Autonomous systems for Land, Air and Space" (ATLAS) IPGB Programme co-funded by the FNR, SnT and a consortium of industrial partners and administrations, including eBus Competence Center, Emile Weber, GomSpace, Gradel, IEE, Nexxtlab, Telindus and Ville de Luxembourg. For more information on the ATLAS IPBG programme, see here: https://edu.lu/wwpy7
We're looking for people driven by excellence, excited about innovation, and looking to make a difference. If this sounds like you, you've come to the right place!
Your Role
We offer an attractive doctoral position in the context of the ATLAS project, funded by the Luxembourg National Research Fund (FNR) and GomSpace Luxembourg. Specifically, you will contribute to one of the space systems track of ATLAS, which concerns the automated assessment of Autonomous Satellite Operation Orchestrators (ASOOs). ASOOs automate tasks that, a few years ago, were performed manually to minimise costs and improve the quality of service. Unfortunately, physical constraints (e.g., orbits), continuous evolution (e.g., to achieve more autonomy), and the distributed nature of ASOOs make their validation and verification (V&V) costly, ineffective, and nearly infeasible. Our research will lead to a toolset capable of exercising the PUS and REST entry points of those systems, automatically setting up simulation environments, and automatically determining the correctness of execution results. To this end, we aim to combine meta-heuristic and fuzzing approaches with natural language processing (e.g., enabled by Large Language Models) to automatically derive system-level testing scenarios that ensure requirements coverage and maximise structural coverage, in addition to deriving expected outputs.
The successful candidate will join the SVV research group, headed by Prof. Domenico Bianculli, and will report to Prof. Fabrizio Pastore (lead for one space systems track of ATLAS). The team focuses on the development and design of reliable, safe, and secure software systems, carrying out both upstream activities, such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, primarily software testing and analysis. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv
The position holder will be required to perform the following tasks:
For further information you may check www.securityandtrust.lu or contact
Your Profile
Here's what awaits you at SnT
But wait, there's more!
How to apply
Applications should be submitted online and include:
All qualified individuals are encouraged to apply.
Early application is highly encouraged, as the applications will be processed upon reception. Please apply formally through the HR system. Applications by email will not be considered.
In line with our values, the University of Luxembourg promotes an inclusive culture. We encourage applications from individuals of all backgrounds and are dedicated to upholding equality and respect for our employees and students.
General information:
The yearly gross salary for every PhD at the UL is EUR 40952 (full time)
The University of Luxembourg, a small-sized institution with an international reach, aims at excellence in research and education.
Visitez la page de l'employeur