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 …