Descriptif du poste:\n\nAtelier 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.\nCLEARSY 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.\n\nProfil recherché:\n\nBac+5 informatique ou généraliste ingénieur(e) ou universitaire, passionné par la technique, l'informatique et les mathématiques.