Ingénieur Chercheur en Vérification et Validation de Systèmes IA F/H

il y a 4 semaines

Palaiseau, Île-de-France CEA Temps plein

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) Ingénieur Chercheur spécialisé(e) dans la vérification et la validation de systèmes d'intelligence artificielle.

Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à garantir la fiabilité des systèmes IA de demain ?

Ce poste de cadre en CDD est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).

Il s'agit d'un poste à pourvoir dès que possible.

POURQUOI NOUS REJOINDRE ?

En tant qu'Ingénieur Chercheur pour la Vérification et la Validation de Systèmes IA, vous serez au cœur du processus d'assurance qualité des systèmes d'intelligence artificielle.

Votre mission consistera à 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.

QU'ATTENDONS-NOUS DE VOUS ?

Vous rejoindrez notre groupe LSL/AISER, spécialisé en explicabilité, résilience et sureté des systèmes d'intelligence artificielle.

Le domaine général est de s'assurer du bon fonctionnement des systèmes d'intelligence artificielle pour obtenir un niveau de confiance suffisant à leur utilisation. Pour cela l'équipe développe une plateforme articulée autour de :

  • la vérification de la sureté des réseaux de neurones grâce à l'interprétation abstraite,
  • des tests métamorphiques de systèmes IA,
  • des solveurs de contraintes pour l'analyse symbolique et
  • des analyses d'explicabilité.

Les travaux attendus sont :

  • participer au développement et à l'amélioration de cette plateforme pour la confiance des IA
  • concevoir, implanter et évaluer de nouvelles méthodes dans la plateforme et en évaluer la pertinence sur des cas représentatifs,
  • valoriser les travaux de l'équipe.

Vous contribuerez à des projets avec des partenaires académiques et industriels du laboratoire, ainsi que des projets de recherche collaboratifs français et européens, notamment dans les domaines de la sûreté ou de la sécurité des systèmes d'IA.

#CEA-List

#LI-SDL

Profil du candidat

VOUS AVEZ ENCORE UN DOUTE ?

Les à-côtés de votre mission principale peuvent vous intéresser :

  • Un écosystème de recherche à la pointe, unique en son genre et dédié à des thématiques à fort enjeu sociétal, qui donne du sens à votre mission
  • Des formations pour renforcer vos compétences, en acquérir de nouvelles et booster votre mission
  • Un équilibre vie privée / vie professionnelle reconnu par nos collaborateurs
  • La possibilité de télétravailler pour équilibrer les temps de transport et contribuer à votre qualité de vie
  • Un CE riche en avantages et en activités sociales, culturelles et sportives
  • Un lieu de travail au cœur d'un plateau dynamique, entouré d'écoles et d'entreprises de la tech
  • Un restaurant d'entreprise subventionné à proximité
  • Un plan d'épargne entreprise avec abondement employeur
  • Des frais de transports en commun couverts à 75%
  • Des navettes dédiées au départ de Paris

COMPÉTENCES REQUISES :

  • Vous êtes titulaire d'un doctorat (ou être sur le point de terminer) en Intelligence Artificielle, Méthodes Formelles ou Logique.
  • Vous avez idéalement des connaissances en programmation fonctionnelle (idéalement OCaml).
  • Vous avez le sens du travail en équipe, des capacités à la prise d'initiative et à prendre des responsabilités (encadrement et gestion de projets)

Cela vous tente ? Postulez, ce poste est fait pour vous

Conformément aux engagements pris par le CEA en faveur de l'intégration des personnes en situation de handicap, cet emploi est ouvert à toutes et à tous.

  • Ingénieur de confiance pour la vérification et la validation de systèmes d'intelligence artificielle F/H

    il y a 3 semaines

    Palaiseau, Île-de-France CEA Temps plein

    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...

  • Chercheur postdoctoral en méthodes ensemblistes pour la vérification de réseaux de neurones

    il y a 4 semaines

    Palaiseau, Île-de-France CNRS Temps plein

    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...

  • Ingénieur validation

    il y a 4 semaines

    Palaiseau, Île-de-France CENTUM T&S Temps plein

    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...

  • Chercheur postdoctoral en méthodes ensemblistes pour la vérification de réseaux de neurones

    il y a 4 semaines

    Palaiseau, Île-de-France CNRS Temps plein

    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...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    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...

  • Postdoctoral Researcher for Ensemble Methods in Network Verification

    il y a 2 semaines

    Palaiseau, Île-de-France CNRS Temps plein

    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...

  • Chercheur scientifique de partenariats

    il y a 3 semaines

    Palaiseau, Île-de-France Institut Polytechnique de Paris Temps plein

    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...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

    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...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique, spécialiste en développement d'outils logiciels

    il y a 3 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Offre de poste : Ingénieur-Chercheur en méthodes formelles pour le quantique Nous sommes à la recherche d'un Ingénieur-Chercheur pour rejoindre notre équipe de recherche en méthodes formelles pour le quantique. Responsabilités : Développer des outils logiciels pour la vérification automatique de programmes quantiques Concevoir et implémenter des...

  • Ingénieur de Recherche en Cybersécurité IA pour le Réseau

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Offre de posteL'Ingénieur de Recherche en Cybersécurité IA pour le Réseau rejoindra l'équipe de recherche et développement du CEA/DRT pour travailler sur les technologies réseau logicielles innovantes en réponse aux enjeux télécom.MissionLa mission principale de l'Ingénieur de Recherche en Cybersécurité IA pour le Réseau consiste à...

  • Chercheur en Intelligence Artificielle

    il y a 4 semaines

    Palaiseau, Île-de-France ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES Temps plein

    MissionL'ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES recherche un chercheur en intelligence artificielle pour rejoindre son équipe de recherche en systèmes autonomes. Le candidat idéal sera un expert en conception de systèmes complexes, capable de développer des solutions innovantes pour les défis de la robotique et de la...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 3 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Développement de méthodes formelles quantiques Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique pour développer des techniques et des outils formels permettant l'écriture efficace de programmes quantiques sûrs. Rôle • Mettre au point des mécanismes de vérification pour assurer, a priori, que...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Poste de rechercheL'Ingénieur-Chercheur en méthodes formelles pour le quantique recherché par le CEA sera chargé de développer des techniques et des outils formels pour la programmation quantique sûre.Compétences requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel (idéalement...

  • Ingénieur de recherche et système réseau pour le calcul scientifique

    il y a 4 semaines

    Palaiseau, Île-de-France Institut Mines-Télécom Temps plein

    Nous recherchons un expert en systèmes réseau et calcul haute performanceTélécom Paris, école de l'IMT (Institut Mines-Télécom) et membre fondateur de l'Institut Polytechnique de Paris, est une grande école du top 5 des écoles d'ingénieurs généralistes françaises.La mission de Télécom Paris est de former, imaginer et entreprendre pour...

  • Ingénieur de Recherche en Cybersécurité IA pour le Réseau

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Offre de posteL'Institut de recherche et de développement CEA recherche un(e) Ingénieur de Recherche en Cybersécurité IA pour le Réseau pour la Direction de la Recherche Technologique.Ce poste de cadre en CDD est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Vous serez chargé(e) de participer au développement de solutions de...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Offre de posteLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche.ContexteLa recherche en informatique quantique a fait des progrès immenses récemment, et il est temps de concevoir et d'implémenter les outils logiciels adéquats pour le cas quantique.MissionLe candidat sélectionné...

  • Ingénieur de Recherche en Cybersécurité IA pour le Réseau

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Offre de PosteLe CEA recherche un(e) Ingénieur de Recherche en Cybersécurité IA pour le Réseau pour la CEA/DRT (Direction de la Recherche Technologique).Ce poste de cadre en CDD est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Vous serez chargé(e) de participer au développement de solutions de cybersécurité réseau innovantes en...

  • Ingénieur-chercheur en techniques inertielles et instrumentation H/F

    il y a 4 semaines

    Palaiseau, Île-de-France ONERA Temps plein

    MissionL'ONERA, leader dans la recherche aéronautique et spatiale, recherche un Ingénieur-chercheur pour rejoindre son équipe de développement d'instruments inertielles. Vous serez chargé de concevoir, développer et mettre en œuvre des systèmes de navigation inertielle pour les applications aérospatiales.Compétences requisesMaîtrise de la...

  • Ingénieur de recherche système et réseau pour le calcul scientifique

    il y a 4 semaines

    Palaiseau, Île-de-France Institut Mines-Télécom Temps plein

    Qui sommes-nous ?Télécom Paris, école de l'IMT (Institut Mines-Télécom) et membre fondateur de l'Institut Polytechnique de Paris, est une grande école du top 5 des écoles d'ingénieurs généralistes françaises.La Raison d'Être de Télécom Paris est de former, imaginer et entreprendre pour concevoir des modèles, des technologies et des...

  • Ingénieur de recherche système réseau pour le calcul scientifique

    il y a 4 semaines

    Palaiseau, Île-de-France Institut Mines-Télécom Temps plein

    Qui sommes-nous ?Télécom Paris, école de l'IMT (Institut Mines-Télécom) et membre fondateur de l'Institut Polytechnique de Paris, est une grande école du top 5 des écoles d'ingénieurs généralistes françaises.La Raison d'Être de Télécom Paris est de former, imaginer et entreprendre pour concevoir des modèles, des technologies et des...