注意 本网站不推荐使用internet explorer浏览器。请使用其他Web浏览器以获取更好的体验。

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

已发布
公司 : 赛峰电子与防务公司 工作领域 : 软件 位置 : Massy , Ile de France , 法国 合同类型 : 实习协议书 合同期限 : 全职 所需学位 : 硕士文凭 所需经验 : 无经验 专业地位 : 工程师 / 经理 所用语言 : 英语 良好 薪资范围 : Stage rémunéré
已发布

工作描述

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.

补充说明

Asterios Technologies est un fournisseur de solutions logicielles complètes pour le développement de systèmes temps-réel critiques complexes, qui développe et commercialise une solution innovante, à la pointe de la technologie, offrant :
- Des méthodes et outils de conception pour la mise au point des applications temps-réel critiques à forte contrainte de sûreté de fonctionnement ;
- Une plateforme d'exécution temps-réel incluant un micro-noyau sur cible matérielle multi-cœurs.

Basée à Massy (91), Asterios Technologies est présent principalement dans les secteurs de l'aérospatial, la défense, et l'automobile ; et cherche également à s'étendre dans les secteurs ferroviaire, nucléaire et médical.

Créée en 2011, et filiale à 100% de Safran Electronics & Defense depuis juin 2023, Asterios Technologies est une entreprise à taille humaine, évoluant dans un environnement de type start-up avec une agilité qui lui est propre, tout en bénéficiant du rayonnement de Safran.

Dans ce contexte, Asterios Technologies offre la possibilité de s'épanouir au sein d'une équipe R&D autonome et créative, où les méthodes de travail y sont basées sur la collaboration inter-équipes, et où l'ambiance de travail y est dynamique et sympathique. Asterios Technologies offre également des perspectives d'évolutions professionnelles.

工作要求

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.

工作的特殊性

La compréhension de l'anglais technique est requise pour ce stage.

确定您未来的工作地点

16 avenue Carnot 91300

Massy

Ile de France 法国

复制地址
83,000
名员工
27
赛峰集团经营所在国家数量
35
职业类别