Summer internships on abstract interpretation for graduate students in computer science
Prof. Patrick COUSOT
If you are a computer science graduate student seeking for summer internships (May/mid-August) 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 and graduate grade transcript;
- a list of publications (including web pointers to these publications);
- 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.
- at least one letter of recommandation of your adviser 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) for their intership (1).
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.