[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