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 :
2026-41450
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.
Mathématiques, information scientifique, logiciel
Stage
Stage IA de confiance - Abstraction bilinéaires pour les RNN et Transformers -Saclay-H/F
Dans le travaux autour de l'intelligence artificielle de confiance, vous travaillerez sur le développement de nouvelles méthodes de vérification formelle de la sûreté des IA pour l'abstraction de fonction bivariées non-linéaires utilisées dans les architectures RNN ou transformers.
4 à 6 mois
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 un cadre propice à l'apprentissage et à la collaboration. Vous aurez accès à des équipements de pointe et à des ressources de recherche de premier ordre pour mener à bien vos missions
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 IA en se basant sur des méthodes formelles pour obtenir des garanties mathématiques de leur sûreté. Ces méthodes sont implémentées dans l'outil PyRAT développé au CEA.
Les architectures d'IA récentes comme les transformers ou des réseaux récurrents (RNN) utilisent des fonctions de plus en plus complexes pour construire des modèles. Le mécanisme d'attention des réseaux transformers (à la base des LLMs par exemple), est le résultat de plusieurs fonctions non-linéaires multi variées. Par conséquent, la vérification de ces architectures est de plus en plus complexe et nécessite de construire des abstractions précises et efficaces de ces fonctions non-linéaires.
Qu’attendons-nous de vous ?
Le but du stage sera d'étendre les capacités de PyRAT sur ce type de fonctions. Des travaux récents ont déjà permis des améliorations de PyRAT sur la fonction softmax, il s'agira alors de généraliser ces travaux pour d'autres fonctions notamment celles présentes dans les architectures LSTM. En plus de cela, ces méthodes seront combinées à des méthodes d'optimisation pour améliorer les abstractions.
Un benchmark sur plusieurs cas d'usages sera constitué pour comparer les performances de PyRAT à d'autres outils.
#CEA-List
Vous préparez un diplôme de niveau M1 ouM2 dans le domaine de l'informatique ou des mathématiques.
Vous possédez des connaissances en développement Python, en mathématiques et en intelligence artificielle.
Rejoignez-nous, venez développer vos compétences et en acquérir de nouvelles !
Conformément aux engagements pris par le CEA en faveur de l'intégration des personnes handicapées, cet emploi est ouvert à toutes et à tous. Le CEA propose des aménagements et/ou des possibilités d'organisation pour l'inclusion des travailleurs handicapés.
Saclay
France, Ile-de-France, Essonne (91)
Saclay
Anglais (Intermédiaire)
Bac+4 - Master 1
Informatique/Mathématiques
01/02/2027
The CEA is the French Alternative Energies and Atomic Energy Commission ("Commissariat à l'énergie atomique et aux énergies alternatives"). It is a public body established in October 1945 by General de Gaulle. A leader in research, development and innovation, the CEA mission statement has two main objectives: To become the leading technological research organization in Europe and to ensure that the nuclear deterrent remains effective in the future.
The CEA is active in four main areas: low-carbon energies, defense and security, information technologies and health technologies. In each of these fields, the CEA maintains a cross-disciplinary culture of engineers and researchers, building on the synergies between fundamental and technological research.
The civilian programs of the CEA received 49% of their funding from the French government, and 30% from external sources (partner companies and the European Union).
The CEA had a budget of 4,3 billion euros.
The CEA is based in ten research centers in France, each specializing in specific fields. The laboratories are located in the Paris region, the Rhône-Alpes, the Rhône valley, the Provence-Alpes-Côte d'Azur region, Aquitaine, Central France and Burgundy. The CEA benefits from the strong regional identities of these laboratories and the partnerships forged with other research centers, local authorities and universities.
