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.