The Software Reliability Lab (SRL) (http://www.srl.inf.ethz.ch/) at the department of computer science, ETH Zurich (http://www.inf.ethz.ch/), Switzerland has an opening for a summer research internship for an outstanding Bachelor or a Master’s student. The department of computer science (DINFK) is one of the top ranked departments in the world and offers a lively and exciting research atmosphere.
The SRL lab works on various interdisciplinary projects including advanced programming tools combining program analysis and statistical models, program synthesis, concurrency analysis and algorithms.
More information here.