如果学的技术比较偏学术，如何就业，有什么好的方式么？

一直有一个疑惑。有的专业比较偏学术，例如我知道的形式验证方向，对数学和计算机编程语言都需要有很好的理论掌握，做形式验证所编写的语言也比较高端。
.
例如著名Lisp 程序员 伞哥 日常用 HOL4 写了很多数学定理的形式化验证，包括他坚持扣了很多时间一点一点做中心极限定理的形式化验证，他对集合论、概率论的理解已经超出很多数学系学生，为了给一些定理写严格的形式化验证还常常需要对一个定理的多个书籍的多个版本做仔细对比。
.
伞哥自是不愁就业，但是这样的技术,在技术难度平均较高的情况下，这个方向的学生毕业后如何寻找好的就业方向？希望可以分析下。对于类似的专业方向也存在同样的疑惑。

对于小众的技术，人才找到公司是比公司找到人才要容易的，应该主动出击。

我总结了“顺藤摸瓜”三步法：
第一，从自己用的技术追溯到背后的商业公司
第二，从一家公司出发挖掘到其他竞品公司
第三，从一家公司溯源到背后的投资人，再借投资人的视角去调查整个行业生态中的其他公司

“顺藤摸瓜”的手段，配合“提前规划”的意识，可以为自己量身打造一个就业机会池子，需要的时候从池子中挑。

具体细节我写了一篇博客和大家交流，希望能带来一点启发：

IT行业寻找工作机会的另类思维_洪谦的博客-CSDN博客 大家好，最近有幸接到 CSDN 的朋友 @范飞龙 的约稿，借这个机会自作主张插个队给大家做个分享，抛砖引玉，请大家指正。群里的老朋友可能知道，我的工作和形式验证无关，不太懂形式验证，平时在群里更类似于文娱委员的角色，所以我也没办法分享太技术性的东西。今天的话题没有技术含量，只是分享一下IT行业寻找工作机会的另类思路。免责声明：我分享的内容，只是一种思考的角度，不代表是最好的策略，不承担任何相关决策带来的后果：）我们有幸在一个 IT 行业繁荣的时代，机会比较多，比好多行业回报大。I.. https://blog.csdn.net/weixin_59683675/article/details/120631486

这些方法不能保证有用，因为实在太冷门实在太前沿的东西，可能确实没有任何合适的机会。
虽然不保证有用，但是充分调查过了，可以减少遗憾，经常回头复查，可能会有意外收获。

没有别的好方法，只能自己去学一点生存的技能 ，而且是必须的，除非你真的是清华韦神那种清心寡欲的人，又能水平达到那种高度的人，但你上来问这个问题证明你不是那种人，所以必须学一些将来工作用得到的东西，否则大概率将来会很痛苦很痛苦。可以在学专业的同时学点比较热门的，比如互联网，电商，你说你专业偏学术，说明你智商在水平线上，学会这些只是小菜一碟，学精也不会太难。最重要是要提早计划。