Developpement D'un Environnement Permettant de - Aix-en-Provence, France - CLEARSY

CLEARSY

Entreprise vérifiée

Aix-en-Provence, France

il y a 3 semaines

Posté par:

Sophie Dupont

beBee Recruiter

Description

**Objectif du stage **:La CLEARSY Safety Plateform (CPS) 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

**Localisation**: Aix en Provence

**Durée**: 6 mois

**Niveau **:Bac +5

Type d'emploi : Temps plein, CDD, Stage
Durée du contrat : 6 mois

Salaire : Jusqu'à 1 650,00€ par mois

Avantages:

- Horaires flexibles

Programmation:

- Du lundi au vendredi

Lieu du poste : En présentiel