幻灰龙 2021-10-07 00:28 采纳率: 90.9%
浏览 90
已结题

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

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

  • 写回答

2条回答 默认 最新

  • panfei625 2021-10-07 08:11
    关注

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

    评论
查看更多回答(1条)

报告相同问题?

问题事件

  • 系统已结题 10月16日
  • 已采纳回答 10月8日
  • 赞助了问题酬金 10月7日
  • 修改了问题 10月7日
  • 展开全部

悬赏问题

  • ¥15 opencv用LBPHF写标注人名的时候报错
  • ¥15 activity升级到flowable工作流act_ge_bytearray的草稿json数据复制到act_de_model 的model_editor_json的脚本
  • ¥15 cvi使用CreateThread创建线程时,出现存储空间不足无法处理此命令的错误
  • ¥15 求苹果推信imessage批量推信技术
  • ¥15 ubuntu 22.04 系统盘空间不足。隐藏的docker空间占用?(相关搜索:移动硬盘|管理系统)
  • ¥15 c++ word自动化,为什么可用接口是空的?
  • ¥15 Matlab计算100000*100000的矩阵运算问题:
  • ¥50 VB6.0如何识别粘连的不规则的数字图片验证码
  • ¥16 需要完整的这份订单所有的代码,可以加钱
  • ¥30 写一个带界面控制的机房电脑一键开机关机并且实时监控的软件