Objectif du stage : Développement en Machine Learning pour la preuve mathématique de logiciel
Objectif du stage : Développement d’une carte mère pour calculateur sécuritaire …
Objectif du stage : concevoir un prototype fonctionnel d’un système de localisation sécuritaire de train …
Objectif du stage : Preuve de concept propagation d’ondes radio au travers d’un rail …
Objectif du stage : Programmation d’un protocole d’échanges sécuritaires sur un automate industriel …
Objectif du stage : Concevoir un système de détection d’obstacle pour un projet de véhicule autonome …
Objectif du stage : Travaux de développement et d’évolution sur un outil de preuve formelle
Objectif du stage : Développer un traducteur de modèles formels B vers le langage Rust