Descriptif du poste: Atelier B est un environnement graphique de développement de logiciel avec la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Atelier B est en constante évolution pour apporter des améliorations ergonomiques et fonctionnelles autour d'un noyau stable de fonctionnalités. Les différentes briques logicielles composant Atelier B ont été développées en C et C++ pour le back-end et Qt pour le front-end. CLEARSY améliore et modernise constamment le code source d'Atelier B en adoptant notamment des évolutions récentes du langage C++ ainsi qu'en mettant en enrichissant les processus associés d'intégration continue. Profil recherché: Bac+5 informatique ou généraliste ingénieur(e) ou universitaire, passionné par la technique, l'informatique et les mathématiques.