Laboratory for Automated Reasoning and Analysis rarely accepts internships. Information about EPFL internships can be found here:

• General Internship Applications (including applications from Europe and North America)
• Special Internships program for students from India: all internship applications from India should proceed through this program