Solveur Non-linéaire Pour La Vérification de

Il y a 4 mois

Palaiseau, France CEA Temps plein

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.

  • Vérification de Propriétés Probabilistes Pour

    Il y a 3 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...

  • Chauffeur Livreur

    Il y a 7 mois

    Palaiseau, France STEED TECH Temps plein

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

  • Chauffeur Livreur

    Il y a 7 mois

    Palaiseau, France STEED TECH Temps plein

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

  • Particule Inertielles en Turbulence

    il y a 2 semaines

    Palaiseau, France École nationale supérieure de techniques avancées Temps plein

    **Particule inertielles en turbulence // Inertial particules in turbulence**: - Réf **ABG-127751** **ADUM-60291** - Sujet de Thèse - 04/01/2025 - École nationale supérieure de techniques avancées - Lieu de travail- Palaiseau Cedex - France - Intitulé du sujet- Particule inertielles en turbulence // Inertial particules in turbulence - Mots clés-...

  • Junior Software Developer

    il y a 3 semaines

    Palaiseau, France Snowpack Temps plein

    Snowpack recrute un(e) **Junior Software Developer **pour un contrat à durée indéterminée. Vous voulez **rendre Internet plus sûr **en participant au déploiement d'une nouvelle technologie dans un **environnement dynamique** et en **pleine croissance** ? **Rejoignez-nous !** **Tâches et missions** - Spécification, développement et intégration des...

  • Senior Software Developer

    il y a 3 semaines

    Palaiseau, France Snowpack Temps plein

    Snowpack recrute un(e) **Senior Software Developer **pour un contrat à durée indéterminée. Vous voulez **rendre Internet plus sûr **en participant au déploiement d'une nouvelle technologie dans un **environnement dynamique** et en **pleine croissance** ? **Rejoignez-nous !** **Tâches et missions** - Spécification, développement et intégration des...

  • Directeur départemental interministériel

    il y a 7 jours

    Palaiseau, France Ministère de l'Intérieur Temps plein

    Directeur départemental interministériel (DDPP de l'Essonne) H/FRéf. Référence : MINT_MINT-DDPP91-2024-94833Fonction publique : Fonction publique de l'ÉtatNature de l’emploi Emploi ouvert aux titulaires et aux contractuelsExpérience souhaitée Non renseignéRémunération (fourchette indicative pour les contractuels) Non renseignéCatégorie...

  • Directeur départemental interministériel

    il y a 1 semaine

    Palaiseau, France Ministère de l'Intérieur Temps plein

    Directeur départemental interministériel (DDPP de l'Essonne) H/F Réf. Référence : MINT_MINT-DDPP91-2024-94833 Fonction publique : Fonction publique de l'État Nature de l’emploi Emploi ouvert aux titulaires et aux contractuels Expérience souhaitée Non renseigné Rémunération (fourchette indicative pour les contractuels) Non...

  • Aide Soignant de Nuit 12h

    Il y a 4 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...

  • Aide-soignant(E) de Nuit

    Il y a 4 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 :...

  • Assistant Administratif

    Il y a 4 mois

    Palaiseau, France droitdenfance Temps plein

    DROIT 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 8 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 :...

  • Secrétaire de Direction

    Il y a 2 mois

    Palaiseau, France Service d'Accompagnement à la Vie Sociale "L'ESCAPAL" Temps plein

    **Le SAVS de Palaiseau recherche**: **UN SECRETAIRE DE DIRECTION (H/F) A PARTIR DU 2 janvier 2025** En CDI - temps plein - Rémunération selon la CCN 1966 selon niveau de qualification (secrétaire de direction) et ancienneté 40 heures semaines/23 RTT et 5 jours de récup de la 40ième heure Avantage : chèques cadeaux, chèques vacances du CSE. -...

  • Opérateur Logistique

    il y a 1 mois

    Palaiseau, France ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES Temps plein

    **Contexte**: ENSTA, école d’ingénieurs à vocation pluridisciplinaire, forme des ingénieurs capables d’assurer, dans un environnement international, la conception et la réalisation de systèmes industriels complexes à dominante mécanique, électronique et informatique. Le programme de formation accorde, en complément des disciplines scientifiques...

  • Gestionnaire en Charge Des Recettes

    Il y a 3 mois

    Palaiseau, France L'École polytechnique Temps plein

    **L’École polytechnique**, **surnommée l’X**, est un établissement d’enseignement supérieur et de recherche de niveau mondial. Il s'agit d'une **école militaire** placée sous la tutelle du ministère des Armées. L’École polytechnique est membre fondateur de **l’Institut Polytechnique de Paris** aux côtés de **quatre Grandes Écoles** :...

  • Gestionnaire Des Créances

    Il y a 4 mois

    Palaiseau, France L'École polytechnique Temps plein

    **L’École polytechnique**, **surnommée l’X**, est un établissement d’enseignement supérieur et de recherche de niveau mondial. Il s'agit d'une **école militaire** placée sous la tutelle du ministère des Armées. L’École polytechnique est membre fondateur de **l’Institut Polytechnique de Paris** aux côtés de **quatre Grandes Écoles** :...

  • Chargé Clientèle

    Il y a 7 mois

    Palaiseau, France GIMEX INTERNATIONAL Temps plein

    **MISSIONS PRINCIPALES** **Renforcer la relation Client** - Être le premier contact client via la prise de tous les appels entrants - Renseigner les clients sur les informations concernant les produits de l’entreprise, les offres commerciales et les informations techniques - Gérer les besoins d’échantillons des clients - Participer à des campagnes...

  • Greffier (H/F)

    Il y a 2 mois

    Palaiseau, France Ministère de la Justice Temps plein

    **Devenir greffier, c’est**: - Exercer un métier à responsabilités, aux missions variées, indispensable à la société ; - Accéder à une formation de 18 mois rémunérée, composée majoritairement de stages sur le terrain ; - Embrasser une carrière aux multiples possibilités d’évolution. - Vous avez jusqu’au 10 janvier 2025 pour vous...

  • Conseiller commercial en prêts immobiliers

    Il y a 6 mois

    Palaiseau, France La Centrale de Financement Temps plein

    L'ENTREPRISECréée en 2013, La Centrale de Financement (LCF) est Intermédiaire en Opérations de Banque et Services de Paiement (prêts immobiliers, prêts professionnels, Regroupement de crédits, prêts à la consommation) et Intermédiaire en Assurance.Filiale du groupe APRIL notre société assoit son développement sur la qualité de service et...

  • Contrôleur de Gestion 18 Mois

    il y a 4 semaines

    Palaiseau, France ONERA Temps plein

    **Présentation de l'ONERA** L’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...