Stage : Modernisation Fullstack de L’atelier B

il y a 3 jours

AixenProvence, France CLEARSY Temps plein

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

CLEARSY est une PME Française fondée en 2001 par les ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle appelé Atelier B, utilisé pour spécifier, concevoir, valider les systèmes et réaliser les logiciels critiques (comme le pilote automatique du métro de la ligne 14 à Paris).
L’activité est majoritairement orientée vers le secteur ferroviaire, énergie (nucléaire) et défense.

Société à taille humaine sur 4 sites en France, en pleine croissance (150 personnes), nous développons et déployons nos systèmes dans le monde entier depuis plus de 10 ans, nous avons notamment pu travailler à Sao Paolo / Stockholm / Caracas / New York / Hiroshima / Honolulu )

Les équipes CLEARSY interviennent dans toutes les phases d’un projet, de la spécification à la réalisation de systèmes « clé en main » tout en garantissant un respect le plus strict des exigences de sûreté.
Clearsy recherche aujourd’hui des ingénieurs passionnés par le challenge technique et qui ont appris à apprendre pour venir renforcer ces équipes techniques.

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_

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élioer et moderniser 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.

**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.

**Compétences recherchées**:

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

**Localisation **: Aix en Provence
**Durée **: 6 mois
**Niveau **: Bac +5

Type d'emploi : Temps plein, Stage
Durée du contrat : 6 mois

Salaire : 650,00€ par mois

Avantages:

- Participation au Transport
- Titre-restaurant

Programmation:

- Du Lundi au Vendredi

Formation:

- Bac +5 (Master / MBA) (Optionnel)

Lieu du poste : Un seul lieu de travail

  • Stage - Modernisation Fullstack de L’atelier B

    il y a 1 semaine

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:Travaux de développement et d’évolution 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...

  • Stage - Developpement Workbook Atelier B

    il y a 2 semaines

    Aix-en-Provence, France CLEARSY Temps plein

    Développement d’un workbook pour l’Atelier B et la méthode B **Objectif **:développer un workbook à destination des étudiants découvrant la méthode B et l’Atelier B. **Contexte**: L’environnement technique est: - B pour la modélisation, - le langage de preuve (script, règles mathématiques) du prouveur interactif de l’Atelier B, - C...

  • Leader Technique Fullstack

    Il y a 10 minutes

    Aix-en-Provence, Provence-Alpes-Côte d'Azur, France Capgemini Temps plein

    En tant que Leader Technique Fullstack, vous serez le référent technique sur des projets à forte valeur ajoutée. Vous interviendrez sur des architectures modernes et des stacks technologiques variées : Java (Spring Boot, Quarkus ou autres frameworks) pour le backend et Angular, React ou pour le frontend.Vous interviendrez pour apporter une qualité...

  • Leader technique Fullstack

    il y a 7 jours

    Aix-en-Provence, Provence-Alpes-Côte d'Azur, France Capgemini Temps plein

    Description En tant que Leader Technique Fullstack, vous serez le référent technique sur des projets à forte valeur ajoutée. Vous interviendrez sur des architectures modernes et des stacks technologiques variées : Java (Spring Boot, Quarkus ou autres frameworks) pour le backend et Angular, React ou pour le frontend.Vous interviendrez pour apporter une...

  • Stage - Developpement Banc de Tests Automatise

    il y a 2 semaines

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Stage - Developpement Banc de Tests Automatise

    il y a 2 semaines

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Stage - Developpement Banc de Tests Automatise

    il y a 2 semaines

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Stage - Developpement Banc de Tests Automatise

    il y a 1 semaine

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...

  • Stage Contrôle de Gestion F&b

    il y a 6 jours

    Aix-en-Provence, France COFIGAD Temps plein

    **Le Grand Hôtel du Roi René MGallery** Aix-en-Provence, recherche son/sa prochain/e Stagiaire Contrôle de gestion/finance H/F, dès maintenant,**pour accompagner nos équipes dans le suivi et l’optimisation de la performance Food & Beverage. - **Stage de 6 mois**: - **Gratification : 660€ net/mensuel pour 151,67h de travail effectif**: -...

  • Stage : Generation de Code Prouve en Rust

    il y a 3 jours

    Aix-en-Provence, France CLEARSY Temps plein

    **Objectif du stage **:Développer un traducteur de modèles formels B vers le langage Rust CLEARSY est une PME Française fondée en 2001 par les ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle appelé Atelier B, utilisé pour spécifier, concevoir, valider les systèmes et réaliser les logiciels critiques (comme le...