coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Sylvie.Boldo AT inria.fr
- To: coq-club AT pauillac.inria.fr, types AT lists.chalmers.se
- Subject: [Coq-Club] PhD and Post-doc positions available
- Date: Tue, 8 Jul 2008 14:12:25 +0200 (CEST)
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hi,
The ProVal team of the INRIA Saclay - Ile-de-France has funding for four PhD and two post-doctoral positions. Topics and contacts can be found at the web page:
http://proval.lri.fr/stages.en.html
Feel free to redistribute this call to anyone that might be interested.
Regards,
Sylvie Boldo
--
Sylvie Boldo, ProVal team, INRIA Saclay - Île-de-France
Parc Orsay Université - 4 rue Jacques Monod - 91893 ORSAY Cedex - France
- [Coq-Club] PhD and Post-doc positions available, Sylvie . Boldo
Archive powered by MhonArc 2.6.16.