[TYPES/announce] post-doc position at ENS Lyon

[Patrick Baillot]

=====================================================
                   POST-DOC POSITION
                     at ENS Lyon
  on implicit computational complexity and concurrency
======================================================

 A 12-month post-doc position is available at ENS Lyon
(Ecole Normale Supérieure de Lyon) within the project:
  Implicit Computational Complexity, Concurrency and Extraction
           (COMPLICE)
     http://www-lipn.univ-paris13.fr/complice/spip.php?rubrique4

 This four-year project is funded by the French national research
agency (ANR) and the partner sites are ENS Lyon, Université Paris 13
and LORIA-Nancy. The suggested starting date for the post-doc position
is september 2009 (but later dates can be considered).
 The project's goal is to investigate the foundations and applications of
Implicit computational complexity (ICC), along the lines of
semantics and logic, functional programming, program extraction from
proofs, quantitative properties and ICC for concurrent systems.

* Research area.  Applications related to the scope of quantitative
 properties and ICC for process calculi will be prefered, but those
 relevant to another direction of the project by candidates with
 background in one/some of the following fields are also welcome:
- ICC / type systems for complexity
- concurrency (esp. termination and quantitative properties)
- proof-assistants and program extraction from proofs
- linear logic, lambda-calculus, game semantics
The applicant should hold a PhD or be about to defend his/her PhD
by December 2009.

* Location. The post-doc researcher will work within the Plume team of
the LIP, the computer science laboratory of ENS Lyon, which is a
leading  research and education institution in sciences.
     http://www.ens-lyon.fr/LIP/
 Strong interaction with the other sites of the COMPLICE project is
also expected.

* Salary. The net salary will be around 2030 euro/month. This is then
subject to income tax.

* Application procedure. We strongly recommend that potential candidates
express their interest by sending an email to
patrick.baillot at ens-lyon.fr
before February 22nd 2009.
Then send your application before May 15th 2009 including a resume,
a short research project (1 page) and two names of possible references. This
should be preferably done by email with subject line 'Postdoc
position' to patrick.baillot at ens-lyon.fr, or at the postal address below.

* Important dates:
- intention of application (short email)    February 22nd 2009
- deadline for application:                 May      15th 2009
- notification:                             June     15th 2009
- suggested starting date:                 September 1st 2009

Further information will possibly be made available from
 the web page of the project indicated above.

* Postal address:
Patrick Baillot
LIP (UMR 5668)
ENS Lyon
46 Allée d'Italie,
69364 Lyon Cedex 07, France.

-- 
Patrick Baillot
LIP (UMR 5668 CNRS)
ENS de Lyon
http://perso.ens-lyon.fr/patrick.baillot/
Tel: (+33) 4 72 72 81 49   Fax: (+33) 4 72 72 80 80