Stage - Developpement Workbook Atelier B
il y a 5 jours
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 pour la génération de code, Rust en option,
- Markdown pour le document
- Github pour la persistence des données (documentation, archives de projets B, code généré)
**Localisation : Aix, Lyon, Paris ou Strasbourg**
**Durée : 6 mois**
**Niveau : Bac +5**
Pour postuler merci d’envoyer un Cv et une Lettre de motivation à l’adresse:
Type d'emploi : Temps plein, Stage
Durée du contrat : 6 mois
Rémunération : à partir de 900,00€ par mois
Avantages:
- Prise en charge du transport quotidien
Horaires:
- Flextime
- Travail en journée
Lieu du poste : En présentiel
-
Stage - Developpement Workbook Atelier B
Il y a 2 mois
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...
-
Stage -modernisation Fullstack de L’atelier B
Il y a 7 mois
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 6 mois
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...
-
Modernisation Fullstack de L’atelier B
Il y a 7 mois
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...
-
Modernisation Fullstack de L’atelier B
Il y a 4 mois
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 - Template de Modele B Systeme Pour Du
il y a 4 semaines
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,...
-
Stage - Template de Modele B Systeme Pour Du
Il y a 2 mois
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,...
-
Stage - Inference de Types Appliquee Au Langage B
il y a 2 semaines
Aix-en-Provence, France CLEARSY Temps pleinInférence de types appliquée au langage B **Objectif**: Moderniser et améliorer le traitement des types dans Atelier B, par intégration de l’inférence de types dans les outils d’analyse des sources et de génération d’obligation de preuve de l’Atelier B **Contexte**: Atelier B est un environnement de développement pour le langage B. Il...
-
Stage - Inference de Types Appliquee Au Langage B
Il y a 2 mois
Aix-en-Provence, France CLEARSY Temps pleinInférence de types appliquée au langage B **Objectif **:Moderniser et améliorer le traitement des types dans Atelier B, par intégration de l’inférence de types dans les outils d’analyse des sources et de génération d’obligation de preuve de l’Atelier B **Contexte**: Atelier B est un environnement de développement pour le langage B. Il...
-
Stage - Developpement Banc de Tests Automatise
Il y a 6 mois
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 6 mois
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 7 mois
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 mois
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 4 mois
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 3 mois
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 7 mois
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 6 mois
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 R&d Matériaux
Il y a 6 mois
Aix-en-Provence, France RS DEVELOPPEMENT Temps plein**Présentation de l'entreprise**: RS Développement est un institut de tests et de conseils créé en 2008. L’entreprise est spécialisée dans le contrôle de la conformité des produits de six secteurs différents: ❖ Détergence ❖ Cosmétique ❖ Bazar ❖ Papier ❖ Automobile ❖ Bricolage Nous apportons aux distributeurs le conseil...
-
Stage - Constitution D’un Banc de Test Pour
il y a 4 semaines
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...