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.

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.