Stage - Modernisation Du Generateur D’obligations

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

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

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

**Objectif du stage **:Dans le pôle de validation formelles de données critiques, l’extraction des data du client est vérifiée manuellement. Afin d’accélérer le processus, il faut repenser et voir ce qui peut être automatisé pour tester et valider cette tâche. Le stage consistera à concevoir une nouvelle méthode afin de tester et vérifier...

**Objectif du stage **:Dans le pôle de validation formelles de données critiques, l’extraction des data du client est vérifiée manuellement. Afin d’accélérer le processus, il faut repenser et voir ce qui peut être automatisé pour tester et valider cette tâche. Le stage consistera à concevoir une nouvelle méthode afin de tester et vérifier...

**Objectif du stage **:Dans le pôle de validation formelles de données critiques, l’extraction des data du client est vérifiée manuellement. Afin d’accélérer le processus, il faut repenser et voir ce qui peut être automatisé pour tester et valider cette tâche. Le stage consistera à concevoir une nouvelle méthode afin de tester et vérifier...

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

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

**Objectif du stage** : Développement d’un outil de génération de données sécuritaire, destiné à l’industrie ferroviaire. Les concepteurs de systèmes ferroviaires sont amenés à générer de grandes quantités de données à partir de la topologie des voies. Ces données générées sont des données de configurations pour différents...

**Objectif du stage** : Développement d’un outil de génération de données sécuritaire, destiné à l’industrie ferroviaire. Les concepteurs de systèmes ferroviaires sont amenés à générer de grandes quantités de données à partir de la topologie des voies. Ces données générées sont des données de configurations pour différents...

**Objectif du stage** : Développement d’un outil de génération de données sécuritaire, destiné à l’industrie ferroviaire. Les concepteurs de systèmes ferroviaires sont amenés à générer de grandes quantités de données à partir de la topologie des voies. Ces données générées sont des données de configurations pour différents...

Notre groupe est **au service de la transformation digitale des entreprises **depuis plus de 15 ans. De l étude à la réalisation en passant par le conseil, nous travaillons sur des projets de refonte d infrastructure, de Cloud, d Intelligence artificielle, de Cybersécurité, d équipements « Endpoint », de Smartcity ou encore en développement web et...

**Objectif du stage** : Développement d’un outil de génération de données sécuritaire, destiné à l’industrie ferroviaire. Les concepteurs de systèmes ferroviaires sont amenés à générer de grandes quantités de données à partir de la topologie des voies. Ces données générées sont des données de configurations pour différents...

**Objectif du stage** : Développement d’un outil de génération de données sécuritaire, destiné à l’industrie ferroviaire. Les concepteurs de systèmes ferroviaires sont amenés à générer de grandes quantités de données à partir de la topologie des voies. Ces données générées sont des données de configurations pour différents...

Rejoignez nos **700 collaborateurs** pour participer à notre développement ambitieux ! Avec un chiffre d'affaires de **132 millions d’euros en 2023**, nous répondons au plus près des besoins de nos clients au travers de nos **17 implantations en France et à l'international** (Allemagne, Italie, Royaume-Uni, Suède, Finlande, Etats-Unis,...

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

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

Description de l'entreprise **Qui sommes-nous ?** Aventure entrepreneuriale lancée en France en 2006, Voyage Privé est le leader européen de la vente éphémère de voyage en ligne et le 1er groupe indépendant d’E-Tourisme en Europe. Ce qui nous anime au quotidien ? Faire voyager nos 56 millions de Membres en leur proposant des offres uniques...

Dans les systèmes embarqués complexes, tels que ceux utilisant des FPGA ou des microprocesseurs, une gestion efficace de l'alimentation est essentielle. Pour alimenter ces dispositifs, il est souvent nécessaire d'utiliser une alimentation multi-rails, capable de fournir plusieurs tensions de manière stable et optimisée pour différentes parties du...

**Intégrateur DevOps (H/F) - Stage**: - Date de publication: 24 sept. 2024- Réf. Non: 520651- Emplacement: Aix en Provence, FR, FR, 13100 **Qui nous sommes.** Nous sommes une équipe d’experts passionnés avec une ambition claire : utiliser le numérique pour **faire avancer ce qui compte** pour nos clients et la société. Chaque jour, nous...