Offered by Free University of Berlin, Berlin, Germany
Covers algorithms, data structures, software engineering, theoretical CS, and systems programming. Strong mathematical foundation required throughout.