Modernisation Fullstack de L’atelier B

il y a 5 jours

AixenProvence, 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 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 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 **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 Organisation de soirées (food trucks), escape games, after works, potager collaboratif, 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. 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 et une entreprise qui ont du sens**: 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. Type d'emploi : Temps plein, CDD, Stage Durée du contrat : 6 mois Rémunération : 850,00€ par mois Horaires: - Du lundi au vendredi - Travail en journée Lieu du poste : En présentiel

  • Modernisation Fullstack de L’atelier B

    il y a 7 jours

    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 -modernisation Fullstack de L’atelier B

    il y a 2 semaines

    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 - Modernisation Du Generateur D’obligations de Preuve de L’atelier B

    il y a 5 jours

    Aix-en-Provence, France CLEARSY Temps plein

    Modernisation du générateur d’obligation de preuve d’Atelier B **Objectif : M**oderniser et simplifier le code source du générateur d’obligations de preuve de telle sorte à minimiser ses dépendances externes tout en tirant partie des évolutions récentes du langage C++. **Contexte**: La méthode B est utilisée pour développer formellement...

  • Leader technique Fullstack

    il y a 4 jours

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

    Choisir Capgemini, c'est choisir une entreprise où vous serez en mesure de façonner votre carrière selon vos aspirations. Avec le soutien et l'inspiration d'une communauté d'experts dans le monde entier , vous pourrez réécrire votre futur . Rejoignez nous pour redéfinir les limites de ce qui est possible, contribuer à libérer la valeur de la...

  • Leader Technique Fullstack

    il y a 3 jours

    Aix-en-Provence, 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 Vue.js pour le frontend.Vous interviendrez pour...

  • Stage - Constitution D’un Banc de Test Pour L’interface Graphique de L’atelier B

    il y a 5 jours

    Aix-en-Provence, France CLEARSY Temps plein

    Constitution d’un banc de test pour l’interface graphique de Atelier B **Objectif**: mettre en place un banc de test automatique pour cette interface graphique utilisant Ranorex et à l’intégrer dans le processus d’intégration continue gitlab de Atelier B. **Contexte**: La méthode B est utilisée pour développer formellement des composants...

  • Ingénieur développeur full stack Atelier B H/F

    il y a 2 jours

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

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

  • Leader technique Fullstack

    il y a 3 jours

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

    ExpérimentésIngénierie logicielleCDIID fr_FRChoisir Capgemini, c'est choisir une entreprise où vous serez en mesure de façonner votre carrière selon vos aspirations. Avec le soutien et l'inspiration d'une communauté d'experts dans le monde entier , vous pourrez réécrire votre futur . Rejoignez nous pour redéfinir les limites de ce qui est possible,...

  • Réceptionnaire atelier H/F

    il y a 5 jours

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

    PYRAME STATION à AIX LES MILLES recherche un Réceptionnaire après-vente H/F afin de renforcer notre équipe.Vous assurez principalement les missions suivantes : - Accueil physique/téléphonique - Prise de RDV et tenue de planning - Rédaction d'ordres de réparation, de commandes, de travaux - Transmettre les besoins et/ou les demandes des clients à...

  • Stage - Template de Modele B Systeme Pour Du

    il y a 4 jours

    Aix-en-Provence, France CLEARSY Temps plein

    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 formé d’un cœur,...