[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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/
