Thèse 153 / "Preuve formelle de performances de systèmes de communications numériques" F/H

Thèse CIFRE, sujet concernant les bus numériques de communication, plus précisément le développement d'outils de justification permettant de fournir la preuve formelle de leurs performances comportementales.

Jeune diplômé d'école d'ingénieur du domaine des télécommunications

Temps de travail partagé entre le laboratoire académique et Safran ED (Massy)