[TYPES/announce] PhD Scholarship in Implicit Computational Complexity

Virgile.Mogbil@lipn.univ-paris13.fr Virgile.Mogbil at lipn.univ-paris13.fr
Thu Apr 9 09:47:32 EDT 2009


*** PhD Scholarship in Implicit Computational Complexity ***
*** Application deadline: May 31th 2009 at 12:00 noon (CET Paris time) ***
*** http://www-lipn.univ-paris13.fr/complice/spip.php?rubrique14 ***

Dear colleagues,

One PhD scholarship is available on the topic of "Implicit Computational
Complexity". The starting date is september or october 2009.

The scholarships is funded by the French national research agency (ANR) within
the COMPLICE project (Implicit Computational Complexity, Concurrency and
Extraction) (http://www-lipn.univ-paris13.fr/complice/).

The project aims at developing implicit computational complexity and in
particular its applications to functional programming, program extraction from
proofs and concurrent systems. It is organized in 3 main parts:
Part I. Semantic and logic foundations.
Part II. Applications to the functional setting: typing, program extraction.
Part III. New directions: concurrent systems, parallel complexity classes..

The successful applicant will work within the Logic, Computation and Reasoning
(LCR) research team at the LIPN, the computer science laboratory of Paris 13
University (http://www-lipn.univ-paris13.fr/). The PhD will be supervised
depending of the applicant qualifications and interests in the LIPN parts of the
project.

Please do not hesitate to send an email for further information about the
project.

Best regards
V. Mogbil
University Paris 13
----------------------------

General Informations

PhD scholarships at University Paris 13 normally run for a period of 3 years.
Applicants must have a Master's degree (5 years of University Studies).

National travels should be expected as the joint research project has a strong
aspect of collaboration between the partner sites: ENS Lyon, Université Paris
13 and LORIA-Nancy.

The net salary of the 3 year PhD will be around Euro 1,850 per month. This is
then subject to income tax.

Applicants are invited to express their interest by sending a short email to
virgile.mogbil at lipn.fr before May 1st 2009.
Applications should be sent before June 1st 2009 including a curriculum vitae,
a short research work description if any (half page) and a motivation letter
(half page). This should be preferably done by email in pdf format with subject
line '[PhD Application]' to virgile.mogbil at lipn.fr (else sent it at the postal
address below).

Important dates (at 12:00 noon):
April 30th 2009: intention of application (short email)
May   31th 2009: deadline for application
July   1st 2009: notification
(Sept. 1st 2009: suggested starting date)

Postal address:
Virgile Mogbil
LIPN, UMR CNRS 7030
Institut Galilée - Université Paris-Nord
99, avenue Jean-Baptiste Clément
93430 Villetaneuse, France



More information about the Types-announce mailing list