DEVELOPPEMENT MACHINE LEARNING POUR LA PREUVE MATHEMATIQUE DE LOGICIEL
Objectif du stage : Développement en Machine Learning pour la preuve mathématique de logiciel
DEVELOPPEMENT CARTE MERE POUR CALCULATEUR SECURITAIRE
Objectif du stage : Développement d’une carte mère pour calculateur sécuritaire …
SYSTEME DE LOCALISATION DE TRAIN
Objectif du stage : concevoir un prototype fonctionnel d’un système de localisation sécuritaire de train …
Système de communication par câble rayonnant
Objectif du stage : Preuve de concept propagation d’ondes radio au travers d’un rail …
PROGRAMMATION PROTOCOLE D’ECHANGES SECURITAIRES
Objectif du stage : Programmation d’un protocole d’échanges sécuritaires sur un automate industriel …
SYSTEME DE DETECTION D’OBSTACLE SECURITAIRE
Objectif du stage : Concevoir un système de détection d’obstacle pour un projet de véhicule autonome …
MODERNISATION FULLSTACK DE L’ATELIER B
Objectif du stage : Travaux de développement et d’évolution sur un outil de preuve formelle
GENERATION DE CODE PROUVE EN RUST
Objectif du stage : Développer un traducteur de modèles formels B vers le langage Rust