[TYPES/announce] INRIA postdoc programme
Pierre-Louis Curien
Pierre-Louis.Curien at pps.jussieu.fr
Tue Feb 24 09:01:23 EST 2009
I would like to draw your attention on the
******** postdoc programme of INRIA (France, in one of its
locations) *********
On the site
http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html
you will find information on how to apply and on the various subjects
proposed by the INRIA teams, some of which fall under the scope of
types, logic, semantics, and programming languages. For each
subject, a contact email is given.
The deadline for application is uniform: March 22, 2009
It is strongly recommended that potential applicants contact
** as early as possible **
the contact person indicated on the subject that they will find of
interest for them.
Pierre-Louis Curien
More information about the Types-announce
mailing list