[TYPES/announce] Post-doctoral position at ENS Lyon

Olivier Laurent olivier.laurent at ens-lyon.fr
Mon May 16 16:10:16 EDT 2011

LIP computer science research department at Ecole Normale Superieure de 
Lyon is offering a postdoctoral position for the academic year 2011-2012.
All teams are concerned. In particular the Plume team focussing on 
logic, types and formal semantics of programming languages.

LIP is a joint department with CNRS, INRIA, ENS and UCBL (U. Lyon). Our 
main strength is the creative interaction between long-term fundamental 
research, innovative software and hardware design, and transfer through 
industrial collaborations. This interaction provides a unique research 
context and fosters new trends, both theoretical and practical, with two 
main transverse areas:

   * Mathematical computer science models, methods, and algorithms;
   * Addressing the challenges of future computational and communication 

Applications until June 17th.

See http://www.ens-lyon.fr/LIP/web for further informations.

Olivier Laurent.

www    : http://perso.ens-lyon.fr/olivier.laurent/

More information about the Types-announce mailing list