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
Similar Positions
-
Ph D Candidate In Software And System Verification, University of Luxembourg, Luxembourg, 16 days ago
13 Apr 2024 Job Information Organisation/Company University of Luxembourg Research Field Computer science » Other Researcher Profile First Stage Researcher (R1) Country Luxembourg Application Dead...
-
Ph D Candidate In Input Output Analysis For Consumption Based Policymaking E 2443, Luxembourg Institute of Science and Technology, Luxembourg, 4 days ago
25 Apr 2024 Job Information Organisation/Company Luxembourg Institute of Science and Technology Research Field Environmental science » Ecology Environmental science » Other Researcher Profile Firs...
-
Ph D Candidate In Smart European Electricity Markets, University of Luxembourg, Luxembourg, about 10 hours ago
27 Apr 2024 Job Information Organisation/Company University of Luxembourg Research Field Economics » Econometrics Researcher Profile First Stage Researcher (R1) Country Luxembourg Application Dead...
-
Ph D In Automatic Testing In Continuous Integration Environments, University of Luxembourg, Luxembourg, about 11 hours ago
27 Apr 2024 Job Information Organisation/Company University of Luxembourg Research Field Computer science » Other Researcher Profile First Stage Researcher (R1) Country Luxembourg Application Dead...
-
Prestigious Industrial Ph D Student Position On “Precise Positioning With Rf”, Eindhoven University of Technology, Netherlands, about 1 hour ago
Irène Curie Fellowship No Department(s) Electrical Engineering Reference number V36.7388 Job description This position will be in the program line PL1 “Intelligent Components’ of the Dutch Growthf...
-
Doctoral Researcher (Ph D Candidate) In Computer Science, University of Luxembourg, Luxembourg, 22 days ago
6 Apr 2024 Job Information Organisation/Company University of Luxembourg Research Field Computer science » Other Researcher Profile First Stage Researcher (R1) Country Luxembourg Application Deadl...