Application conditions:

In 2005-2006, INRIA will fund 60 (one year long) post-doc fellowships on a list of approved subjects. The VASY team of INRIA Rhône-Alpes is eligible on two subjects and thus looking for candidates that will have defended their PhD before September 1, 2005.

Income: About 1800 EUR net per month (2150 EUR gross), health insurance included (French Social Security system).

Proposed subject:

The subject, entitled "Formal verification of asynchronous systems on chip", is available in PDF. This work takes place in the framework of a collaboration with the CEA-LETI and IMAG-TIMA laboratories (Grenoble).

Application:

Download and fill the application packet then send it by e-mail to Frederic.Lang@inrialpes.fr and to candidatures2005@inrialpes.fr.

Important dates:

• Application deadline: April 22, 2005

• Final decision: End of May 2005

• Starting date: Between June 1 and December 31, 2005

For more information, please contact:

Frédéric Lang INRIA Rhône-Alpes 655, avenue de l'Europe MONTBONNOT SAINT-MARTIN F-38334 SAINT-ISMIER CEDEX Tel : 04 76 61 55 11 Fax : 04 76 61 52 52 E-mail : Frederic.Lang@inria.fr Web : http://vasy.inria.fr

Back to the VASY Home Page