Emploi Artificielle - Palaiseau

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : Contexte du stageLa reconstruction 3D et la localisation 3D (d’une scène ou d’un objet) sont deux thèmes de recherche dont les domaines d’application sont innombrables (robotique mobile, robotique inte...

Domaine : Autre Contrat : Stage Description du poste : ContexteL'analyse formelle d'un réseau de neurone peut s'effectuer avec un certain nombre de techniques et un grand nombre d'outils ont émergés pour cela. Dans notre laboratoire, l'outil PyRAT se base sur des techniques d’interprétation abstrait...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : ContexteLa plupart des méthodes de vérification formelle de la robustesse d'un réseau de neurones proposent une vérification de propriété de robustesse assez simple : pour un voisinage d'une certaine t...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : ContexteLe problème de la vérification de neurones a été prouvé comme NP-complet et comme souvent avec ce type de problème, il s'agit alors de trouver un trade-off entre précision et coût (temps de cal...

Domaine : Sciences pour l'ingénieur Contrat : Stage Description du poste : Ces avancées permettent d’envisager dans un avenir proche l’utilisation de ces Neural Fields dans de nouveaux domaines, en particulier dans un contexte embarqué, comme la robotique autonome.Le cadre général de ce stage est ai...

Domaine : Systèmes d'information Contrat : Stage Description du poste : Rejoignez-nous en Stage ! CEA Tech Corporate from CEA Tech on Vimeo.Les réseaux de neurones sont une des solutions de pointe dans de très nombreux domaines. Ces algorithmes évoluent pour avoir une meilleure précision afin de rép...

Domaine : Autre Contrat : Stage Description du poste : Rejoignez-nous en stage ! CEA Tech Corporate from CEA Tech on Vimeo.Ce stage présente une bonne opportunité de se confronter au développement dans un laboratoire de recherche. Il permettra au candidat de développer des compétences de développeme...

Domaine : Autre Contrat : Stage Description du poste : Rejoignez-nous en stage ! CEA Tech Corporate from CEA Tech on Vimeo.En tant que stagiaire au CEA, vous aurez l'opportunité de travailler au sein d'un environnement de recherche de renommée mondiale. Nos équipes sont composées d'experts passionné...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : Même si la vision par ordinateur est un domaine bien étudié pour ses propriétés mathématiques, elle a connu une révolution majeure grâce à l'introduction de l'apprentissage profond. Aujourd’hui, les mé...

QUI SOMMES-NOUS ? Situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activi...

Domaine : Mathématiques, information scientifique, logiciel Contrat : CDD Description du poste : « 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é. » CE QUE LE CEA VOUS PROPOSE ...

Domaine : Mathématiques, information scientifique, logiciel Contrat : CDD Description du poste : « 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 d'innovation. » CE QUE LE CEA VOUS PROPOSE ...

Domaine : Management et projet Contrat : CDD Description du poste : Vous rejoindrez notre laboratoire, spécialisé autour de trois thématiques :· l’analyse sémantique de code source pour la sureté et la sécurité des logiciels,· l’analyse formelle de binaire pour la sécurité et· la confiance des systè...

Domaine : Mathématiques, information scientifique, logiciel Contrat : CDD Description du poste : 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...

Domaine : Mathématiques, information scientifique, logiciel Contrat : CDD Description du poste : Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des challenges scientifiques et techniques ambitieux, nous nous appuyons sur la ...