Offres de stages

Offres de thèse

Randomness and Non-Uniformity in Descriptive Complexity

Sep 1

(directeur)

Vérification formelle de contraintes de vol

Sep 1

(directeur)
KERVARC Romain (co-encadrant)

Formal Verification of Blockchain-based IoT Applications

Sep 1

(directeur)
KLAI Kais (co-encadrant)

SYNthesis in PArametric TImed games with Concurrency and data

Oct 1

(directeur)
VAN DE POL Jaco (co-encadrant)

Offres de stage