post-docs

Toutes nos offres

+Filtrer par défi technologique

  • Cybersécurité : hardware et software
  • Efficacité énergétique pour bâtiments intelligents, mobilité électrique et procédés industriels
  • Energie solaire pour la transition énergétique
  • Energie verte et décarbonnée, y compris bioprocédés et recyclage des déchets
  • Fabrication additive, nouvelles voies d’économie de matériaux
  • Fonctions support - Soutien aux activités scientifiques
  • Hydrogène et piles à combustible : solutions avancées pour la transition énergétique
  • Instrumentation nucléaire et métrologie des rayonnements ionisants
  • Intelligence Artificielle et data intelligence
  • Les nouveaux paradigmes informatiques, dont le calcul quantique
  • Matériaux et procédés émergents pour les nanotechnologies et la microélectronique
  • Nano-caractérisation avancée
  • Photonique, imageurs et écrans
  • Réseaux de communication, internet des objets, radiofréquences et antennes
  • Réseaux énergétiques intelligents
  • Simulation numérique et modélisation
  • Stockage d'énergie électrochimique y compris les batteries pour la transition énergétique
  • Systèmes cyberphysiques - capteurs et actionneurs
  • Technologies pour la santé et dispositifs médicaux
  • Usine du futur dont robotique et contrôle non destructif

+Filtrer par institut

  • CEA-LETI
  • CEA-LIST
  • CEA Tech en Région

+Filtrer par localisation

  • Grenoble
  • Saclay
Nombre de résultats : 2
  • Cybersécurité : hardware et software Exploitation des méthodes formelles pour la gestion des interférences au sein des systèmes embarqués H/F

    Au sein d’une équipe de recherche technologique pluridisciplinaire d’experts en outils de co-design SW/HW par application de méthodes formelles, vous intervenez dans un projet national de recherche visant à développer un environnement pour identifier, analyser et réduire les interférences engendrées par l’exécution concurrente d’applicatifs sur une plateforme matérielle multi-coeur hétérogène sur étagère (COTS)

    En savoir +

  • Cybersécurité : hardware et software Contrats publics et privés pour ACSL

    Frama-C est une plateforme collaborative de l'analyse de programmes écrits en C. Cette plateforme comprend un langage de spécification nommé ACSL basé sur la notion de contrat. Ces contrats, fournis via des annotations dans le code, permettent de spécifier ce que l'on attend des différentes fonctions d'un programme. Il est ensuite possible de vérifier que...

    En savoir +

fr_FRFR

Contact us

We will reply as soon as possible...