Safran
© Adrien Daste / Safran

Stage - Ingénieur-e développement logiciel - Développement d'un langage Server en Rust pour le PsyC F/H

SAFRAN ELECTRONICS & DEFENSE Massy (91) - Ile-de-France - France Stage
il y a 11 jours

SAFRAN ELECTRONICS & DEFENSE recrute :

Safran est un groupe international de haute technologie opérant dans les domaines de l'aéronautique (propulsion, équipements et intérieurs), de l'espace et de la défense. Sa mission : contribuer durablement à un monde plus sûr, où le transport aérien devient toujours plus respectueux de l'environnement, plus confortable et plus accessible. Implanté sur tous les continents, le Groupe emploie 83 000 collaborateurs pour un chiffre d'affaires de 19,0 milliards d'euros en 2022, et occupe, seul ou en partenariat, des positions de premier plan mondial ou européen sur ses marchés. Safran s'engage dans des programmes de R&D qui préservent les priorités environnementales de sa feuille de route d'innovation technologique.



Safran est dans le top 30 des meilleurs employeurs mondiaux 2022 selon le magazine Forbes.



Safran Electronics & Defense est une société de 10 000 salariés fondée sur la maîtrise de technologies clé au service de la souveraineté. Conjuguant intelligences humaine et artificielle, elle développe des produits et services permettant d'observer, de décider et de guider pour les marchés de l'aéronautique, de la défense et de l'espace. La société met également son expertise électronique au service des autres sociétés de Safran.


Descriptif mission

Dans le cadre de sa suite logicielle, ASTERIOS Technologies fournit un langage d'architecture temps-réel appelé PsyC (extension du langage C), pour permettre à ses utilisateurs de décrire les tâches de son application, les contraintes temps-réel s'y appliquant, et les canaux de communication entre celles-ci. Le Language Server Protocol (LSP) développé par Microsoft standardise la communication entre un éditeur de code (Visual Studio Code, Vim, Emacs, …) et un Language Server, un programme tiers chargé d'implémenter des fonctionnalités comme l'auto-complétion et la navigation de code (la figure ci-dessous illustre par exemple l'auto-complétion pour un fichier de syntaxe JSON depuis l'éditeur Vim).

Le but de ce stage est de développer un tel Language Server pour le langage PsyC, et d'implémenter un maximum de fonctionnalités autorisées par le protocole. L'implémentation sera faite en utilisant le langage Rust, et utilisera la bibliothèque TreeSitter pour le parsing.

SAFRAN ELECTRONICS & DEFENSE recherche :

En fin de cursus Bac+5, spécialisé-e en informatique, vous faites preuves des compétences suivantes :

- Compilation, analyse lexicale : génération de lexer/parser (avoir suivi un cours sur la théorie des langages formels est un plus),
- Bonne connaissance d'au moins un éditeur de code implémentant un client LSP : VSCode, (Neo)vim, Emacs,
- Connaissance du langage Rust,
- Autonomie et prise d'initiative.

Le sens de la communication, le goût pour le travail en équipe, la motivation, et la rigueur sont des atouts indispensables pour la tenue de ce poste.

Résumé :

  • Référence : 2024137257
  • Massy - Ile-de-France - France
  •  Stage
  •  2024-04-29
  •  6 mois
  •  Débutant / Jeune diplomé

À propos de cette entreprise

Safran

Paris, France

Suivre
189 abonnés

Safran est un groupe international de haute technologie opérant dans les domaines de l'aéronautique (propulsion, équipements et intérieurs), de l'espace et de la défense. Sa mis...

D’autres offres de SAFRAN ELECTRONICS & DEFENSE

SAFRAN DATA SYSTEMS SAS - LES ULIS Stage
Les Ulis - Ile-de-France
il y a 19 jours
SAFRAN ELECTRONICS & DEFENSE Stage
Éragny - Ile-de-France
il y a 20 jours
SAFRAN ELECTRONICS & DEFENSE Stage
Éragny - Ile-de-France
il y a 20 jours
IY - CONCEPTION & INDUSTRIALISATION Stage
Corbeil-Essonnes - Ile-de-France
il y a 31 jours
SAFRAN VENTILATION SYSTEMS Stage
Blagnac - Occitanie
il y a 12 jours