Mise a Disposition Publique de l'Atelier B 24.04 H/F Clearsy

MISE A DISPOSITION PUBLIQUE DE L'ATELIER B 24.04 CSP EDUCATIONAL VERSION INTEGRANT LES REMOTE IOS

Contexte : La méthode B est utilisée pour développer formellement des composants logiciels et des modèles de systèmes critiques. Atelier B est un environnement de développement intégré (IDE) pour la méthode B qui est maintenu et développé par CLEARSY. CLEARSY Safety Platform est une plateforme de développement d'applications critiques programmées en B. La version académique dispose d'un starter kit (carte SK0) et d'un environnement de programmation basé sur l'Atelier B. Ce starter kit permet de contrôler des applications au travers de 3 entrées tout-ou-rien (TOR) et de 2 sorties TOR. Un simulateur a été développé afin de simuler l'exécution d'une demi-carte SK0 (les applicatifs ne sont pas redondés).

Un stage (https://gitlab.clearsy.com/amissue/atelier-cssp-io-extension) a permis de construire une solution simulée permettant de manipuler un grand nombre (65536) d'entrées et de sorties au travers d'un serveur. Le résultat du stage n'est pas diffusable en tant que tel et nécessite des travaux de documentation, optimisation (en taille et en performances) et packaging.

L'objet du stage est de constituer une version diffusable de cet IDE - accessible via Github - qui n'est pas censé remplacer l'installeur officiel (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/).

Objectif du stage :

- Récupération et catalogue de tous éléments techniques requis pour le bon fonctionnement ;
- Vérification de bon fonctionnement ;
- Reprise de la procédure de mise en oeuvre ;
- Construction d'une version plus optimale : lister les dépendances, identifier les redondances et simplifier ; rendre la procédure d'installation plus robuste
- Documenter l'architecture logicielle
- Construire un exemple (ou plusieurs exemples) de mise en oeuvre ;
- Rendre public les résultats (code, documentation, scripts, exemples).

Contraintes technologiques :

- Le plug-in CSSP a été développé en Python. Le stagiaire devra savoir naviguer confortablement dans le code existant.
- La documentation devra être rédigée en anglais, la spécification pourra être rédigée en anglais. Les documents seront préparés en utilisant le format Markdown (+ extensions Pandoc) et générés en CI/CD
- Le code sera hébergé sur le serveur gitlab de CLEARSY pendant la durée du stage et une procédure d'intégration continue devra être mise en place.

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 ?
- Un accord incluant du télétravail si souhaité
- 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 vrai 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 collaborative, 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
- 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. 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 qui ont du sens

A la différence d'une ESN, l'immense majorité des travaux de CLEARSY sont réalisés 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.