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-15216
Description du poste
Domaine
Mathématiques, information scientifique, logiciel
Contrat
Stage
Intitulé de l'offre
Stage - Outil d'Assistance au Raisonnement H/F
Sujet de stage
Vers un Outil d'Assistance au Raisonnement
Durée du contrat (en mois)
3 mois minimum
Description de l'offre
Le stage se déroulera au sein du Laboratoire d'ingénierie des langages exécutables et optimisation (LIDEO) du CEA LIST. Ce laboratoire développe des méthodes et des outils pour la modélisation, la simulation et l’optimisation de systèmes complexes. Pour répondre aux nouvelles demandes de l’ingénierie et de la société, le laboratoire souhaite élaborer une démarche outillée d’assistance au raisonnement basée sur des techniques d’IA et/ou de raisonnement qualitatif. Lors de projets industriels en cours auxquels participe le laboratoire – dont un projet lié aux véhicules autonomes - ont été démontrés la pertinence et le bénéfice que pouvait apporter le raisonnement qualitatif pour résoudre des problèmes posés dans le cadre d’une physique simplifiée (dite physique naïve) et énoncés de manière abstraite. Le laboratoire souhaite élaborer une chaîne d’assistance au raisonnement dans la cadre de la physique naïve.
L’objectif du stage sera de contribuer à tout ou partie de la chaîne de traitement que souhaite développer le laboratoire, chaîne assistée ou automatique qui devra permettre la saisie de l’énoncé d’un problème jusqu’à sa résolution. Suivant son profil le candidat pourra focaliser sa contribution soit sur la partie modélisation de l’énoncé, soit sur la partie résolution, voire sur la partie capitalisation et réutilisation des connaissances acquises.
Moyens / Méthodes / Logiciels
PC de Bureau
Localisation du poste
Site
Saclay
Localisation du poste
France, Ile-de-France, Essonne (91)
Ville
PALAISEAU
Critères candidat
Diplôme préparé
Bac+5 - Diplôme d'études approfondies (DEA)
Formation recommandée
Mathématiques, Informatique, Physique, IA, Méthodes Formelles
Possibilité de poursuite en thèse
Oui