Security Types for Web Applications
The precise topic will be decided after discussion with the student, but during the course of the internship, the student will learn to do the following:
Some prior knowledge of web programming, cryptographic verification, and type systems will be an advantage, but is not mandatory.
The internship will be located at INRIA in Paris, with short visits to Imperial College in London. The dates of the internship and its duration are flexible and students of any nationality may apply. Masters students who are thinking of doing a Ph.D. are encouraged to apply for a six-month internship (i.e. a French M1/M2 stage). Ph.D. students and advanced undergraduate students (with adequate background) may apply for a three-month summer internship. We expect the research carried out during the internship will form the major part of a Masters-level thesis and lead to a conference publication. All interns are funded under the ERC grant CRYSP and successful internships are expected to lead to funded Ph.D. studentships.
To apply, send an email describing your research interests, and including your CV and the names and email addresses of one or two referees (professors or prior employers), to karthikeyan DOT bhargavan AT inria DOT fr. The deadline for applications is January 5, 2012. Positions will be kept open until filled.
The intern will have the opportunity to work closely with a team of researchers from INRIA and MSR-INRIA, including B. Blanchet, G. Steel, C. Fournet, and P-Y. Strub.
This document was translated from LATEX by HEVEA.