一直有一个疑惑。有的专业比较偏学术,例如我知道的形式验证方向,对数学和计算机编程语言都需要有很好的理论掌握,做形式验证所编写的语言也比较高端。
.
例如著名Lisp 程序员 伞哥 日常用 HOL4 写了很多数学定理的形式化验证,包括他坚持扣了很多时间一点一点做中心极限定理的形式化验证,他对集合论、概率论的理解已经超出很多数学系学生,为了给一些定理写严格的形式化验证还常常需要对一个定理的多个书籍的多个版本做仔细对比。
.
伞哥自是不愁就业,但是这样的技术,在技术难度平均较高的情况下,这个方向的学生毕业后如何寻找好的就业方向?希望可以分析下。对于类似的专业方向也存在同样的疑惑。
如果学的技术比较偏学术,如何就业,有什么好的方式么?
- 写回答
- 好问题 0 提建议
- 追加酬金
- 关注问题
- 邀请回答
-
2条回答 默认 最新
- 洪谦 2021-10-07 14:42关注
对于小众的技术,人才找到公司是比公司找到人才要容易的,应该主动出击。
我总结了“顺藤摸瓜”三步法:
第一,从自己用的技术追溯到背后的商业公司
第二,从一家公司出发挖掘到其他竞品公司
第三,从一家公司溯源到背后的投资人,再借投资人的视角去调查整个行业生态中的其他公司“顺藤摸瓜”的手段,配合“提前规划”的意识,可以为自己量身打造一个就业机会池子,需要的时候从池子中挑。
这些方法不能保证有用,因为实在太冷门实在太前沿的东西,可能确实没有任何合适的机会。
虽然不保证有用,但是充分调查过了,可以减少遗憾,经常回头复查,可能会有意外收获。本回答被题主选为最佳回答 , 对您是否有帮助呢?解决 1无用
悬赏问题
- ¥15 安卓adb backup备份应用数据失败
- ¥15 eclipse运行项目时遇到的问题
- ¥15 关于#c##的问题:最近需要用CAT工具Trados进行一些开发
- ¥15 南大pa1 小游戏没有界面,并且报了如下错误,尝试过换显卡驱动,但是好像不行
- ¥15 没有证书,nginx怎么反向代理到只能接受https的公网网站
- ¥50 成都蓉城足球俱乐部小程序抢票
- ¥15 yolov7训练自己的数据集
- ¥15 esp8266与51单片机连接问题(标签-单片机|关键词-串口)(相关搜索:51单片机|单片机|测试代码)
- ¥15 电力市场出清matlab yalmip kkt 双层优化问题
- ¥30 ros小车路径规划实现不了,如何解决?(操作系统-ubuntu)