The Madeira Interactive Technologies Institute has a number of opportunities for summer internships on various topics, including mobile and web applications, compilers, formal methods, etc.

If you're interested in working with us on our ongoing research projects, please check the full descriptions of these job opportunities on our website:
http://www.m-iti.org/jobs

--
Jos van Leeuwen, PhD
Associate Professor, University of Madeira
Vice-president, Madeira Interactive Technologies Institute
http://www.m-iti.org