I know a guy: several knuth checks, hardcore systems programmer, extraordinarily well read, does advanced math (talking topology), nuclear physics, taught at a

I know a guy: several knuth checks, hardcore systems programmer, extraordinarily well read, does advanced math (talking topology), nuclear physics, taught at a respected engineering school. He's being fought over at that level.. Which companies? Theres only the usual suspects who could play on that field