PhD Candidate in Software and System Verification, Model Checking, Cyber-Physical Systems | Luxembourg City, Luxembourg | University of Luxembourg

Position:	PhD Candidate in Software and System Verification, Model Checking, Cyber-Physical Systems
Institution:	University of Luxembourg
Location:	Luxembourg City, Luxembourg
Duties:	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
Requirements:	The candidate should possess an MSc degree (or equivalent) in computer science with strong programming skills and good knowledge of verification methods. The ideal candidate should have some knowledge and/or experience in most of the following topics: Programming (ideally C/C++); Variability-intensive software systems (software product lines, configurable systems); Model checking; Software engineering; Graph theory; Metaheuristics; Probability theory; Sampling and simulations; Embedded systems (automotive, satellite …); Machine learning

Text:	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 candidate should possess an MSc degree (or equivalent) in computer science with strong programming skills and good knowledge of verification methods. The ideal candidate should have some knowledge and/or experience in most of the following topics: Programming (ideally C/C++); Variability-intensive software systems (software product lines, configurable systems); Model checking; Software engineering; Graph theory; Metaheuristics; Probability theory; Sampling and simulations; Embedded systems (automotive, satellite …); Machine learning