The Coq mailing list

[Alan Schmitt <alan.schmitt AT polytechnique.org>]

Hello,

Postdoc positions are available at Inria Rennes, Celtique project
http://www.irisa.fr/celtique/ and ENS Lyon, Plume team
http://www.ens-lyon.fr/LIP/PLUME/.

In the setting of the PiCoq project
(http://sardes.inrialpes.fr/collaborations/PiCoq/), a postdoc position
is available for initially one year, renewable for an additional year
by mutual consent. Possible topics include:
- formalization of higher-order pi calculi in Coq;
- study of the expressiveness of such calculi;
- design of decision procedures for variants of Kleene algebra;
- implementation of such procedures in Coq.

To apply, the candidates must have a PhD in computer science and
should send a CV and recommendation letters to Alan Schmitt
(alan.schmitt AT inria.fr).

Alan Schmitt