As the successful candidate, you will join the Security, Reasoning and Validation (SeRVal) group of the SnT, under the supervision of Dr.
Maxime Cordy. You will contribute more specifically to the BEEHIVE project, funded by Luxembourg National Research Fund.
The topic of the project is Behaviour-Induced Configuration of Variability-Intensive Systems and it concerns the development of theories, techniques and tools to assess multiple variants / configurations of complex software systems efficiently.
The involved analysis techniques include (but are not limited to) : model checking, guided sampling, metaheuristics, simulations, prediction models (machine learning).
The results of the project are expected to apply to multiple use cases, automotive systems, satellite, smart grids, smart factories, etc.
in collaboration with partners of the group. Depending on your profile, the project can focus more on theory, development and / or applications.
However, all three aspects are expected to be covered during the project.
The supervision team you will be working with is :
You will be required to perform the following tasks :
Qualification : The candidate should possess an MSc degree or equivalent in Computer Science, Applied Mathematics or a related area.
Experience : The ideal candidate should have some knowledge and / or experience in a number of the following topics :
Strong programming skills are required (working languages include Java, Python, C / C++).
Language Skills : Fluent written and verbal communication skills in English are required.
The University offers highly competitive salaries and is an equal opportunity employer. You will work in an exciting international environment and will have the opportunity to participate in the development of a newly created university.