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.
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
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 VARIANCE project, funded by Luxembourg National Research Fund. The topic of the project is "Variability-Aware Design of Cyber-Physical Systems" and it concerns the development of novel verification methods to effectively support the design process of cyber-physical systems. The key idea is to represent a large set of design alternatives in a concise model with a well-defined semantics and then apply efficient verification techniques to assess the performance of these designs with regard to different indicators and objectives. 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 across different domains, e.g., automotive systems, space systems, smart grids, smart factories, etc. 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:
Your Profile
Qualification:
The candidate should possess an MSc degree (or equivalent) in computer science with strong programming skills and good knowledge of verification methods.
Experience: The ideal candidate should have some knowledge and/or experience in most of the following topics:
Language Skills: Fluent written and verbal communication skills in English are mandatory
Here's what awaits you at SnT
But wait, there's more!
How to apply
Applications should 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.
The University of Luxembourg embraces inclusion and diversity as key values. We are fully committed to removing any discriminatory barrier related to gender, and not only, in recruitment and career progression of our staff.
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.
Besuchen Sie die Arbeitgeberseite