Saarland University has an amazing reputation for programming language research. I'd like to do my Ph.D. there in the next few years.

http://frweb.cs.uni-sb.de

And ETH in Zurich is the rough equivalent of MIT in the States: http://www.ethz.ch/index_EN