Industrialisation et conception de carte électronique SIL2 ready
2017

Le stage se concentre sur une carte électronique sécuritaire (contenant de l’électronique numérique & analogique ainsi que 2 logiciels embarqués).

Développement d’un logiciel de génération graphique de plans de voies
2016

Nous recrutons un(e) stagiaire pour un logiciel d’affichage de plan de voie dans le cadre de projets de validation de données ferroviaires.

Réalisation une interface graphique de preuve pro-active
2016

Le but de ce stage est de concevoir et de réaliser une interface graphique permettant de manipuler des démonstrations sur des obligations de preuves de l'AtelierB.

Intégration de B2LLVM dans l’atelier B
2016

Le but de ce stage est d'intégrer le générateur de code B2LLVM dans l'Atelier B

Intégration de B4SYN dans l’Atelier B
2016

Le but de ce stage est d'intégrer le générateur de code B4SYN dans l'Atelier B.

Conception de carte électronique SIL2 ready (Pourvu)
2016

Concevoir une carte électronique à faible coût permettant d’assurer une fonction de multiplexage et mise en forme de donnée en sécurité.

Nous rejoindre

CLEARSY recrute,
rejoignez notre équipe !

Contactez CLEARSY