Stage : IA, Aide à la formalisation depuis le langage naturel H/FSysterel

Systerel est un bureau d’études spécialisé dans le domaine des systèmes critiques temps réel ou de sécurité. Nous intervenons dans divers secteurs d’activité, allant du ferroviaire à l’industrie en passant par la défense, l’aéronautique et le spatial.

Votre Mission

Systerel utilise différents langages formels dans ses processus et ses outils, comme le langage B ou le HLL (High Level Language). Une grande partie des activités de formalisation consiste à traduire une spécification en langage naturel, en un modèle formel.

L’objectif de ce stage est de mettre à disposition des utilisateurs un pipeline IA qui permet de les assister dans le travail de formalisation en :

• Donnant le contexte intéressant pour l’exigence en cours de formalisation (variables et fonctions existantes, …),
• Proposant une formalisation de l’exigence.

Intégré au département Modélisation et Preuve, vous aurez pour missions de :

• Mettre en place un environnement de test de la formalisation automatique sur la base du corpus existant,
• Construire et améliorer un pipeline IA de formalisation automatique,
• Vous appuyer, sur tout ou partie de ce pipeline, pour proposer de l’assistance à un travail de formalisation en cours,
• Si le temps le permet, intégrer le pipeline à une interface web ou à un plugin d’IDE (integrated development environment),
• Documenter l’ensemble des itérations et le travail réalisé.

Vous serez assisté par des experts des méthodes formelles, et par des ingénieurs travaillant sur l’IA générative. Ces experts vous accompagneront sur les technologies mises en œuvre durant le stage.

Compétences et expérience demandées

Pour ce stage, vous êtes :

• Étudiant en dernière année d’école d’ingénieur ou à l’université avec une spécialisation en IA,
• Intéressé par les langages formels et la logique mathématique,
• À l’aise avec le Python et les librairies du type LangChain, LlamIndex,…
• À l’aise avec les concepts et les techniques d’IA génératives (LLM, RAG, base de données vectorielle, LLM-as-a-Judge, …)
• Rigoureux, curieux, autonome et force de proposition.

Type de contrat, durée & avantages

Convention de stage – Durée : 6 mois

Chez Systerel, nous proposons à nos stagiaires sur Aix-en-Provence :

• Une rémunération brute totale pouvant atteindre 1 300€ (dont jusqu’à 300€ de participation aux frais de logement sous conditions et justificatifs),
• Jusqu’à 5 jours de congés,
• Des tickets restaurant,
• La prise en charge de 50% de l’abonnement transports en commun,
• La possibilité de faire du télétravail.

Vous souhaitez

• Participer à des projets innovants,
• Développer des compétences recherchées et en évolution permanente,
• Bénéficier d’un encadrement de qualité,
• Vous épanouir au sein d’une entreprise portant des valeurs d’excellence, de haute technicité et de vraies valeurs humaines.

Alors n’hésitez plus à nous faire parvenir votre candidature !