一亩三分地

 找回密码 注册账号

扫描二维码登录本站

BBS
Offer多多
Salarytics
交友
Learn
Who's Hiring?
疫情动态
指尖新闻
Instant
客户端
微信公众号
扫码关注公众号
留学申请公众号
扫码关注留学申请公众号
Youtube频道
留学博客
关于我们
查看: 1366|回复: 24
收起左侧

[其他] Compiler vs Formal Method 哪个对工作有用点

[复制链接] |只看干货 |刷题
地里的匿名用户
地里的匿名用户  发表于 2020-8-4 01:22:00 |阅读模式
本楼: 👍   0% (0)
 
 
0% (0)   👎

注册一亩三分地论坛,查看更多干货!

您需要 登录 才可以下载或查看,没有帐号?注册账号

x
如题,

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 方面的工作需要身份么?

上一篇:新手上路 发资料 求大米 发一些自己找的LinkedIn Python Skill Quiz 题目 (带参考...
下一篇:请问如何保持在职刷题
我的人缘0

升级   31%

wombatkiki 2020-8-4 22:18:04 | 显示全部楼层
本楼: 👍   100% (3)
 
 
0% (0)   👎
全局: 👍   89% (442)
 
 
10% (52)    👎
都没啥用,有这时间不如多做几道dp
回复

使用道具 举报

我的人缘0

升级   46.67%

SantaPrisca 2020-8-5 00:13:56 | 显示全部楼层
本楼: 👍   100% (1)
 
 
0% (0)   👎
全局: 👍   100% (18)
 
 
0% (0)    👎
formal methods从业者,

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

评分

参与人数 2大米 +3 收起 理由
GehMvr + 1 赞一个
14417335 + 2

查看全部评分

回复

使用道具 举报

我的人缘0

升级   32%

本楼: 👍   100% (1)
 
 
0% (0)   👎
全局: 👍   100% (136)
 
 
0% (0)    👎
如果找普通sde我觉得compiler和formal language都没什么太大帮助,但是本人上formal language上的很开心

评分

参与人数 1大米 +1 收起 理由
14417335 + 1

查看全部评分

回复

使用道具 举报

我的人缘0

升级   11.71%

本楼: 👍   0% (0)
 
 
0% (0)   👎
全局: 👍   99% (606)
 
 
0% (5)    👎
我觉得现在招formal method的更多一些。个人印象,maybe biased

评分

参与人数 1大米 +1 收起 理由
14417335 + 1

查看全部评分

回复

使用道具 举报

我的人缘0

升级   36%

zurich.hill 2020-8-4 04:19:03 | 显示全部楼层
本楼: 👍   0% (0)
 
 
0% (0)   👎
全局: 👍   80% (225)
 
 
19% (53)    👎
richarduu 发表于 2020-8-4 02:34
我觉得现在招formal method的更多一些。个人印象,maybe biased

这个主要是做什么呢?

评分

参与人数 1大米 +1 收起 理由
richarduu + 1 赞一个

查看全部评分

回复

使用道具 举报

我的人缘0

升级   11.71%

本楼: 👍   0% (0)
 
 
0% (0)   👎
全局: 👍   99% (606)
 
 
0% (5)    👎
zurich.hill 发表于 2020-08-03 13:19:03
这个主要是做什么呢?
保证软件正确性。现在也扩展到系统和网络等的正确性,反正还挺有潜力的。

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

使用道具 举报

我的人缘0

升级   93.33%

本楼: 👍   0% (0)
 
 
0% (0)   👎
全局: 👍   99% (143)
 
 
0% (1)    👎
formal method这东西不是PhD出来能做吗?
回复

使用道具 举报

地里的匿名用户
地里的匿名用户  发表于 2020-8-4 14:49:47

cs专业,Compiler这门课需要执着吗? 一定要上吗

本楼: 👍   100% (1)
 
 
0% (0)   👎
听说很难。

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

这门课真的那么重要吗?  

它跟Formal Language,哪个更重要呢?  (我知道好像都不重要~)

感谢各位给一粒米~
回复

使用道具 举报

我的人缘0

升级   0.33%

本楼: 👍   100% (3)
 
 
0% (0)   👎
全局: 👍   98% (84)
 
 
1% (1)    👎
刷题吧,最后一学期不要执着难不难的课,工作第一
回复

使用道具 举报

我的人缘0

升级   56.57%

abby3 2020-8-4 15:52:18 | 显示全部楼层
本楼: 👍   0% (0)
 
 
0% (0)   👎
全局: 👍   88% (1273)
 
 
11% (162)    👎
zurich.hill 发表于 2020-8-4 04:19
这个主要是做什么呢?

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

评分

参与人数 1大米 +1 收起 理由
14417335 + 1

查看全部评分

回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册账号

本版积分规则

隐私提醒:
■为防止被骚扰甚至人肉,不要公开留微信等联系方式,请以论坛私信方式发送。
■特定版块可以超级匿名:https://pay.1point3acres.com/tools/thread
■其他版块匿名方法:http://www.1point3acres.com/bbs/thread-405991-1-1.html

手机版|||一亩三分地

Powered by Discuz! X3

© 2001-2013 Comsenz Inc. Design By HUXTeam

Some icons made by Freepik from flaticon.com

快速回复 返回顶部 返回列表