[TYPES] PhD and Postdoc positions available at INRIA Grenoble for Kell Calculus research

[Alan Schmitt]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hello,

There are several positions available for PhD and Postdocs in the 
Sardes Project at INRIA Rhône-Alpes, near Grenoble, France, to work on 
the Kell Calculus.

The Kell Calculus is a higher-order distributed process calculi that 
aims at giving a precise semantics to component based programs and at 
building formal verification tools for these programs.

The proposed positions cover several aspects of the Kell Calculus, such 
as type systems, formalization of the Fractal Component Model, and 
models of failure. Information about the Kell Calculus and these 
positions is available on the Kell Calculus homepage 
(http://sardes.inrialpes.fr/kells/).

Best,

Alan Schmitt
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (Darwin)

iD8DBQFCFKKYNIAqM4hFUWgRAu1TAJwP2I0D+5zCS/LOACTH7wvzgnG9fQCghlqa
4PFqLGoJmYKr5m4q8vRw7SU=
=31Ig
-----END PGP SIGNATURE-----