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

Nous rejoindre

CLEARSY recrute,
rejoignez notre équipe !

Contactez CLEARSY