Theoretical Computer Science, MSc by Research