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

formal methods从业者，

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

zurich.hill 发表于 2020-08-04 02:18:04
我研究半天，怎么跟你加米啊

手机客户端，点“快速+1”。网页版点评论右下角的“评分”。谢谢！

zurich.hill 发表于 2020-8-4 17:18
啥意思，真的吗？  这跟做sde有啥关系？

比如你写了个浮点运算的程序，想确认对所有可能输入结果都是对的，就需要用formal verification, 参见intel floating point bug, 出事之后intel 大量招做formal verification的

软件方面涉及网络和储存的程序也经常需要放进formal verification里验证， amazon有很多这种工作，比写前后端还是有意思一点

都没用 字数字数

richarduu 发表于 2020-8-5 00:34
手机客户端，点“快速+1”。网页版点评论右下角的“评分”。谢谢！

我用的电脑～～

SantaPrisca 发表于 2020-8-5 00:13
formal methods从业者，

6楼说的formal methods非phd出来不能做，很准确，找formal methods工作你如果不 ...

你好，想了解一下现在业界有做formal method和deep learning结合的吗？

那楼主最后选择是那两个？1+2？

wldlxxf 发表于 2020-10-6 06:27
你好，想了解一下现在业界有做formal method和deep learning结合的吗？

很多啊，research -wised的话证明网络的robustness的有很多work，然后之前有个deepcode应该做的是相关方向被20M收购了。你是在做相关project嘛

Compiler更有用。Formal methods更小众。

wldlxxf 发表于 2020-10-6 06:27
你好，想了解一下现在业界有做formal method和deep learning结合的吗？

有一些research。但是目前看到的工作都是用在一些规模比较小的network上。Formal methods有scalability issue对于大规模的network够呛。最终要能应用可能还是需要靠能够开发出针对特定network结构的solver