Notre cœur de métier est le développement de systèmes critiques, principalement pour le ferroviaire, l’industrie ou l’énergie.
Un système critique est un système pour lequel une défaillance peut avoir des conséquences graves en termes de vies humaines, d’impact financier ou environnemental.
Nous recherchons de nouveaux collaborateurs motivés par les challenges techniques et l’envie d’apprendre dans un environnement stimulant et innovant.
Notre croissance offre de réelles opportunités d’évolution dans une structure à taille humaine.
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ériences 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 !
Lieu
Aix-en-Provence.
Référence de l’offre
STAGE_MOP_IA_A
Des questions ?
Écrivez-nous à drh@systerel.fr
Systerel est engagée dans une politique en faveur de l’égalité hommes-femmes et de l’emploi des travailleurs en situation de handicap.