Offres de stage : 2020

Visualisation de contre-exemples dans l’éditeur de l’Atelier B
2020

Nos ingénieurs doivent prouver un certain nombre d’obligations de preuves de leur modèle. Des travaux récents ont permis de connecter des nouveaux prouveurs afin de valider ces obligations de preuve et d’en visualiser la sortie lorsqu’un contre-exemple est trouvé. Le but du stage serait de faire en sorte que la visualisation du contre-exemple soit réalisée sur les objets du modèle plutôt que sur les objets du prouveur.

Outillage pour la validation de règles de preuve de l’Atelier B
2020

Ce stage a pour objectif d’étendre l’outil Outil Preuve de Règles et son interface pour permettre d’utiliser d’autres prouveurs mathématiques que le prouveur de prédicat pour vérifier des règles de preuve, afin de réduire les règles à valider manuellement.

Systèmes de communication train/sol
2020

L’objectif du stage est de réaliser l’équipement sol et en particulier l’intégrer dans le système global. Le stagiaire devra concevoir le logiciel embarqué sur cet équipement et mettre à jour le logiciel du système embarqué. Le système assurant une fonction sécuritaire (commande d’ouverture de portes, le stagiaire devra appréhender les notions de codage de logiciel de sécurité.

Nous rejoindre

CLEARSY recrute,
rejoignez notre équipe !

Contactez CLEARSY