Logic List Mailing Archive

Postdoctoral position (2y) in semantics, logic and type systems, Lyon (France), Deadline: 15 Jan 2014

Dear all,

Please find below a call-for-application for postdoctoral positions (24 
months) in Lyon. Candidates from the areas of semantics, logic and type 
systems are welcome, in particular in the Plume team 
(http://www.ens-lyon.fr/LIP/PLUME/ ) of the Laboratoire de l'Informatique 
du Paralllisme, at ENS Lyon. Prospective candidates can contact for 
information the members of the team closer to their research interest.

Best regards,
Colin Riba

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Post-doc positions - Mathematics and Computer Science in Lyon (labex MILYON)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

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

Offer:

MILYON (the Laboratoire d'Excellence "Mathmatiques 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 Mathmatiques Pures et Appliques or at the Laboratoire de 
l'Informatique du Paralllisme (cole Normale Suprieure 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.

Full description:

More information can be found on the website of MILYON which contains 
links to the above three departments. It is requested to contact the 
colleagues in Lyon who are closest to your specialty.

Eligibility:

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

Deadline:

Applications must be complete (including all reference letters) by: 
Wednesday, January 15th, 2014, at 17:00 (Lyon local time).

How to apply?

Applications must be submitted via the online form: 
http://math.univ-lyon1.fr/limesurvey/index.php?sid=32222&lang=en

Requested items:

Requested items:
- a curriculum vitae;
- a list of publications;
- a scientific project (around two pages) specifying members of MILYON 
with whom you plan to interact primarily;
- a short letter by a local mentor from Labex MILYON;
- two detailed recommendation letters by scientists, not members of MILYON 
(one of them can be the thesis adviser).

Contact:

Administrative contact: Carine Sevestre <sevestre@math.univ-lyon1.fr>
Only for scientific matters: Francis FILBET <filbet@math.univ-lyon1.fr>