[TYPES/announce] Postdoc position in Lyon

[Baillot Patrick]

Applications in the area of logic/types/semantics to the postdoc 
position below are welcome, in particular in view of an integration to 
the Plume (Proofs and languages) team at Laboratoire d'Informatique du 
Parallélisme (http://www.ens-lyon.fr/LIP/PLUME/)
PB
====
  ** POST-DOCTORAL POSITIONS in Lyon 2015 **

The Excellency Laboratory MILYON offers three post-doctoral positions in 
mathematics and fundamental computer science for the academic years 
2015-2017 (1 position in computer science and 2 in mathematics).

The candidates will do their research in one of the following 
laboratories:
- Unité de Mathématiques Pures et Appliquées (École Normale Supérieure 
de Lyon)
- Laboratoire de l'Informatique du Parallélisme (École Normale 
Supérieure de Lyon)
- Institut Camille Jordan (Université Claude Bernard Lyon 1)

DESCRIPTION
These are research-only appointments (without teaching). They are 
typically for two years, with possible renewal for a third year subject 
to review.
Net salary: 2180 euros per month. Health coverage is included.

ELIGIBILITY
For holders of a Ph.D in mathematics or computer science obtained before 
October 1st, 2015.

CALENDAR
Deadline: Thursday, January 15th, 2015, at 17:00 (Lyon local time).
Results: February 15th 2015

APPLY HERE
http://milyon.universite-lyon.fr/offres-de-post-docs/3-post-doctoral-positions-in-mathematics-and-or-computer-science--170911.kjsp?RH=MILYON-FR

For more information, visit the website Labex MILYON
http://milyon.universite-lyon.fr/

CONTACTS
For scientific matters: Grégory Vial / gregory.vial at ec-lyon.fr
Administrative contact: Carine Sevestre / sevestre at math.univ-lyon1.fr