[TYPES/announce] PhD position in modal logics and type systems for web programming languages

Tue Apr 24 05:08:01 EDT 2012

Applications are invited for a PhD position at INRIA Grenoble,
France. The appointment will be in the areas of type systems for web programming languages such as XQuery and logical reasoning for the automated verification of web information systems.

The WAM project at INRIA Grenoble seeks to establish logical foundations and automated reasoning techniques with applications concerning, but not limited to, web programming languages, web engineering, static analysis of programs manipulating web data.

Detailed information on the topic and on previous relevant research
are available online:
http://www.inria.fr/en/institute/recruitment/offers/phd/campaign-2012/%28view%29/details.html?id=PNGFK026203F3VBQB6G68LOE1&LOV5=4509&LG=EN&Resultsperpage=20&nPostingID=6364&nPostingTargetID=11632&option=52&sort=DESC&nDepartmentID=28

The fellowship is offered for a period of 36 months and can start as soon as september 2012, depending on the candidate availability. The position is under the supervision of Pierre Geneves (CNRS) and Cecile Roisin (UPMF). Applicants should have interests in the aforementioned areas with a concern in the intersection of theory and practice.

Applications must be made online through the above URL, before May 4th 2012.

Informal enquiries about the position are welcomed. Please contact Pierre Geneves<pierre.geneves at .inria.fr>  and Cecile Roisin<cecile.roisin at inria.fr>.
http://www.pierresoft.com/pierre.geneves/
http://wam.inrialpes.fr/people/roisin/