The Coq mailing list

[Steve Kremer <kremer AT lsv.ens-cachan.fr>]

           Doctorat en Informatique au LSV (ENS de Cachan)
           ===============================================
                  (merci de diffuser cette annonce)
        

Le Laboratoire Spécification et Vérification (ENS Cachan) recherche des 
doctorants pour la rentrée 2005, en particulier sur les thèmes suivants :

- Analyse automatique de protocoles cryptographiques de groupe
- Analyse de stabilité d'algorithmes distribués probabilistes
- Analyse par model-checking de l'allocation dynamique de mémoire
- Logiques temporelles pour le contrôle temporisé
- Vérification avancée de systèmes à compteurs

Cf. http://www.lsv.ens-cachan.fr/Stages/ pour une description plus 
détaillée des sujets proposés.

Certains des sujets proposés s'adressent à des étudiants attirés par les 
aspects appliqués de la vérification ; d'autres sujets ont un caractère 
plus fondamental. Les financements proposés (allocations de recherche, 
contrats CIFRE, ...) peuvent dépendre des sujets et avoir des conditions 
d'égibilité particulières.

Les �tudiants potentiellement int�ress�s sont pri�s de prendre contact 
par e-mail � theses AT lsv.ens-cachan.fr en joignant un cv et en pr�cisant 
quel(s) sujet(s) les int�resse(nt).