Home
Jobs
CLEARSY
MODERNISATION FULLSTACK DE L’ATELIER B F/H

MODERNISATION FULLSTACK DE L’ATELIER B F/H

Hybrid

Aix-en-provence, France

Internship

12-01-2026

Share this job:

Score my CV

Skills

GitLab CI/CD git C++

Job Specifications

Objectif du stage : Travaux de développement et d’évolutions sur un outil de preuve formelle.

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.

Dans le cadre de l’amélioration continue de la qualité logicielle, CLEARSY souhaite améliorer et moderniser le code source d’Atelier B en adoptant notamment des évolutions récentes du langage C++ ainsi qu’en enrichissant les processus d’intégration continue associés.

Livrables attendus :

Nouvelle version d’Atelier B, modernisée, corrigée et épurée
Documentation des processus de gestion de la configuration d’Atelier B
Procédure Gitlab d’intégration continue améliorée

Profil recherché
Compétences recherchées :

Architectures logicielles et design patterns OO
CI/CD sous Gitlab
C++ et Qt
Git
Rigueur, autonomie, force de proposition
Bonnes capacités d’expression écrite et orale

Localisation : Aix-en-Provence

Durée : 6 mois

Niveau : Bac +5

About the Company

CLEARSY specializes in designing safety critical systems. From design to commissioning, we develop SIL1 to SIL4 certified systems. Our expertise includes data validation, system verification and safety demonstration. Also we promote the formal B method that has the potential to disrupt safety critical system development. CLEARSY proposes solutions to increase passenger flow and safety of the busiest commuter lines, improve train operation safety, reduce costs incurred by safety system development and verify safety critical... Know more