DÉVELOPPEMENT D’UN ENVIRONNEMENT PERMETTANT DE PROGRAMMER EN RUST SUR UN CALCULATEUR SÉCURITAIRE

Développement d’un environnement Rust & Langage formel B pour calculateur sécuritaire

Ce Que Nous Vous Proposons :

Rejoindre une PME de 150 personnes réparties sur 4 sites : AIX, LYON, PARIS, STRASBOURG, pour laquelle les valeurs humaines sont très importantes.

Une montée en compétences via : des formations multiples, un encadrement par des experts, un travail collaboratif et un mentor pour les moins expérimentés et les changements d’activités

Des opportunités nombreuses : les expériences se complètent et se diversifient en fonctions des projets et des envies : développement, conception, validation, architecture, organisation.

Les postes à CLEARSY sont évolutifs et polyvalents : chef de projet, responsable technique, développement, propositions commerciales, présentations, participation à une offre technique, financière et produit, formateur, participation à des conférences et salons métier.

Des avantages intéressants : une très bonne mutuelle, des activités fréquentes organisées par les collaborateurs et soutenues par le CSE, des tickets restaurants, un véritable accord de participation (1/4 des bénéfices reversés aux collaborateurs), une prime de vacances et des primes de cooptation.

Organisation de soirées (food trucks, escape games, after works, potager collaboratif, pétanque, billiard, cours de yoga, squash…)

Intégrer CLEARSY c’est rejoindre une communauté de spécialistes dans laquelle les compétences professionnelles sont reconnues et enrichies ; dans laquelle l’inventivité, l’autonomie et le sens du collectif sont des qualités appréciées.

Cette citation reflète bien nos valeurs : Steve Jobs – « Cela n’a pas de sens d’embaucher des gens intelligents et de leur dire quoi faire ; nous embauchons des gens intelligents pour qu’ils nous disent ce qu’il faut faire. »

Des projets et une entreprise qui ont du sens :

A la différence d’une ESN, l’immense majorité des travaux de CLEARSY est réalisée au forfait dans les locaux : nos clients nous confient la réalisation de l’ensemble d’un projet en complète autonomie (technique et organisationnelle), avec un engagement de résultat.

Vous cherchez une entreprise innovante dans un secteur porteur d’avenir ? Nos clients sont les acteurs majeurs du monde de la mobilité verte et de l’énergie.

Les valeurs humaines de CLEARSY sont très importantes. Les règles, et la hiérarchie ne sont pas de mise à CLEARSY, afin de rester agiles et de se concentrer sur la réussite technique des projets.

Objectif : La CLEARSY Safety Plateform (CSP) est un calculateur sécuritaire qui permet de faciliter le développement de systèmes critiques. Elle intègre également une librairie logicielle et une chaine d’outil entièrement intégrée (Docker ou machine virtuelle) permettant de compiler directement les binaires finaux.

L’objectif du stage sera de mettre au point un environnement de développement pour la CLEARSY Safety Platform utilisant Rust (pour la partie non sécuritaire) et la méthode B (pour la partie sécuritaire), sur la base de l’environnement actuel (basé sur le langage C et la méthode B), et du générateur de code b2rust.

Livrables attendus :

• Chaîne d’outils de compilation ciblant le micro-contrôlleur PIC32 par b2rust et rustc.
• Utilisation de cette chaîne d’outils pour compiler la CSlib
• Utilisation de cette chaîne d’outils pour compiler les exemples fournis avec le manuel utilisateur.
• Portage d’un projet CLEARSY utilisant la CSP
• Mise à jour et extension du manuel utilisateur.

Compétences recherchées :

• Développeur logiciel embarqué
• Connaissances en assembleur, C
• Les connaissances en Rust et en méthodes formelles seraient un plus

Pour postuler merci d’envoyer un CV et une Lettre de motivation à l’adresse stages-ingenieurs@clearsy.com