Long (5 to 8 months) internships on abstract interpretation for master students in computer science
Prof. Patrick COUSOT
If you are a master student in computer science (1) seeking for a long internship (6 to 8 months between february to september or september to january for example) in the abstract interpretation research group at the École normale supérieure (ENS), you can
apply by sending:
a curriculum vitae (including studies, diplomas, and (professional) experience);
an undergraduate grade transcript;
a summary of one page (A4/US letter, 11 pt) describing what you know on abstract interpretation at the date of application and what will be known on arrival in the team;
a one page (A4/US letter, 11 pt) description of what you would like to work on during your internship. The members of the team occasionally propose various subjects, many others are possible if you contact one of us and your own initiatives are also welcomed (2).
at least one letter of recommandation of your professors or a specialist of formal methods (which will preferably be sent separately).
The applicants of high-level that will be selected, if any, will be fully
supported financially (including travel, accomodation and living expenses in Paris) during their intership (3).
Depending on the nationality of the applicant, the administrative formalities (including visa) may sometime be rather long so applications should be planned well in advance. Here are useful links to prepare your visit.
For example, a European student in the second year (M2) of a research master in computer science.
You can also have a look at the web page of the M2 MPRI course on abstract interpretation (3)
Except for the students who already have grants from the French government, such as the students of the French Écoles Normales Supérieures.