Emploi Stage R - Palaiseau

Domaine : Mécanique et thermique Contrat : Stage Description du poste : La stimulation haptique devient de plus en plus répandue et utilisée par les industriels pour offrir à l'utilisateur une modalité supplémentaire dans leurs interactions. On connait bien le vibreur du portable qui nous transmet l...

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 : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : The first step will be to convert an application described in any language into an internal representation (IR) using MLIR. This IR must be independent of the target architecture. A second tool is then...

Rejoignez la R&D d'EDF au cœur du sujet des Smart Grids pour accélérer la transition énergétique ! Afin de répondre aux défis de la transition énergétique, le contrôle-commande du réseau électrique doit devenir de plus en plus évolutif. L'adoption des technologies de virtualisation et de conteneuris...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : The internship concerns the development of dedicated hardware to accelerate nonlinear functions for vision transformer (ViT) inference. ViTs are widely used in the field of computer vision (CV) for, e....

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : Les transformateurs de vision (ViT) sont largement utilisés dans le domaine de la vision par ordinateur (CV) pour, par exemple, la classification d'images, la détection d'objets, la segmentation d’imag...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : Rejoignez-nous en Stage #CEA-List ! 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 mo...

Domaine : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : Le développement de systèmes de traçabilité basés sur smart contracts est aujourd’hui étudié pour garantir la transparence, la conformité et la qualité de la gestion opérationnelle au sein de chaines d...

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 : Sciences pour l'ingénieur Contrat : Stage Description du poste : Le stagiaire devra proposer une modélisation adéquate de ces réseaux et proposer des algorithmes pour décider si les propriétés attendues sont satisfaites ou non. Lorsque ce n'est pas le cas l'approche devra proposer un diagn...

Domaine : Sciences pour l'ingénieur Contrat : Stage Description du poste : Rejoignez-nous en Stage ! 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és et dédiés, offrant u...

Domaine : Sciences pour l'ingénieur 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...

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 : Mathématiques, information scientifique, logiciel Contrat : Stage Description du poste : ContexteDans le monde de l’ingénierie système dirigée par les modèles, la route qui part des idées premières et se termine par la mise en exploitation du système est parsemée de différents modèles liés...