[TYPES/announce] Postdoc position at ENS Lyon

[Baillot Patrick]

A one year postdoc position is available at ENS Lyon, France, supported 
by the ANR ELICA project:
"Expanding Logical Ideas for Complexity Analysis"
which brings together researchers working in four different sites: LIPN 
at Univ. Paris 13-Villetaneuse, LIP at ENS Lyon, LORIA in Nancy and the 
Focus team in Bologna:
          http://lipn.univ-paris13.fr/~mazza/Elica/

- The scientific goal of the project is to develop logical methods for 
static complexity analysis, improve their expressiveness and extend 
their application to non-deterministic and concurrent programming
paradigms.

- Requirements are a PhD degree in Computer Science or Mathematics and a 
strong background in at least one of the following topics:
  * implicit computational complexity and type-based methods for 
complexity analysis
  * linear logic and linear type systems
  * concurrent process calculi

The salary will be around 2030 euro/month.
- Applications consist in a resume and list of publications, a research 
statement and the names and contacts of at least 2 references. It should 
be sent by email with subject line 'elica postdoc application' to
patrick.baillot at ens-lyon.Fr

- Important dates:
===============
- Intention of application (short email)   as soon as possible
- Deadline for application   March 22, 2015
- Suggested starting date    Sept. 2015