Offres de stages

Offres de thèse

Randomness and Non-Uniformity in Descriptive Complexity

(directeur)

Vérification formelle de contraintes de vol

(directeur)
KERVARC Romain (co-encadrant)

Formal Verification of Blockchain-based IoT Applications

(directeur)
KLAI Kais (co-encadrant)

SYNthesis in PArametric TImed games with Concurrency and data

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

Offres de stage