Facebook.
There were several interviews, they asked questions from proving theorems and deducing a modification of a well known algorithm to a ‘non standard’ error function to hard-core implementation question how would you design architecture if you want to make this algorithm running on so many machines, how would you code multi-core version of another algorithm (c++ coding)