Offre de Post-Doctorat à l’ENS Lyon

** ce post-doctorat n’est plus disponible. Paolo Tranquilli a été recruté en septembre 2009 ** ===================================================== Post-Doctorat à l’ENS Lyon

en complexité implicite et concurrence ======================================================

Un post-doctorat de 12 mois est disponible à l’ENS Lyon (Ecole Normale Supérieure de Lyon) dans le cadre du projet : Complexité implicite, Concurrence et Extraction (COMPLICE) http://www-lipn.univ-paris13.fr/com...

Ce projet de 4 ans est financé par l’ANR (appel Blanc 08) et comprend trois sites : ENS Lyon, Université Paris 13 et LORIA Nancy. La date suggérée pour le début du post-doc est septembre 2009 (mais une date plus tardive en 2009 peut être envisagée). Le but du projet est d’explorer les fondements et les applications de la complexité implicite (CI), dans les branches de la sémantique et de la logique, de la programmation fonctionnelle, de l’extraction de programme à partir de preuves, ainsi que des propriétés quantitatives et de CI pour les systèmes concurrents.

* Domaine de recherche. Les candidatures s’insérant dans le cadre de la complexité implicite et des propriétés quantitatives des calculs de processus seront préférées, mais plus généralement toutes les candidatures relevant d’une des directions du projet, par des candidats ayant une expérience dans l’un au moins des domaines suivants, sont bienvenues :
 complexité implicite / systèmes de types pour la complexité
 concurrence (en particulier terminaison et propriétés quantitatives)
 assistants de preuves et extraction de programme à partir de preuves
 logique linéaire, lambda calcul, sémantique de jeux Le candidat devra être titulaire d’une thèse de doctorat ou soutenir sa thèse avant décembre 2009.

* Lieu. Le post-doctorant effectuera sa recherche dans le cadre de l’équipe Plume du LIP (Laboratoire de l’Informatique du Parallélisme) à l’ENS Lyon. http://www.ens-lyon.fr/LIP/

Des interactions avec les autres sites partenaires du projet COMPLICE sont aussi attendues.

* Salaire. Le salaire net sera d’environs 2030 euro/mois (avant impôt sur le revenu).

* Candidature. Nous recommandons fortement aux personnes intéressées de se faire connaître avant le 22 février en adressant un email à : patrick.baillot@ens-lyon.fr Ensuite le dossier de candidature devra être transmis avant le 15 mai 2009 et comprendre un curriculum vitae, un bref projet de recherche (1 page) et deux noms de références (susceptibles de donner un avis sur la candidature). Ces documents pourront être rédigés en anglais ou en français. Le dossier sera transmis de préférence par email avec comme sujet "Postdoc position" à patrick.baillot@ens-lyon.fr, ou par courrier postal à l’adresse indiquée à la fin de cet appel.

* Dates importantes :
 intention de candidature (bref email) 22 février 2009
 date limite de candidature : 15 mai 2009
 notification des résultats : 15 juin 2009
 date de début du post-doc (de préférence) : 1er septembre 2009

Les éventuelles informations complémentaires ou mises à jour seront indiquées sur la page web du projet indiquée au début de cet appel.

* Adresse postale : Patrick Baillot LIP (UMR 5668) ENS Lyon 46 Allée d’Italie, 69364 Lyon Cedex 07, France.