Développeur Python pour la vérification de réseaux de neurones

Stage en Intelligence Artificielle pour la Sûreté des LogicielsLe CEA-List, un laboratoire de recherche et développement, recherche un stagiaire pour travailler sur la vérification de réseaux de neurones. Le candidat travaillera à l'intersection des méthodes formelles et de l'intelligence artificielle pour développer des outils d'analyse pour...

Offre de stage : Attaques adverses et contre-exemples pour la vérification de réseaux de neuronesLe CEA recherche un stagiaire pour contribuer à l'amélioration de l'outil PyRAT, qui vise à vérifier et à falsifier des propriétés de robustesse des réseaux de neurones. Le stagiaire travaillera à l'intersection des méthodes formelles et de...

Offre de stage : Attaques adverses et contre-exemples pour la sûreté des réseaux de neuronesLe CEA-List recherche un stagiaire pour contribuer à l'amélioration des capacités de PyRAT, un outil de vérification de réseaux de neurones. Le stage consiste à développer des attaques adverses plus fortes et à intégrer des informations supplémentaires...

Offre de stage : Attaques adverses et contre-exemples pour la sûreté des réseaux de neuronesL'objectif de ce stage est de développer des capacités de recherche de contre-exemples pour la vérification de réseaux de neurones. Vous travaillerez sur l'outil PyRAT pour améliorer sa capacité à trouver des contres-exemples en utilisant des...

Rejoignez notre équipe de recherche et développement à ThalesNous sommes à la recherche d'un ingénieur en implémentation embarquée de réseaux de neurones Mamba pour rejoindre notre équipe de recherche et développement à Thales. Vous serez chargé de développer et d'implémenter des réseaux de neurones Mamba pour des applications embarquées, en...

Qui sommes-nous?Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Nos engagements,...

MissionLe centre Inria Saclay - Île-de-France recherche un(e) Spécialiste en Réseaux de Neurones Biologiques pour rejoindre son équipe de recherche en sciences du numérique.ObjectifsL'objectif principal de cette mission est d'étudier la dynamique d'une assemblée mésoscopique de neurones en tenant compte des contraintes géométriques des...

Développeur DevOps Python Nous recherchons un développeur DevOps Python pour rejoindre notre équipe. Vous serez chargé de participer aux debugs des flux pour comprendre les problématiques des clients, identifier les causes des problèmes et proposer des solutions. Vous devrez également mettre en œuvre des développements Python pour extraire les...

Développeur DevOps Python Nous recherchons un développeur DevOps Python pour rejoindre notre équipe. Vous serez chargé de participer aux debugs des flux pour comprendre les problématiques des clients, identifier les causes des problèmes et proposer des solutions. Vous devrez également mettre en œuvre des développements Python pour extraire les...

Rejoignez notre équipe de recherche et développementThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...

MissionL'objectif de cette thèse est d'étudier la dynamique d'un réseau de neurones à décharges en tenant compte de la géométrie des interactions entre les neurones, de la taille de la population et des échelles de temps imposées par la biologie.Compétences requisesBagage mathématique solide pour aborder les questions...

MissionL'objectif de cette thèse est d'étudier la dynamique d'un réseau de neurones à décharges en tenant compte de la géométrie des interactions entre les neurones, de la taille de la population et des échelles de temps imposées par la biologie.Compétences requisesBagage mathématique solide pour aborder les questions...

MissionL'objectif de cette thèse est d'étudier la dynamique d'un réseau de neurones à décharges en tenant compte de la géométrie des interactions entre les neurones, de la taille de la population et des échelles de temps imposées par la biologie.Compétences requisesBagage mathématique solide pour aborder les questions...

Développeur DevOps Réseau PythonRejoignez notre équipe d'experts en développement réseaux Python et rejoignez-vous à notre mission de créer des solutions innovantes pour nos clients.Compétences requisesMaîtrise de l'administration réseauMaîtrise de la programmation PythonConnaissances en CICD (Jenkins ou Gitlab CI)Connaissances en Postgres...

Développeur DevOps Réseau PythonRejoignez notre équipe d'experts en développement réseaux Python et rejoignez notre équipe d'ingénieurs DevOps pour participer à la définition de prestations innovantes.Compétences requisesAdministration réseau : maîtriseDomaines fonctionnels : autres fonctions de l'Entreprise - 5.Systèmes...

Développeur DevOps Réseau PythonRejoignez notre équipe d'experts en développement réseaux Python et rejoignez-vous à notre mission de fournir des solutions innovantes pour nos clients.Compétences requisesAdministration réseau : maîtriseDomaines fonctionnels : autres fonctions de l'Entreprise - 5.Systèmes d'information :...

Développeur DevOps Réseau PythonRejoignez notre équipe d'experts en développement réseaux Python et rejoignez-vous à notre mission de fournir des solutions innovantes pour nos clients.Compétences requisesAdministration réseau : maîtriseDomaines fonctionnels : autres fonctions de l'Entreprise - 5.Systèmes d'information :...

Développeur DevOps Réseau PythonRejoignez notre équipe d'experts en développement réseaux Python et rejoignez-vous à notre mission de fournir des solutions innovantes pour nos clients.Compétences requisesAdministration réseau : maîtriseDomaines fonctionnels : autres fonctions de l'Entreprise - 5.Systèmes d'information :...

Stage - Attaques adverses et contre-exemples pour la vérification de réseaux de neuronesContexteLe Laboratoire Sûreté et Sécurité des Logiciels du CEA-List est chargé de développer des outils d'analyse pour augmenter la confiance dans les systèmes logiciels. Dans ce cadre, nous recherchons un stagiaire pour contribuer à la vérification de réseaux...

MissionL'objectif de cette thèse est d'étudier la dynamique d'une assemblée mésoscopique de neurones en tenant compte des contraintes géométriques des interactions, de la taille de la population et des échelles de temps imposées par la biologie.Compétences requisesBagage mathématique solide pour aborder les questions...