[TYPES/announce] A postdoc and a PhD position at INRIA

[Dale Miller]

The Parsifal project at INRIA-Futurs (located at the LIX lab on the
Ecole Polytechnique campus) has the possibility of funding both a
postdoc position and a PhD student.

For more information on these positions, see the links below.
Deadlines for applying are quickly approaching.

- a Postdoc position on "Reasoning about Logic Specifications"
Application deadline: March 30, 2006.   Consult
http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html
and
http://www.talentsplace.com/syndication1/inria/ukpostdoc/index.html
(follow links to Saclay (Orsay).

- a PhD position on "Proof Carrying Code".  Consult
http://www.lix.polytechnique.fr/parsifal/
Application deadline: End of April 2006.

Please direct comments to Dale Miller (Parsifal team leader)
http://www.lix.polytechnique.fr/Labo/Dale.Miller/