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
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 :
- Découvrir les principes du protocole LSP,
- Développer en Java sous Eclipse, dans un framework dédié au LSP, la prise en charge du langage B OVADO.
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 :
- De l’expérience en développement Java,
- Des connaissances en théorie des langages de programmation (notion de grammaire, passes d’analyses lexicale, syntaxique et sémantique),
- Le désir d’appliquer et de découvrir les bonnes pratiques de développement logiciel dans un contexte industriel.
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_LSP_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.