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 cett…

QUI SOMMES-NOUS ? L’activité Systèmes terrestres et aériens conçoit des systèmes, des équipements, des capteurs et des services pour le contrôle du trafic aérien civil et militaire, la défense aérienne ainsi que le combat naval et terrestre. Le sit…

About the role : Objectif Orange développe une solution IoT pour faciliter l'intégration et la communication des objets connectés sur réseau LPWA et cellulaire. Le protocole LwM2M, spécifié par l'OMA, apporte des avantages en termes de consommation de ba…

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 …

Depuis plus de vingt ans, Thales déploie de façon proactive une politique affirmée en matière de responsabilité d’entreprise fondée sur les standards internationaux les plus élevés. Celle ci est en parfait accord avec …