Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
management, combined "safety/security" approaches, risk analysis, and the optimization and certification of systems using artificial intelligence. Skills in the laboratory's application domains, particularly
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
, specifically within the IRISA/Sotern teams, in cooperation with the LAB-STICC/Iris, all two experts research groups in network security. In collaboration with the project team and under the supervision
-
in workshops and in scientific journals and conferences. Scientific context The main challenge is to quantify the risk of a severe accident in order to guarantee the safety of containment structures in
-
. ------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------------------------------------...
-
research axes , as well as research programs in computational biology, addressing the challenges of biological process modeling and multi-scale data integration. Successful applicants are expected to secure
-
About us The University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character. The Interdisciplinary Centre for Security, Reliability
-
translational medicine using a "bench-to-bedside" approach. By harmonising and analysing diverse biomedical data, while focusing on the secure data processing and predictive modelling, we aim to drive progress in
-
About us The University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character. The Interdisciplinary Centre for Security, Reliability
-
policy-as-code for real-time safety checks Parameter-efficient fine-tuning of LLMs for age-appropriate, pedagogically meaningful dialogue High-performance computing pipelines on Luxembourg's MeluXina