Harvard has several postdoc positions in theoretical computer science, including the Michael O. Rabin postdoctoral fellowship in theoretical computer science – this is a two year prestigious fellowship in TCS, broadly construed.

Website: http://toc.seas.harvard.edu/postdoc-fellowships
Email: theory-postdoc-apply@seas.harvard.edu