Teza didn't use the same programming language as Goldman Sachs, so he definitely couldn't use it at Teza
For those interested, Teza uses (single-threaded) Java and Hadoop (or at least they used to), and Goldman Sach's high-frequency code was written in C++.