Compiler vs Formal Method 哪个对工作有用点

如题，

1. Crafting compiler
2. Formal Method
3. Computer Security

三选二，我在纠结上哪个课。感觉Formal Method会简单一点，但感觉这个课对以后没有什么用？  

那么compiler真的有必要在最后一个学期选吗？  会影响找工组吗？  

感谢各位～




补充内容 (2020-8-4 13:03):
--

抱歉我打错了，是 Formal Language

补充内容 (2020-8-4 14:42):
---
据说 security 方面的工作需要身份么?

都没啥用，有这时间不如多做几道dp

formal methods从业者，

6楼说的formal methods非phd出来不能做，很准确，找formal methods工作你如果不是phd的话不是说找不到，但是你要知道和你竞争的人都是phd，而且很多岗位需要绿卡
而反观compiler，阿里华为intel疯狂招人，有大把hc，肯定比formal methods容易

如果找普通sde我觉得compiler和formal language都没什么太大帮助，但是本人上formal language上的很开心

我觉得现在招formal method的更多一些。个人印象，maybe biased

richarduu 发表于 2020-8-4 02:34
我觉得现在招formal method的更多一些。个人印象，maybe biased

这个主要是做什么呢?

zurich.hill 发表于 2020-08-03 13:19:03
这个主要是做什么呢?

保证软件正确性。现在也扩展到系统和网络等的正确性，反正还挺有潜力的。

补充内容 (2020-8-4 07:18):
顺便加米，谢谢

Mark一下。

formal method这东西不是PhD出来能做吗？

听说很难。

加上这是最后一个学期，工作还没找到。我心里有点没底了。

这门课真的那么重要吗？  

它跟Formal Language，哪个更重要呢?  （我知道好像都不重要～）

感谢各位给一粒米～

刷题吧，最后一学期不要执着难不难的课，工作第一

zurich.hill 发表于 2020-8-4 04:19
这个主要是做什么呢?

软件或者硬件可以从理论上证明设计没有错误，也叫formal verification, 软硬件公司都用的很多