Postdoctoral position (2y) in semantics, logic and type systems, Lyon (France)

MILYON (the Laboratoire d'Excellence "Mathématiques et Informatique à Lyon") offers four post-doctoral positions in mathematics and two in computer science for the academic year 2014-2015, to be held at the Unité de Mathématiques Pures et Appliquées or at the Laboratoire de l'Informatique du Parallélisme (École Normale Supérieure de Lyon), or at the Institut Camille Jordan (Université Claude Bernard Lyon 1).

These are research-only appointments (without teaching). They are typically for two years, with possible renewal for a third year subject to review. The salary will be 2100 euros per month, with benefits including health insurance and social coverage. Funds will also be provided for traveling and inviting collaborators.

Applications must be complete (including all reference letters) by: Wednesday, January 15th, 2014, at 17:00 (Lyon local time). For more information, see http://milyon.universite-lyon.fr/offres-de-post-docs/.