
Stage : Vérification, validation et évaluation de systèmes ferroviaires H/F
Stage
- 6 mois
-
•
Aix-en-Provence (13)

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
Dans le cadre du développement du produit OVADO²®, qui permet de valider des données à partir de règles modélisées dans le langage mathématique formel B OVADO, Systerel souhaite améliorer l’édition des fichiers d’entrée en développant une brique logicielle en Java mettant en œuvre le protocole LSP (Language Server Protocol).
LSP est un protocole qui permet la communication entre un éditeur de texte et un serveur fournissant des informations spécifiques sur un langage de programmation. Son utilisation conduit à développer une couche abstraite permettant ensuite à différents environnements de développements (Eclipse, VSCode, emacs, vim, serveur web, …) de supporter l’édition du langage de programmation.
Intégré à l’équipe Modélisation et Preuve, vous aurez l’opportunité de :
Ces travaux se baseront sur la grammaire des fichiers du langage B OVADO. Ils visent à fournir pour différents éditeurs des fonctionnalités pratiques d’édition : coloration syntaxique, complétion automatique, navigation vers la définition, navigation vers les appelants, affichage des erreurs de syntaxe, infos bulles, …
Vous serez encadré par un expert en développement logiciel. Ce sera pour vous l’occasion de découvrir le protocole LSP et d’apprendre à en tirer le meilleur profit dans un cadre concret. Vous aurez ainsi la possibilité de faire des propositions pour orienter les choix techniques du projet.
Compétences et expérience demandées
Vous êtes étudiant en dernière année d’école d’ingénieur ou à l’université avec une spécialisation informatique. Vous avez :
Type de contrat, durée & avantages
Convention de stage – Durée : 6 mois
Chez Systerel, nous proposons à nos stagiaires sur Aix-en-Provence :
Vous souhaitez
Alors n’hésitez plus à nous faire parvenir votre candidature !
Nos locaux à Aix-en-Provence sont handi-accueillant.
Salaire : À partir de 1 000 € par mois
Référence : STAGE_MOP_LSP_A