Ingénieur-Chercheur pour la vérification et la validation de systèmes IA F/H

Description de l'OffreLe CEA recherche un Ingénieur Chercheur pour rejoindre son équipe de spécialistes en vérification et validation de systèmes d'intelligence artificielle. Vous serez chargé de développer et de mettre en œuvre des méthodes avancées de vérification et de validation pour garantir la fiabilité, la robustesse et la sécurité des...

Description de l'offre'Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité.'EN SYNTHESE, QU'EST-CE QUE NOUS VOUS PROPOSONS ?Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e)...

Description de l'offreL'Ingénieur Chercheur pour la Vérification et la Validation de Systèmes IA rejoindra le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) pour contribuer à l'amélioration de la confiance dans les systèmes d'intelligence artificielle.Pourquoi rejoindre le CEA ?Votre mission vous permettra de travailler au...

Présentation du posteLe CNRS recherche un chercheur postdoctoral pour travailler sur les méthodes ensemblistes pour la vérification de réseaux de neurones. Le candidat sélectionné contribuera à la tâche 3.1 du projet SAIF (Sécurité de l'IA par des méthodes formelles) du PEPR IA.MissionsLe chercheur postdoctoral contribuera à la vérification des...

Vue d'ensemble de l'entrepriseCENTUM T&S, un leader dans le domaine de l'électronique embarquée, offre une gamme complète de services d'ingénierie de conception de systèmes électroniques embarqués pour les clients mondiaux. Nous sommes un centre d'excellence en conception électronique, concevant des projets critiques dans les...

pbDescriptiondel'offre/b/ppb'RejoignezleCEApourdonnerdusensàvotreactivité,meneretsoutenirdesprojetsdeR&Dnationauxetinternationaux,cultiveretfairevivrevotreespritdecuriosité.'/b/ppbENSYNTHESE,QU'EST-CEQUENOUSVOUSPROPOSONS?/b/ppLeCommissariatàl'ÉnergieAtomiqueetauxÉnergiesAlternatives(CEA)rechercheun(e)IngénieurChercheurspécialisé(...

Postdoctorat en méthodes ensemblistes pour la vérification de réseaux de neuronesMissionsLe chercheur postdoctoral contribuera à la tâche 3.1 (Au-delà de la robustesse de la classification locale) et à la tâche 2.3 (Architectures de réseaux neuronaux avancées) du projet SAIF (Sécurité de l'IA par des méthodes formelles) du PEPR...

Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche en informatique quantique.Qu'est-ce que nous vous proposons?Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique.Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à garantir la...

Offre de poste : Ingénieur Intégration et Validation SystèmesAfin d'accompagner sa croissance, notre client recrute un ingénieur intégration et validation systèmes pour rejoindre l'équipe produit qui œuvre à proposer des caméras et son logiciel d'exploitation en charge de l'acquisition, du traitement d'images, processus de...

Offre de posteLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche.Compétences requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel (idéalement OCaml)Connaissance des méthodes formelles (vérification déductive...

Présentation du posteTitre du poste : Ingénieur chercheur en Machine Learning - IA de confiance H/FStatut : CadreDurée du contrat : 18 moisDescription du rôleVous rejoindrez l'équipe de recherche et développement du CEA LIST, spécialisée en vision par ordinateur et machine learning. Vos missions seront de développer des algorithmes de machine...

Offre de rechercheNous recherchons un Ingénieur-Chercheur pour rejoindre notre équipe de recherche en cybersécurité logicielle bas niveau. Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité.Objectifs de la rechercheNos travaux de recherche visent à comprendre comment les méthodes d'analyse...

Poste de Cadre en Vision et Intelligence ArtificielleL'Institut List du CEA recherche un(e) Ingénieur Chercheur en Vision et Intelligence Artificielle pour rejoindre son équipe de recherche dans le domaine de la vision par ordinateur et de l'intelligence artificielle.ResponsabilitésContribuer à la réflexion scientifique et technique nécessaire...

Depuis plus de 30 ans, CENTUM T&S apporte conseil et expertise à ses clients dans le domaine de l'électronique embarquée. Nous offrons une large gamme de services d'ingénierie de conception de systèmes électroniques embarqués aux clients mondiaux pour les aider à réaliser des produits et des sous-systèmes complexes. Centum T&S est un centre...

Offre de rechercheNous recherchons un Ingénieur-Chercheur pour rejoindre notre équipe de recherche en cybersécurité logicielle bas niveau. Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité.Objectifs de la rechercheNos travaux de recherche visent à comprendre comment les méthodes d'analyse...

Outils de travail Le postdoctorant contribuera à l'avancement des méthodes ensemblistes pour la vérification de réseaux de neurones dans le cadre du projet SAIF (Sécurité de l'IA par des méthodes formelles) du PEPR IA. Les objectifs principaux de ce poste sont l'étude des propriétés de robustesse généralisées des réseaux de...

Offre de posteL'Ingénieur-Chercheur rejoindra notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser sur des méthodes et...

MissionNous recherchons un chercheur scientifique de partenariats pour rejoindre notre équipe au sein de l'Institut Polytechnique de Paris. Vous serez chargé de développer et de coordonner des partenariats scientifiques avec les entreprises ciblées, en utilisant l'offre scientifique de l'Institut.ResponsabilitésCo-construire et développer des...

Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à l'avancement de la recherche en informatique quantique.En synthèse, nous vous proposons :Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique. Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à...

Description de l'offre Le CEA recherche un Ingénieur-Chercheur pour rejoindre son équipe de recherche en informatique quantique. Le candidat idéal aura une expertise en méthodes formelles et une expérience dans le développement de logiciels pour la programmation quantique. Les principaux chantiers à l'œuvre sont : La vérification...