Stage : Développement en Java d’un éditeur avec le protocole LSP H/F

Le 18 mars

Critères de l'offre

  • Ingénieur validation systèmes embarqués (H/F) , Ingénieur de systèmes embarqués (H/F)
  • Aix-en-Provence (13)
  • Stage - 6 mois
  • Temps Plein
  • Secteur : Informatique, Internet, Télécoms, Conseil en informatique
  • Expérience requise : débutant à 1 an
  • Niveau d'études : Bac+5
  • Aucun déplacement à prévoir
  • Télétravail occasionnel accepté

L'entreprise : Systerel

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.

Description du poste

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.

 

Description du profil

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 !

Accès à l'entreprise

Nos locaux à Aix-en-Provence sont handi-accueillant.

Salaire et avantages

Salaire : À partir de 1 000 € par mois


Référence : STAGE_MOP_LSP_A


Créez votre profil pour postuler à cette offre