Stage - Template de Modele B Systeme Pour Du

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 formé d’un cœur,...

Req ID:468781 Chez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter. Des trains à grande vitesse, métros, monorails et tramways aux systèmes intégrés, services, infrastructures, et solutions de signalisation et de mobilité numérique, nous offrons à la diversité de nos...

Stage F/H_3 mois - Modélisation Système du Pilote Automatique Embarqué pour Projets Métro Parisiens Chez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter. Des trains à grande vitesse, métros, monorails et tramways aux systèmes intégrés, services, infrastructures, et...

Stage F/H_3 mois - Modélisation Système du Pilote Automatique Embarqué pour Projets Métro ParisiensChez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter. Des trains à grande vitesse, métros, monorails et tramways aux systèmes intégrés, services, infrastructures, et...

Req ID:468781  Chez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter. Des trains à grande vitesse, métros, monorails et tramways aux systèmes intégrés, services, infrastructures, et solutions de signalisation et de mobilité numérique, nous offrons à la diversité de...

Description du poste et Missions Sujet du stage : _Modélisation de la durée de vie d’outils d'usinage lors de la fabrication de composants aéronautiques_ CT Ingénierie Sud-Est, entreprise technologique innovante possède une expertise reconnue sur la conception des pièces mécaniques aéronautiques. Pour éviter le risque de casse des outils de...

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

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

A propos de l'entreprise : Viveris est un groupe de conseil et d'ingénierie spécialisé dans la conduite et la réalisation de projets dans les domaines de l'informatique et de l'électronique.S'engager avec Viveris, c'est l'assurance de relever des défis techniques et humains tout en travaillant sur des projets innovants dans un environnement...

**Pays** France **Lieu de travail** AIX EN PROVENCE-PARC CLUB DU GOLF(FRA) **Société employeur** OMBREA **Domaine** Systèmes d'Information **Lieu** 13 - Bouches-du-Rhône **Type d'emploi** Stage conventionné **Durée du contrat** 6 Mois **Expérience** Moins de 3 ans - Issue d’une formation Bac+4/5 en école d’ingénieur et/ou...

**Pays** France **Lieu** 13 - Bouches-du-Rhône **Lieu de travail** AIX EN PROVENCE-PARC CLUB DU GOLF(FRA) **Société employeur** OMBREA **Domaine** Systèmes d'Information **Type de contrat** Stage conventionné **Durée du contrat** 6 **Expérience** Moins de 3 ans - Issue d’une formation Bac+4/5 en école d’ingénieur et/ou équivalent...

**Pays** France **Ville** AIX EN PROVENCE **Lieu de travail** AIX EN PROVENCE-PARC CLUB DU GOLF(FRA) **Société employeur** TotalEnergies Renouvelables France **Domaine** Hyg Séc Sureté Sociét Env Qual **Type de contrat** Stage conventionné **Durée du contrat** 6 **Expérience** Moins de 3 ans **Contexte et...

**Objectif du stage **:Preuve de concept pour remplacer un système de détection laser par des caméras 3D CLEARSY est une PME Française fondée en 2001 par les ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle appelé Atelier B, utilisé pour spécifier, concevoir, valider les systèmes et réaliser les logiciels...

**Objectif du stage **:Preuve de concept pour remplacer un système de détection laser par des caméras 3D CLEARSY est une PME Française fondée en 2001 par les ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle appelé Atelier B, utilisé pour spécifier, concevoir, valider les systèmes et réaliser les logiciels...

**Objectif du stage **:Preuve de concept pour remplacer un système de détection laser par des caméras 3D CLEARSY est une PME Française fondée en 2001 par les ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle appelé Atelier B, utilisé pour spécifier, concevoir, valider les systèmes et réaliser les logiciels...

**Objectif du stage **:Preuve de concept pour remplacer un système de détection laser par des caméras 3D CLEARSY est une PME Française fondée en 2001 par les ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle appelé Atelier B, utilisé pour spécifier, concevoir, valider les systèmes et réaliser les logiciels...

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

Utilisation de machine learning pour analyse de fichiers log **Objectif **:Analyser automatiquement les fichiers log d’un système de protection ferroviaire dans le cadre d’opérations de maintenance. **Contexte**: KFS est un système de protection automatique, installé sur des trains et implémentant une fonctionnalité de contrôle de franchissement...

Date de publication de l'offre 16/10 - 13/11/2024 Type d'emploi - Stage Catégorie de métier Gestion des espaces naturels Nom de l'organisme Fondation Tour du Valat **_La Tour du Valat recrute, en collaboration avec la SNPN, Artelia et le Cerege, un.e stagiaire en modélisation hydrodynamique_** **Contexte** L’Ile de Camargue (partie centrale du...

Description de l'entreprise STG-TA-AIX-25-P11-02 Vous avez le souhait de travailler au sein d’un collectif, dans une entreprise française à taille humaine, à la pointe des technologies ? Portée par près de 2000 collaborateurs répartis sur 8 sites implantés dans tout l’hexagone, TechnicAtome conçoit les réacteurs nucléaires compacts des...