[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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<[email protected]> and Cecile Roisin<[email protected]>.
http://www.pierresoft.com/pierre.geneves/
http://wam.inrialpes.fr/people/roisin/
