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

Créée en 1968 par la famille Abitbol, la première agence rue Marietton à Lyon, est devenue aujourd’hui un groupe, Marietton Développement, de plus de 1400 collaborateurs, doté d’une implantation nationale et d’une complémentarité dans les métiers du tourisme. Nos équipes partagent des valeurs telles que la passion ainsi que le travail de...

Créée en 1968 par la famille Abitbol, la première agence rue Marietton à Lyon, est devenue aujourd’hui un groupe, Marietton Développement, de plus de 1400 collaborateurs, doté d’une implantation nationale et d’une complémentarité dans les métiers du tourisme. Nos équipes partagent des valeurs telles que la passion ainsi que le travail de...

Créée en 1968 par la famille Abitbol, la première agence rue Marietton à Lyon, est devenue aujourd’hui un groupe, Marietton Développement, de plus de 1400 collaborateurs, doté d’une implantation nationale et d’une complémentarité dans les métiers du tourisme. Nos équipes partagent des valeurs telles que la passion ainsi que le travail de...

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

**À propos de nous**: Présent dans 25 pays, le Groupe Ortec déploie des solutions en ingénierie et travaux dans de nombreux secteurs d’activités : énergies, mines, pharmacie, chimie, défense, ferroviaire, agroalimentaire, automobile, aéronautique, spatial, collectivitésSes 14 000 collaborateurs, en France et à l’international, assurent la...

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

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

**Le groupe Colisée en quelques mots**: - Chez Colisée, nous sommes convaincus qu'un environnement de travail épanouissant contribue au développement de nos talents ! Acteur de référence dans l'accompagnement et le soin aux personnes âgées, nous avons à coeur de créer un chez « soi », authentique et sûr, ou chaque résident est au centre de...