Sort by
Refine Your Search
-
Listed
-
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
-
gain practical experience with safety-critical systems and formal verification techniques, in particular model checking. -- Methods / Means: TLA+/TLC, Python, EMF/xtext Level required: Master's degree
-
representative tests in small-scale batteries. A multidisciplinary team is involved in the project with much excellence and expertise in the topic. An example of a recent related research can be found here: https
-
Scientific Reports, already cutting computational cost by more than two orders of magnitude (22,282 CPU hours down to 85 on a test case). With no known equivalent in the international literature, PULSE
-
segmentation. In : 2025 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV). IEEE, 2025. p. 2250-2259. [3] KERBL, Bernhard, KOPANAS, Georgios, LEIMKÜHLER, Thomas, et al. 3d gaussian splatting
-
from upskilling in artificial neural networks. #CEA-List Methods / Means artificial intelligence, deep learning, artificial neural networks, graph neural networks, computer Applicant Profile Desired
-
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
-
develop and apply cryo-ET on microalgae from laboratory cultures and field samples. At LPCV, you will contribute to the research themes of the Photosymbiosis team led by Johan Decelle (https
-
(M2) or engineering-school student in machine learning, applied mathematics or computer science Strong linear algebra; probability and optimization are a plus Solid Python and PyTorch Care in designing
-
in a team environment to achieve program goals in a timely fashion. Conformément aux engagements pris par le CEA en faveur de l'intégration des personnes handicapées, cet emploi est ouvert à toutes et