Several research internships are available at LIG laboratory within the VASCO team. Topics of the internship include (but are not limited to): runtime verification and program monitoring testing Mobile applications (especially Android) web and e-commerce services home-automation Contact me for more details.