-
Bianculli, and will report to Prof. Fabrizio Pastore (principal investigator for MORTAL). The team focuses on the development and design of reliable, safe, and secure software systems, carrying out both
-
of publications List and short description of main research projects acquired over the past 5 (five) years List of supervised doctoral theses List of teaching activities over the past 5 (five) years Statement
-
of publications List and short description of main research projects acquired over the past 5 (five) years List of supervised doctoral theses List of teaching activities over the past 5 (five) years Statement
-
of publications List and short description of main research projects acquired over the past 5 (five) years List of supervised doctoral theses List of teaching activities over the past 5 (five) years Statement
-
of publications List and short description of main research projects acquired over the past 5 (five) years List of supervised doctoral theses List of teaching activities over the past 5 (five) years Statement
-
compliance, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups
-
-related leave and career breaks Copies of diplomas Complete list of publications and copies of 3 main publications/research papers Short report on research and teaching activities, including a list of
-
technologies that have a positive impact on society. For further details, please visit our website: https://www.uni.lu/snt-en/research-groups/finatrax/ The candidate will support project partnerships with