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

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

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

  • 写回答

2条回答 默认 最新

查看更多回答(1条)

报告相同问题?

问题事件

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

悬赏问题

  • ¥15 一个识别内容的自动化脚本程序
  • ¥15 anaconda虚拟python环境部署langchain-chatchat报错
  • ¥20 matlab有约束条件下的多元函数求最小值
  • ¥50 如何隐藏网页弹出框的url地址栏
  • ¥20 metropolis算法模拟二维ising模型来计算磁化强度,fortran
  • ¥15 uniapp-typescript-vue报错
  • ¥15 oracle强制关机以后报错01033
  • ¥15 给Chat with RTX添加语言模型时遇到问题
  • ¥15 oracle修复,怎么根据日志修复呀?
  • ¥15 使用Stable Diffusion时出现错误