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

[Olivier Laurent]

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 
architectures.

Applications until June 17th.

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


Olivier Laurent.

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