Stage recherche - Vérification formelle de réseaux de neurones F/H

TN France; Châtillon; Sur place; EUR 20 000 - 40 000; Plein temps

Résumé du poste

Une entreprise innovante recherche un stagiaire passionné par l'intelligence artificielle et la recherche opérationnelle. Ce stage offre une occasion unique de travailler sur la vérification formelle de réseaux de neurones, en s'attaquant à des défis critiques dans le domaine de l'IA. Vous aurez l'opportunité d'acquérir des compétences en cybersécurité et de contribuer à des projets concrets qui auront un impact réel. En rejoignant cette équipe dynamique, vous participerez à la conception et à l'évaluation de solutions innovantes, tout en développant votre expertise dans un environnement stimulant et collaboratif.

Qualifications

• Connaissances en IA et recherche opérationnelle requises.
• Compétences en cybersécurité sont un plus.

Responsabilités

• Synthétiser l’état de l’art sur les techniques de vérification formelle.
• Participer aux tests d’un prototype logiciel sur des cas réels.

Connaissances

Recherche opérationnelle

Intelligence Artificielle

Cybersécurité

Formation

Master BAC+5 en Recherche Opérationnelle

Ecoles d’ingénieurs

Description du poste

Stage recherche - Vérification formelle de réseaux de neurones F/H, Châtillon

"Vous voulez tester les limites de l'IA, rejoignez nous !" Adam, tuteur

#IA#Recherche opérationnelle

Pour les systèmes d’Intelligence Artificielle (IA) doté d’un haut niveau d’autonomie utilisés pour des applications critiques, il est primordial de s’assurer qu’ils sont fiables et robustes afin d’éviter des comportements non désirés ou non souhaitables. Dans ce stage, nous considérons un système d’IA réduit à un réseau de neurones profond, connu pour être fragile aux attaques adverses, d’empoisonnement de données, de portes dérobées, vols de modèles et de données. Nous proposons de sélectionner et d’évaluer un module de vérification formelle de systèmes d’IA à base de réseaux de neurones à l’aide de techniques de Recherche Opérationnelle.

L’objectif du stage est de trouver des méthodes permettant de tirer des conclusions sur le comportement de tels réseaux grâce aux techniques mathématiques et de participer aux tests d’un prototype logiciel à concevoir sur des cas réels. Le stage comporte les étapes suivantes:

1. Synthétiser l’état de l’art sur les techniques et algorithmes de vérification formelle des systèmes d’IA, avec une attention particulière à des domaines peu couverts par les articles de synthèse déjà publiés.
2. Vérification au-delà du problème de la robustesse locale.
3. Vérification « frugale » (en temps et/ou ressources de calcul).
4. Vérification de réseaux non reLU (rectified linear unit).
5. Analyse des résultats des challenges de la manifestation Verification of Neural Networks Competition (VNN-COMP).
6. Sélectionner et mettre en œuvre les approches les plus prometteuses à partir de cette approche bibliographique.
7. Elargir la gamme des données utilisées dans les challenges aux données tabulaires / séries temporelles et mener les expériences sur cette base élargie.

about you

Ecoles d’ingénieurs ou Master BAC+5 en Recherche Opérationnelle/Intelligence Artificielle.

additional information

Acquérir une triple compétence en cybersécurité, intelligence artificielle (IA) et Recherche Opérationnelle (RO). Applications concrètes des compétences acquises en IA et RO sur un cas d’usage réel en sécurité.

department

Orange Innovation Recherche assure le pilotage des travaux de Recherche, en s’appuyant sur les équipes Orange Innovation Data-IA, d’Orange Innovation Networks, Orange Innovation IT et Services et Marketing & Design.

contract

Internship

Start date : 01 Jan 2025

Niveau d’études préparé pendant le stage Indemnité brute selon école Bac+5 de 1572 € à 2096 € / mois.