Pause
Read
CEA vacancy search engine

Architecte numérique - conception et analyse temporelle des CPS H/F


Détail de l'offre

Informations générales

Entité de rattachement

Le Commissariat à l'énergie atomique et aux énergies alternatives (CEA) est un organisme public de recherche.

Acteur majeur de la recherche, du développement et de l'innovation, le CEA intervient dans le cadre de ses quatre missions :
. la défense et la sécurité
. l'énergie nucléaire (fission et fusion)
. la recherche technologique pour l'industrie
. la recherche fondamentale (sciences de la matière et sciences de la vie).

Avec ses 16000 salariés -techniciens, ingénieurs, chercheurs, et personnel en soutien à la recherche- le CEA participe à de nombreux projets de collaboration aux côtés de ses partenaires académiques et industriels.  

Référence

2020-14626  

Description de la Direction

Au sein de CEA Tech, le pôle « recherche technologique » du CEA, l'Institut List dédie ses activités aux systèmes numériques intelligents avec des programmes de R&D dans le manufacturing avancé, les systèmes embarqués, et l'intelligence ambiante. Nous accompagnons nos partenaires dans les domaines des transports, de l'industrie, de l'énergie, de la santé, de la sécurité et de la défense, pour transférer les technologies issues de l'innovation et améliorer leur compétitivité.

Description de l'unité

Au sein de l'Institut List, au cœur du Campus Paris Saclay, le Laboratoire Environnement de Conception et Architecture (LECA) a pour mission la conception d'architecture de calcul sur puces innovantes et flexibles répondant aux enjeux de performance, coût, consommation énergétique, sureté et sécurité notamment pour les systèmes embarqués critiques et les accélérateurs pour l'IA embarquée. En particulier, le laboratoire mène des travaux sur des méthodes de modélisation et d'analyse de propriétés temporelles dans les architectures multi-cœurs dans le but d'identifier puis de mitiger des interférence temporelles dans les systèmes cyber-physiques à criticité mixte.

Description du poste

Domaine

Technologies micro et nano

Contrat

CDD

Intitulé de l'offre

Architecte numérique - conception et analyse temporelle des CPS H/F

Statut du poste

Cadre

Durée du contrat (en mois)

18

Description de l'offre

Les principales missions du poste sont de contribuer activement au développement de modèles et de solutions architecturales (logicielles et matérielles) permettant d’identifier puis de mitiger les phénomènes temporels d’applicatifs, tels que des anomalies ou des contentions temporelles, s’exécutant sur des architectures multicoeurs.

Missions :

  • Participation à un travail d'équipe avec une force de proposition autour de :
    • la spécification et l'analyse de propriétés extra-fonctionnelles de modèles formels d'architecture logicielles et d'architectures matérielles et,
    • l'adaptation de la synthèse de systèmes temps réel pour satisfaire ou améliorer la satisfaction de ces propriétés extra-fonctionnelles, soit par modification des environnements de conception/compilation de ces systèmes, soit par modification des architectures matérielles de ces systèmes.
  • Valorisation de ses travaux auprès de partenaires institutionnels comme industriels au sein de projets de recherche.
  • Dissémination scientifique via des dépôts de brevets et la rédaction d'articles scientifiques

Profil du candidat

Ingénieur ou docteur, ayant une expérience significative en architecture et/ou compilation ainsi que dans l'utilisation de méthodes formelles vous disposez également d'une première expérience dans la conception et vérification/validation d'applications temps réel sur des architectures multicoeurs. Vous aimez évoluer dans un environnement de recherche appliquée à la pointe de l'état de l'art et proposer des innovations dans des domaines applicatifs nouveaux et variés.

Compétences techniques principales nécessaires au poste :
• Méthodes formelles : langage de spécifications formelles, environnement de vérification par modèle, solveurs SMT, etc.
• Architecture des ordinateurs et programmation : connaissance des architectures multi/many-coeurs et de leur utilisation dans un contexte pour l'exécution d'applications temps réels, analyse des temps d'exécution pire cas, connaissance des langages de description d'architectures matérielles (HDL)
• Compilation : connaissance des environnements de conception pour les systèmes temps réel (programmation synchrone par ex), chaînes de compilation (LLVM / GCC)
• Des expériences en termes d'interaction avec des partenaires dans le cadre de projets collaboratifs et/ou industriels ainsi qu'en terme de publications scientifiques sont également attendues.

Qualités personnelles:
• Capacité à travailler en équipe, tout en faisant preuve d'une bonne autonomie au quotidien ;
• Curiosité scientifique, goût pour les challenges techniques ;
• Capacité à appréhender et résoudre des problèmes complexes ;
• Une capacité de prise de recul et de vision transverse;
• Méthode de travail rigoureuse et esprit de synthèse.

Localisation du poste

Site

Saclay

Localisation du poste

France, Ile-de-France

Ville

Route du Cyclotron, 91400 Saclay, France

Critères candidat

Langues

  • Français (Courant)
  • Anglais (Courant)

Formation recommandée

Equivalent BAC+5 ou BAC+8

Demandeur

Disponibilité du poste

02/11/2020