关于选择Programming Language作为之后的研究方向的讨论

PL领域有一个很重要的优势就是重视formal guarantee，这恰恰是现今以深度学习为主导的AI/ML的关键劣势所在，所以有些PL研究算是难得的除了Theory之外AI/ML抢不了饭碗的，但同时相比theory又有很多东西能真的实现出来投入使用。

别的不说，就说一点，我想lz做static analysis应该也知道像医疗器械、汽车航空这些领域是safety-critical的，出错的代价是很大的，所以需要有这种保证的，而软件在这些东西上面的成分又越来越大。比如现在大火的自动驾驶，很难想象如何靠神经网络来可靠判断 自动驾驶的程序 没有bug（即在任何情况下都会正确按照specification执行），基本上还是得靠PL的技术。不过话要说回来，实际中对可靠性要求这么高的领域毕竟不太可能边地都是，我主要只知道一个叫Galois的公司以这个作为核心业务，而且接的是很多是DoD和DoE的大单……

reab 发表于 2020-5-3 04:56
PL领域有一个很重要的优势就是重视formal guarantee，这恰恰是现今以深度学习为主导的AI/ML的关键劣势所在 ...

不过我的印象中  galois 偏向用type theory和formal verification 保证安全而不是static analysis. 所以未必和楼主有关……

AlanLiu1 发表于 2020-5-2 03:13
你老板是谁？我现在就是在读phd。工作很好找啊，大厂都会自己来联系，不过前提是你发了顶会文章。

请问层主后来去哪了嘛？我也是PL从业人员，好奇一下哈哈

虽然是好几个月以前的帖子了，但是刚好一亩三分地的喇叭推送了，又有很多共鸣（同样是大三PL方向，不过不想走学术career），说一下自己的感受吧。
就我的经验来看，PL的工业界岗位并不难找（当然和AI比不了），首先大厂比如Amazon ARG新开的，Apple LLVM长期招人，MSR就不提了，然后创业公司也非常多啊，而且创业公司最近一年的成功exit案例也不少，比如Semmle，所以说明工业界PL并不是scam😂。
个人感觉说这个方向想要做成功的产品创业的话，技术并没有那么主要，因为很多静态分析公司做的就是填补developer efficiency这个市场的空白而已，而也是这种公司融资的最多。而这个方向就有点偏SE了。但是至少未来十年工业应用是有保证的
如果是做的是type theory那种，非要找那种工业应用，那应该就不行了，据我所知只有Galois有相关的，但是他们基本全是美国政府的单子，所以不太收非绿卡。目前能完全formal verification从头到尾的工业需求基本是smart contrac区块链相关的这种（本人做的是这个，顺便一提这个方向还是很火的），但是说实话，smart contract的FV研究更多侧重的是区块链领域知识而不是PL里面的fancy proof system，可能不太符合楼主要求