[TYPES/announce] MALOA PhD position in logic at ENS Lyon

[Olivier Laurent]

   *********************************************************
   *                                                       *
   *   PhD Position in Logic at ENS Lyon (MALOA project)   *
   *                                                       *
   *                                                       *
   *       October 1st, 2010 -- September 30th, 2013       *
   *                                                       *
   *********************************************************

MALOA (From MAthematical LOgic to Applications) is a European
Initial Training Network:

   http://www.logique.jussieu.fr/MALOA/

Amongst the proposed PhD positions, one will be open in the
Plume team of the computer science laboratory of the ENS Lyon
(France).

   http://www.ens-lyon.fr/LIP/PLUME/


The main research topics of the team are:
  * Proof theory and computer science
  * Curry-Howard correspondence
  * Programming languages semantics
  * Linear logic, game semantics, realisability
  * Implicit computational complexity
  * Concurrency theory
  * Computer assisted reasoning

Applications are now open. Submissions including :
  * a detailed curriculum vitae
  * a list of topics of interest
  * the names and e-mail addresses of two references
should be sent by e-mail to "olivier.laurent at ens-lyon.fr" by
April 30th, 2010.

Before applying, please check you satisfy the eligibility
conditions:
   http://www.logique.jussieu.fr/MALOA/Eligibility.html

Important dates:
   * applications:  April 30th,  2010
   * starting date: October 1st, 2010

Do not hesitate to contact us if you want some additional
informations:
   Olivier.Laurent at ens-lyon.fr



-- 
Olivier LAURENT
e-mail : Olivier.Laurent at ens-lyon.fr
www    : http://perso.ens-lyon.fr/olivier.laurent/