[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*********************************************************
* *
* 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.laur...@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.laur...@ens-lyon.fr
--
Olivier LAURENT
e-mail : olivier.laur...@ens-lyon.fr
www : http://perso.ens-lyon.fr/olivier.laurent/
