Doctorant H/F en Atteignabilité de propriétés quantifiées pour l'explicabilité de l'intelligence artificielle

il y a 3 semaines


Palaiseau, Île-de-France CNRS Temps plein

Offre de thèse

Le CNRS recherche un doctorant pour travailler sur la vérification de la sécurité basée sur l'abstraction pour les réseaux neuronaux. Le candidat devra développer des abstractions garanties pour aborder des propriétés de robustesse plus générales.

Contexte de travail

Le LIX est une unité mixte de recherche avec deux établissements de tutelle, l'École Polytechnique et le Centre National de la Recherche Scientifique. Le doctorant fera partie de l'équipe Cosynus dans le pôle « Preuves et Algorithmes ».

Compétences requises

Le candidat devra avoir des compétences en informatique, en mathématiques et en intelligence artificielle. Il devra être capable de travailler en équipe et de communiquer efficacement.

Avantages

Le doctorant bénéficiera d'un environnement passionnant et d'une équipe expérimentée. Il pourra donner des cours et interagir avec les membres du projet SAIF.



  • Palaiseau, Île-de-France CNRS Temps plein

    Informations généralesTitre de l'offre : Doctorant H/F en Atteignabilité de propriétés quantifiées pour l'explicabilité de l'intelligence artificielleRéférence : UMR7161-SYLPUT-003Nombre de postes : 1Lieu de travail : PALAISEAUType de contrat : CDD Doctorant/Contrat doctoralDurée du contrat : 36 moisQuotité de travail : Temps completRémunération...


  • Palaiseau, Île-de-France CNRS Temps plein

    Information d'accueil Le Laboratoire d'Informatique de l'École Polytechnique (LIX) est un lieu de recherche pluridisciplinaire qui rassemble des experts en informatique, en mathématiques et en physique. Nous sommes à la recherche d'un Spécialiste en Vérification de Propriétés Probabilistes pour l'Intelligence Artificielle, H/F,...


  • Palaiseau, Île-de-France CNRS Temps plein

    Offre de PosteLe CNRS recherche un spécialiste en vérification de propriétés probabilistes pour l'intelligence artificielle. Le candidat idéal aura une solide compréhension des probabilités et de l'intelligence artificielle, ainsi que des compétences en programmation et en analyse de données.Description du PosteLe candidat travaillera sur la...


  • Palaiseau, Île-de-France Dassault Systèmes Temps plein

    Rejoignez notre équipe de R&D TechnologiesÀ Dassault Systèmes, nous sommes convaincus que l'innovation durable est le moteur de la croissance économique et de la prospérité des sociétés. Nous sommes à la recherche d'un(e) Ingénieur R&D en Intelligence Artificielle (H/F) pour rejoindre notre équipe de R&D Technologies.MissionNous sommes à...


  • Palaiseau, Île-de-France CEA Temps plein

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


  • Palaiseau, Île-de-France Dassault Systèmes Temps plein

    Rejoignez notre équipe de R&D TechnologiesÀ Dassault Systèmes, nous sommes convaincus que l'innovation durable est le moteur de la croissance économique et de la prospérité sociale. Nous sommes à la recherche d'un Ingénieur R&D en Intelligence Artificielle pour rejoindre notre équipe de R&D Technologies.MissionNous sommes à la recherche...


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

    ContexteL'École Nationale Supérieure de Techniques Avancées (ENSTA Paris) est un établissement d'enseignement supérieur et de recherche sous tutelle du ministère des Armées. Notre mission est de former des élèves ingénieurs de haut niveau, des étudiants de masters, de doctorants et de conduire des activités de recherche au service des grands...


  • Palaiseau, Île-de-France Safran companies Temps plein

    Développeur de Modèles de Deep LearningVous rejoignez l'équipe de production IA de Safran.AI pour développer et entraîner des modèles de deep learning partant en production. Vous travaillerez en collaboration avec les data scientists et les ingénieurs en machine learning pour adapter le stack technique d'une ligne de produit IA et garantir sa...


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


  • Palaiseau, Île-de-France CNRS Temps plein

    Postdoctorat en méthodes ensemblistesLe postdoctorat 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 IA.MissionsLe premier objectif est la vérification des propriétés de...


  • Palaiseau, Île-de-France Thales Temps plein

    Qui sommes-nous?Thales Research & Technology (TRT) France est le centre de recherche et technologies français du Groupe Thales, situé sur le campus de l'École polytechnique à Palaiseau. Nous sommes un équipe de plus de 250 ingénieurs de recherche, 30 doctorants et nombreux stagiaires et coopérants.MissionNos équipes travaillent en partenariat avec le...


  • Palaiseau, Île-de-France Thales Temps plein

    Qui sommes-nous ?Thales Research & Technology est un centre de recherche et de développement français du groupe Thales, situé sur le campus de l'École polytechnique à Palaiseau. Nous sommes un équipe de chercheurs et d'ingénieurs qui travaillons sur des projets innovants dans le domaine de l'intelligence artificielle, de l'optimisation...

  • Ingénieur IA/Biométrie

    il y a 3 semaines


    Palaiseau, Île-de-France Thales Temps plein

    Qui sommes-nous ?Un leader mondial des hautes technologiesThales est un groupe international qui développe des produits et solutions pour un monde plus sûr, plus respectueux de l'environnement et plus inclusif. Nous sommes présents dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité...


  • Palaiseau, Île-de-France Aijobs Temps plein

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


  • Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreL'institut LASTI recherche un(e) ingénieur(e) en intelligence artificielle pour rejoindre son équipe de recherche et développement. Le candidat idéal sera un(e) docteur(e) ou ingénieur(e) avec une expérience significative dans le domaine du NLP et de l'intelligence artificielle.Compétences requisesNLPApprentissage...


  • Palaiseau, Île-de-France Thales Temps plein

    Qui sommes-nous ?Thales Research & Technology (TRT) France est le centre de recherche et de technologies français du Groupe Thales, situé sur le campus de l'École polytechnique à Palaiseau. Nous sommes un équipe de plus de 250 ingénieurs de recherche, 30 doctorants et plusieurs stagiaires et coopérants.MissionNos équipes travaillent sur des projets...


  • Palaiseau, Île-de-France Aijobs Temps plein

    Type de Contrat: Contrat Temporaire Titre du Poste: Ingénieur en Machine Learning et Apprentissage Automatique - Intelligence Artificielle de Confiance H/F Statut: Cadre Durée du Contrat: 18 mois Description du Rôle Maîtriser l'état de l'art et assurer une veille technologique sur les domaines de l'IA. Étudier les méthodes les plus...


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


  • Palaiseau, Île-de-France Aijobs Temps plein

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


  • Palaiseau, Île-de-France CEA Temps plein

    Poste d'Ingénieur Chercheur en Vision et Intelligence ArtificielleNous recherchons un(e) Ingénieur Chercheur en Vision et Intelligence Artificielle pour rejoindre notre équipe de recherche et développement au sein du CEA.Compétences requisesCompétences en vision par ordinateur et apprentissage automatiqueExpérience en deep learning et frameworks de...