The Coq mailing list

[jean-francois.monin AT imag.fr]

              *******************************
              * Postdoc position at Verimag *
              *******************************

The Distributed and Complex Systems group
                http://www-verimag.imag.fr/~async/
of Verimag is offering postdoctoral fellowships in the areas of
language-based computer security, type-theory and static analysis
applied to security, cryptography, provable cryptography, complexity
theory applied to cryptography, and cryptographic protocols.
The fellowships are for at least one year beginning as soon as
possible.

Contact: Yassine Lakhnech
         
Yassine.Lakhnech AT imag.fr
         http://www-verimag.imag.fr/~lakhnech