PhD Candidate in Software and System Verification, Model Checking, Cyber-Physical Systems

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:

• Maxime Cordy: research scientist at SeRVal

You will be required to perform the following tasks:

• Carrying out research in the predefined areas
• Survey the scientific literature in the relevant research domains
• Disseminating results through scientific publications
• Communicate with stakeholders to collect requirements and report results
• Implement proof-of-concept software tools