Harvard offers an outstanding environment to pursue graduate studies in theoretical computer science. It provides a combination of world-class faculty, smaller program with individual attention, opportunity to collaborate with researchers across many areas in one of the world's top universities, as well as take advantage of the unique resources for TCS in the greater Cambridge/Boston area. If you are interested in graduate studies in the theory of computing, please apply to the Ph.D program in SEAS (see also their FAQ), and indicate your interest in ToC on your application. (You should apply to the "Engineering and Applied Science" program, choose "PhD Computer Science" for subject and "PhD" for the degree, and in the SEAS supplemental form page indicate your interest in "Theory of Computation" under Computer Science.)
Internships and Undergraduate Research
Members of the theory group often advise senior theses, and sometimes have other opportunities for undergraduates from Harvard or elsewhere to participate in research. If you are interested in such opportunities, please contact the faculty member whose area is closest to your interests and drop by office hours. Taking graduate classes is often a good way to prepare and find areas of interest.
Sabbaticals and visitors
In addition to the opportunities below, we sometimes have budgets to host visitors for part or full time sabbaticals. If you are interested in such a position, please contact the faculty member closest to your research area. Please do apply early, as such positions often end up being set long in advance.