Only if he's dumb enough to cash out.
Blockchain analysis shows the coins were immediately sent through a mixer so the thief could have pretty easily cashed out by now.
Are mixers really useful for large volumes? Have not checked them in quite a while, but when someone with >100btc trying to mix it becomes pretty obvious which output coins are his. So while it might not be a conclusive evidence, once he cashes out and it turns that he used to work at alitin at the time, dots connect and case opens.