Sort by
Refine Your Search
-
Category
-
Field
-
Formal Modeling of Clock Glitch Attacks for Security Verification of Processors H/F Research context Embedded processors are increasingly deployed in security-critical applications, making
-
on this benchmark. - Write a publication about this benchmark. #Cea List Moyens / Méthodes / Logiciels AI, Deep Neural Network, Computer Vision, Human behavior analysis Profil du candidat Profile - Students in
-
of the DBSCI (imaging platforms of the LPCV, IBS, PFNC, equipped with instruments such as FIB-SEM and cryo-TEM, etc.). You will work in close collaboration with IBS to build a local network aimed at developing
-
further supports efficient design space exploration via optimization strategies. This role is part of EU-funded research projects on next-gen HPC networks and open-source EDA tools, with a focus on optical
-
prerequisite for any use in nuclear safety; and, in the second year, tackling a high-value exploratory axis — generalizing PULSE to a continuous latent space, opening the door to any disordered crystal or alloy
-
spectroscopy, ionic conductivity measurements, NMR. - Excellent laboratory skills, with a strong commitment to laboratory safety regulations. - Excellent written and verbal communication skills in English
-
safety-critical tasks, such as healthcare or automated vehicles, where trustworthy models are required. The existing literature for the OoD detection problem focuses on the development of confidence scores
-
material fracture is paramount in the nuclear industry to ensure the structural integrity and long-term safety of critical components. Therefore, accurately simulating the onset of cracks and their