Extension Du Compilateur B Pour Permettre La

**Objectif du stage **:Le CLEARSY Data Solver est un logiciel de validation de données développé par CLEARSY et utilisé par plusieurs grands noms du ferroviaire. Cet outil est aujourd'hui certifié T2 selon la norme EN 50128, ce qui correspond aux outils de vérification pour des systèmes critiques. Dans le cadre d'une certification au niveau T3...

**EXTENSION DU COMPILATEUR B POUR PERMETTRE LA CERTIFICATION T3 DU LOGICIEL DE VALIDATION DE DONNÉES DE CLEARSY** Développement en C++ d’une chaîne de compilation redondée pour certification d’un outil logiciel **Objectif**: Le CLEARSY Data Solver est un logiciel de validation de données développé par CLEARSY et utilisé par plusieurs grands...

**Objectif du stage **:La CLEARSY Safety Plateform (CPS) est un calculateur sécuritaire qui permet de faciliter le développement de systèmes critiques. Elle intègre également une librairie logicielle et une chaine d’outil entièrement intégrée (Docker ou machine virtuelle) permettant de compiler directement les binaires finaux.  L'objectif du...

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

Contexte du recrutement et définition de poste : DESCRIPTION DES FONCTIONS Contexte : L’Office français de la biodiversité (OFB) est né le 1er janvier 2020. Ce nouvel établissement public, placé sous la tutelle des ministres chargés de l’environnement et de l’agriculture, a été créé pour protéger et restaurer la biodiversité. Il intègre...

**Objectif**: Développer une bibliothèque qui regroupe l’ensembles des fonctionnalités actuelles pour consulter et manipuler un projet B, de telle sorte à ce qu’il soit possible de remplacer, dans l’interface graphique, la couche d’appel à l’interface en ligne de commandes par des appels directs à l’API offerte par cette...

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

Vous êtes un(e) passionné(e) de la vente et de l’habitat ? Vous aimez conseiller, convaincre et accompagner des projets qui transforment le quotidien des clients ? Rejoignez une entreprise dynamique basée à Ferrières en Brie et spécialisée dans l’aménagement des combles et l’extension de maisons ! **Votre mission**: - Prospecter et...

Localisation : Montpellier Type de contrat : CDI Si vous êtes à la recherche d'une nouvelle expérience dans un environnement technique stimulant et en changement continu, on est fait pour être ensemble Rejoignez Bouygues Telecom pour participer à l'exploitation de son réseau de téléphonie mobile en région Méditerranée et au développement de notre...

**Votre rôle**: développer une relation de proximité et de confiance forte avec nos assurés. **Votre enjeu**: fidéliser nos assurés et leur proposer du multi-équipements tout en restant à l’écoute de leurs besoins. Au sein d’une équipe commerciale composée de 6 personnes dédiée à nos 15 000 assurés, vos missions: - Vous répondez aux...