Emplois actuels liés à Ingénieur Chercheur en Vérification et Validation de Systèmes IA F/H - Palaiseau, Île-de-France - CEA
-
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Ingénieur Chercheur en Vérification et Validation de Systèmes IA F/H
il y a 3 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription 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)...
-
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Palaiseau, Île-de-France CNRS Temps pleinPré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...
-
Ingénieur chercheur en Intelligence Artificielle
il y a 4 semaines
Palaiseau, Île-de-France Aijobs Temps pleinDescription du Rôle Type de Contrat: Contrat Temporaire Titre du Poste: Ingénieur Chercheur en Machine Learning - IA de Confiance H/F Statut: Cadre Durée du Contrat: 18 mois Nous recherchons un ingénieur chercheur pour rejoindre notre équipe de recherche et développement en Intelligence Artificielle. Vous serez chargé de maitriser l'état de...
-
Ingénieur validation
il y a 2 semaines
Palaiseau, Île-de-France CENTUM T&S Temps pleinVue 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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 4 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Ingénieur-Chercheur en Vérification et Validation de Systèmes IA F/H
il y a 3 semaines
Palaiseau, Île-de-France CEA Temps pleinpbDescriptiondel'offre/b/ppb'RejoignezleCEApourdonnerdusensàvotreactivité,meneretsoutenirdesprojetsdeR&Dnationauxetinternationaux,cultiveretfairevivrevotreespritdecuriosité.'/b/ppbENSYNTHESE,QU'EST-CEQUENOUSVOUSPROPOSONS?/b/ppLeCommissariatàl'ÉnergieAtomiqueetauxÉnergiesAlternatives(CEA)rechercheun(e)IngénieurChercheurspécialisé(...
-
Palaiseau, Île-de-France CNRS Temps pleinPostdoctorat 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...
-
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Ingénieur Intégration et Validation Systèmes
il y a 4 semaines
Palaiseau, Île-de-France Thomas Search Consulting Temps pleinOffre 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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 2 semaines
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Ingénieur chercheur en intelligence artificielle
il y a 3 semaines
Palaiseau, Île-de-France Aijobs Temps pleinPré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...
-
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Ingénieur Chercheur en Vision et Intelligence Artificielle
il y a 4 semaines
Palaiseau, Île-de-France CEA Temps pleinPoste 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...
-
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Palaiseau, Île-de-France CNRS Temps pleinOutils 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...
-
Palaiseau, Île-de-France CEA Temps pleinIngénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveauVous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser sur des méthodes et plateformes...
-
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Chercheur scientifique de partenariats
il y a 2 semaines
Palaiseau, Île-de-France Institut Polytechnique de Paris Temps pleinMissionNous 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...
Ingénieur Chercheur en Vérification et Validation de Systèmes IA F/H
Il y a 2 mois
Le CEA recherche un Ingénieur Chercheur spécialisé en vérification et validation de systèmes d'intelligence artificielle. Vous rejoindrez notre équipe LSL/AISER, spécialisée en explicabilité, résilience et sureté des systèmes d'intelligence artificielle.
MissionVotre mission consiste à développer et 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 systèmes IA développés au sein du CEA.
Compétences Requises- Doctorat en Intelligence Artificielle, Méthodes Formelles ou Logique
- Connaissances en programmation fonctionnelle (OCaml)
- Sens du travail en équipe, capacités à la prise d'initiative et à prendre des responsabilités
Vous rejoindrez un écosystème de recherche à la pointe, unique en son genre et dédié à des thématiques à fort enjeu sociétal. Vous bénéficierez de formations pour renforcer vos compétences, d'un équilibre vie privée/vie professionnelle reconnu, de la possibilité de télétravailler et d'un CE riche en avantages et en activités sociales, culturelles et sportives.
