Solveur Non-linéaire Pour La Vérification de
Il y a 3 mois
Description du poste
**Domaine**:
- Mathématiques, information scientifique, logiciel
**Contrat**:
- Stage
**Intitulé de l'offre**:
- Solveur non-linéaire pour la vérification de réseaux de neurones H/F
**Sujet de stage**:
- Implémentation d'un solveur pour des équations non-linéaires afin de vérifier des réseaux de neurones
**Durée du contrat (en mois)**:
- 4 à 6 mois
**Description de l'offre**:
**Contexte**
- Avec les récents développements en matière d'IA, son utilisation est de plus en plus répandue et soulève de plus en plus de questions quant à sa robustesse, son respect de la vie privée ou autre. Un certain nombre de travaux ont émergés pour augmenter la confiance dans les IAs en se basant sur des méthodes formelles pour obtenir des garanties mathématiques de leur sûreté.- Afin de fournir des guaranties fortes de sûreté et de robustesse sur des réseaux de neurones, les équipes du CEA ont développés un outil appelé PyRAT. Cet outil utilise utilise des techniques à base d'interprétation abstraite pour obtenir les sorties atteignables d'un réseau. Pour modéliser les comportements complexes de certains réseaux, PyRAT peut utiliser des contraintes linéaires et non linéaires. Actuellement, un solveur itératif permet de résoudre les contraintes linéaires mais ne fonctionnent pas sur les contraintes non-linéaires.**Stage**
- La première moitié du stage sera dédiée au développement de méthodes pour créer un solveur iteratif et correct pour une fonction linéaire sujette à des contraintes non linéairs. Ensuite, ce solveur sera implémenter dans PyRAT avec des contraintes quadratiques. Ce solveur devra correctement approximer le résultat, par exemple le minimum trouvé devra toujours être superieur ou égal au minimum exact.- Ce solveur sera par la suite tester sur un certain nombre de problèmes concrets de vérification de réseaux de neurones.**Moyens / Méthodes / Logiciels**:
- Python
**Qu’attendons-nous de vous ?**
- Vous préparez un diplôme de niveau M1 ou M2 dans le domaine l'informatique. Vous possédez des connaissances en développement Python, en optimisation et en intelligence artificielle.- Rejoignez-nous, venez développer vos compétences et en acquérir de nouvelles **Vous avez encore un doute ? Nous vous proposons**:
- L'opportunité de travailler au sein d'une organisation de renommée mondiale dans le domaine de la recherche scientifique,
- Un environnement unique dédié à des projets ambitieux au profit des grands enjeux sociétaux actuels,
- Une expérience à la pointe de l’innovation, comportant un fort potentiel de développement industriel,
- Des moyens expérimentaux exceptionnels et un encadrement de qualité,
- De réelles opportunités de carrière à l’issue de votre stage,
- Une participation aux transports en commun à hauteur de 75%,
- Un équilibre vie privé - vie professionnelle reconnu,
- Une politique diversité et inclusion,
- Un CSE actif en termes de loisirs et d’activités extra-professionnelles.
Tous nos postes sont ouverts aux personnes en situation de Handicap. La Mission Handicap du CEA vous accompagne et met en place les aménagements nécessaires à vos besoins spécifiques.Localisation du poste
**Site**:
- Saclay
**Localisation du poste**:
- France, Ile-de-France, Essonne (91)
**Ville**:
- Palaiseau
Demandeur
**Disponibilité du poste**:
- 01/03/2025
Informations générales
**Entité de rattachement**:
Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.
Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.
Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.
Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales:
- La conscience des responsabilités
- La coopération
- La curiosité
**Référence **:2024-32902**Description de l'unité**:
- Sur le campus Paris-Saclay, le rôle du Laboratoire Sûreté et Sécurité des Logiciels du #CEA-List est de développer des outils d'analyse pour augmenter la confiance dans les systèmes logiciels, en détecter des vulnérabilités, garantir la conformité à leurs spécifications, et en accélérer l'évaluation y compris dans des démarches de certification. Nos outils open-source sont développés afin d'être utilisés par l'industrie et leur développement est guidé par ses besoins.
-
Palaiseau, France CEA Temps pleinDescription 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 CEA Temps pleinDescription 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)...
-
Vérification de Propriétés Probabilistes Pour
Il y a 2 mois
Palaiseau, France École polytechnique Temps plein**Vérification de propriétés probabilistes pour l'Intelligence Artificielle // Verification of probabilistic properties for Artificial Intelligence**: - Réf **ABG-126167** **ADUM-59248** - Sujet de Thèse- 08/10/2024- Autre financement public- École polytechnique- Lieu de travail- Palaiseau Cedex - France- Intitulé du sujet- Vérification de...
-
Ingénieur validation
il y a 4 semaines
Palaiseau, Île-de-France CENTUM T&S Temps pleinVue 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...
-
Ingénieur validation
Il y a 2 mois
Palaiseau, France CENTUM T&S Temps pleinDepuis plus de 30 ans, CENTUM T&S apporte conseil et expertise à ses clients dans le domaine de l'électronique embarquée. Nous offrons une large gamme de services d'ingénierie de conception de systèmes électroniques embarqués aux clients mondiaux pour les aider à réaliser des produits et des sous-systèmes complexes. Centum T&S est un centre...
-
Ingénieur développement CEDRE
Il y a 2 mois
Palaiseau, France ONERA Temps pleinA propos de l'entreprise : L'ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du ministère des Armées, il dispose d'un budget de 289 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l'ONERA prépare la...
-
Chauffeur Livreur
Il y a 5 mois
Palaiseau, France STEED TECH Temps pleinLa société STEED TECH est basée dans le 94. Il s'agit d'une jeune société à taille humaine spécialisée dans la livraison. Afin de nous accompagner dans notre croissance et renforcer notre dynamisme, nous souhaitons agrandir notre équipe. **STEED TECH recrute un chauffeur livreur F/H en CDI basé en Ile-de-France pour**: - Vérifications d'usages...
-
Ingénieur développement logiciel CFD H/F
il y a 1 mois
Palaiseau, Île-de-France ONERA Temps pleinPrésentation de l'ONERAL'ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2100 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 294 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l'ONERA prépare la défense de...
-
Igénieur développement logiciel CFD H/F
Il y a 4 mois
Palaiseau, France Onera Temps pleinPrésentation de l'ONERAL’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2100 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 294 millions d’euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l’ONERA prépare la...
-
Ingénieur validation
il y a 4 semaines
Palaiseau, Île-de-France CENTUM T&S Temps pleinCentre d'excellence en conception électroniqueNotre centre d'excellence en conception électronique est un leader dans le domaine de l'électronique embarquée.Nous recherchons un Ingénieur V&V (hardware et système) pour rejoindre notre équipe de développement de produits électroniques.Les missions de l'Ingénieur V&VIl sera chargé du...
-
Assistant Gestion
Il y a 3 mois
Palaiseau, France Avenue de la Com Temps pleinExistante depuis 20 ans, Avenue de la Com se positionne au fil des années comme étant une agence de communication atypique. Appréciée par ses clients pour ses valeurs et sa créativité, Avenue de la Com possède un savoir-faire de qualité. Sa clientèle est principalement constituée de Moyens et Grands-Comptes et les secteurs d'activités sont...
-
Palaiseau, Île-de-France CNRS Temps pleinInformations 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...
-
Spécialiste en Maintenance de Chauffage
il y a 2 semaines
Palaiseau, Île-de-France EDDIA ILE DE FRANCE Temps pleinPrésentation du posteVous recherchez un emploi en tant que technicien en maintenance énergétique ? EDDIA ILE DE FRANCE recrute un spécialiste en maintenance de chauffage pour renforcer son équipe de professionnels.MissionsEffectuer la maintenance préventive et corrective sur des installations de chauffage, notamment la vérification des paramètres de...
-
Palaiseau, France CEA Temps pleinPosition description Category Mathematics, information, scientific, software Contract Internship Job title Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F Subject The internship aims to implement and improve the formalization and implementation of an iterative methodology for...
-
Assistant Administratif
Il y a 2 mois
Palaiseau, France droitdenfance Temps pleinDROIT D’ENFANCE - FONDATION MEQUIGNON Fondée en 1859 - reconnue d’utilité publique en 1866 —— Champ d’intervention protection de l’enfance départements 78, 93,75 et 91 - 400 collaborateurs Recrute **1 ASSISTANTE ADMINISTRATIVE (H/F)** **CDD de 6 mois TEMPS PLEIN avec possibilité de renouvellement** **Poste à pourvoir dès que...
-
Conseiller Accueil
Il y a 6 mois
Palaiseau, France Banque Populaire de Val de France Temps plein**Description de l'entreprise**: La **Banque Populaire Val de France** fait partie du Groupe BPCE, 2e groupe bancaire français. Banque Coopérative Régionale qui appartient à ses 172 000 sociétaires, la Banque Populaire Val de France s’engage pour la réussite économique et humaine de sa région en restant fidèle à ses engagements d’origine :...
-
Aide-soignant(E) de Nuit
Il y a 3 mois
Palaiseau, France EHPAD La Pie Voleuse Temps plein**Détails de l’offre**: **POSTE PROPOSÉ** AIDE-SOIGNANT(E) DE NUIT **CONTRAT** CDD; CDI; Mutation **DESCRIPTIF** 1. PRÉSENTATION Présentation de l'établissement L'EHPAD la Pie Voleuse est un établissement public dédié à la prise en charge de personnes peu autonomes accueillant 81 résidents. 2. DÉFINITION DU POSTE Dénomination du poste :...
-
Aide Soignant de Nuit 12h
Il y a 3 mois
Palaiseau, France EHPAD la Pie Voleuse Temps plein**2. DÉFINITION DU POSTE** **Dénomination du poste **:Aide-soignant(e) de nuit **Relations hiérarchique et fonctionnelles principales liées au poste**: Position hiérarchique : Sous l’autorité du Directeur de l’établissement et de la Cadre de santé / IDEC ; Position fonctionnelle : équipe soignante **Relations internes et...
-
Comptable caisses à temps partiel H/F
il y a 4 semaines
Palaiseau, France Mavrommatis Temps pleinDepuis 1981, la Maison Mavrommatis est restée fidèle à son ambition : illustrer et faire découvrir les saveurs et les parfums de la Méditerranée. La Maison Mavrommatis, c'est aujourd’hui 4 restaurants dont un étoilé à Paris, 8 boutiques traiteur à Paris, Nice, Marseille et Strasbourg, un site de production et un service événementiel à...
-
Gestionnaire financier principal
il y a 1 semaine
Palaiseau, Île-de-France École polytechnique Temps pleinMission de l'École polytechnique">L'École polytechnique, une institution de renommée mondiale, recherche un Gestionnaire financier principal pour rejoindre son équipe dynamique.">Contexte du poste">Au sein de la Direction Comptable (DC), nous sommes à la recherche d'un Gestionnaire financier principal pour exercer des fonctions clés dans le...
