- Trouver mon job s
- Trouver mon entreprise s
-
Accès recruteur
-
Emploi
- Formation
-
Mon compte
-
M1 - M2 Internship In Computer Science - Artificial Intelligence - Machine Learning M - F H/F CEA
- Palaiseau - 91
- Stage
- Bac +3, Bac +4
- Industrie high-tech • Telecom
Les missions du poste
This internship is designed for Master 1 students (duration 3 to 4 months), but can be extended (duration 6 months) for Master 2 students.
The main objective of this internship is to introduce the notion of Hierarchical Classification in CAISAR, and use it to verify AI systems with PyRAT. The main steps are:
to define a file format to represent the hierarchy of classes
to modify how the provers are called by CAISAR and their outputs to determine when the AI system is abstract safe
to experiment on at least one case study (e.g. CIFAR-10)
if the intership is exended, there will also be a theoretical part (Abstract Interpretation framework)
CAISAR is an open-source platform that focuses on the characterization of AI systems' Robustness and Safety. In order to ensure the safety of an AI system, this platform can call several provers including PyRAT, a Python tool based on Abstract Interpretation techniques also developed at CEA in the AISER team. Those two tools are under active development, as new features are added to improve their accuracy and the expressivity of their specification language. CaiSAR is written in Ocaml, PyRAT is written in Python3.
This work will have contributions to the field of automata learning and to neural networks verification. The internship will likely conclude by publishing a paper (workshop, conference) depending on the quality of the work to be carried.
The candidate will work at the crossroads of formal methods and machine learning. As it is not realistic to be expert in both fields, we encourage candidates that do not meet the full qualification requirements to apply nonetheless.
Minimal Requirements
Master 1 student or equivalent (2nd engineering school year) in computer science or applied mathematics
knowledge of at least one programming language
ability to work in a team
fluent in French or English
Preferred Requirements
knowledge of OCaml and Python
notions of abstract interpretation and/or formal methods
We strive to provide an inclusive and enjoyable workplace. We are aware of discriminations based on gender (especially prevalent on our fields), race or disability, we are doing our best to fight them.
- Télétravail jusqu’à 3 jours par semaine
- 52 jours de congés/RTT
- Possibilité d’aménagement du temps de travail
- Formation personnalisée
- Restauration d’entreprise
- Offre de transport interne et prise en charge Navigo and co,
- Mutuelle d’entreprise avantageuse
- CE (aides vacances, loisirs, frais de garde, scolarité des enfants etc
Les étapes de recrutement
Les étapes de recrutement peuvent varier selon l'offre à laquelle vous postulez.
-
Dépôt de CV via notre site carrière
-
Préqualification téléphonique
-
Entretiens et évaluation avec manager et RH
-
Négociation salariale et contrat de travail
-
Embauche et intégration
-
CEA en images
La carte
2 Boulevard Thomas Gobert
91120 Palaiseau
Pas de salaire renseigné
Publiée le 30/11/2025 - Réf : 2025-38003
Créez une alerte
M1 - M2 Internship In Computer Science - Artificial Intelligence - Machine Learning M - F H/F
- Palaiseau - 91
- Stage
Pour les postes éligibles :
Télétravail partiel
Finalisez votre candidature
sur le site du recruteur
Créez votre compte pour postuler
sur le site du recruteur !
sur le site du recruteur
sur le site du recruteur !
Recherches similaires
- Job Étampes
- Job Dourdan
- Job Massy
- Job Corbeil-Essonnes
- Job Brétigny-sur-Orge
- Job Montgeron
- Job Les Ulis
- Job Draveil
- Job Milly-la-Forêt
- Job Athis-Mons
- Entreprises Palaiseau
- Offre de stage Essonne
- Offre de stage Palaiseau
- Job Machine learning
- Job Numérique
- Job Etat
- Job Europe
- Job Scientifique
- Job Avenir Palaiseau
- CEA Palaiseau
- Stage CEA
Connectez-vous ou créez un compte pour consulter cette offre et maximiser vos chances de trouver votre futur job.
Créer un compte Me connecterTestez votre correspondance
Chargement du chat...
{{title}}
{{message}}
{{linkLabel}}