For a year and a half, he worked at Optiver, one of the top high-frequency trading firms. HFT shops employ traders known as quants who are highly skilled in programming and quantitative analysis.