Modernisation Fullstack de L’atelier B
il y a 2 semaines
**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 : 900,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 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...
-
Aix-en-Provence, France CLEARSY Temps pleinModernisation 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...
-
Stage - Developpement Workbook Atelier B
il y a 2 semaines
Aix-en-Provence, France CLEARSY Temps pleinDé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...
-
Aix-en-Provence, France CLEARSY Temps pleinConstitution 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...
-
Développeur fullstack
il y a 2 jours
Aix-en-Provence, Provence-Alpes-Côte d'Azur, France OnePoint Temps pleinContribuez aux grandes transformations des entreprises et des acteurs publics en alliant innovation technologique et expertise métier, au service de nos clients et de la société pour les faire avancer durablement.Au-delà de la RSE, nous avons développé notre propre approche, RESET, qui englobe l'ensemble de nos engagements en matière de...
-
Développeur Fullstack
il y a 1 semaine
Aix-en-Provence, Provence-Alpes-Côte d'Azur, France OPEN Temps pleinContexte de la mission : Sur le marché Aixois nous sommes incontournables sur le secteur public, bancaire et de l'énergie. La Business Unit Open d'Aix-en-Provence c'est 80 collaborateurs. Nous sommes fiers de notre taille humaine qui nous permets de favoriser la proximité avec nos partenaires. Pour autant, la volumétrie du Groupe OPEN (4000...
-
Réceptionnaire Atelier
il y a 5 jours
Aix-en-Provence, France PYRAME STATION 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...
-
Développeur Fullstack Java/Angular
il y a 2 semaines
Aix-en-Provence, Provence-Alpes-Côte d'Azur, France OPEN Temps pleinContexte de la mission : Sur le marché Aixois nous sommes incontournables sur le secteur public, bancaire et de l'énergie. La Business Unit Open d'Aix-en-Provence c'est 80 collaborateurs. Nous sommes fiers de notre taille humaine qui nous permets de favoriser la proximité avec nos partenaires. Pour autant, la volumétrie du Groupe OPEN (4000...
-
Développeur Fullstack H/F
il y a 4 jours
Aix-les-Bains, France Sully Group Temps pleinDans le cadre d'un nouveau projet applicatif, nous recherchons un Développeur Fullstack confirmé pour accompagner les équipes de notre client basé à Aix les Bains. Vos missions : - Développer des applications et des APIs sur-mesure (écrans, fonctionnalités, web services). - Participer à l'optimisation du code pour maximiser les performances. -...
-
Stage - Template de Modele B Systeme Pour Du Ferroviaire
il y a 5 jours
Aix-en-Provence, France CLEARSY Temps pleinL’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,...
