Yes, he interned there and then worked for them for a few years after graduating from MIT. If you’re not familiar, they’re a financial trading firm known for heavy use of esoteric functional languages such as OCaml and being difficult with job interviews.