Amazon和Microsoft (MSR)应该算是全世界里面唯二两家对Formal Methods (FM) / Proofs / Verification / Logic 领域大力支持的公司了吧，几乎没有什么别的企业有这套技术的组，多数都是完全关心这些东西。甚至北美的高校也不算有很多喜欢，学界的大多数（根据csranking，甚至可以说几乎所有）贡献都来自欧洲

这方面的phd如果工作想做和自己科研（略微）相关的东西，就要么只能去compiler组的地方（因为和PL是交叉的，所以大概率会因此接触compiler）（会额外多几家公司），或者去芯片行业做验证（因为芯片行业是真的要用一部分这套技术）

再其次如果想离开学校，基本就只能去普通的SDE做开发了，基本上研究生以后所学的东西都用不上