作者z1976 (z1976)
看板Tech_Job
标题[请益] 做compiler的出路好吗
时间Thu Jul 28 16:15:06 2022
有家新创公司在徵软工
负责为IC设计
形式验证调整compiler，用
LLVM开发
绿字的部分听起来都是很酷的东西 (对我来说)
我是业界老人..
目前在小猪屎屋当主管
没什麽新技术
但公司的产品有点护城河特性，发展算稳定
新公司开的薪水比我现在高，技术又是我想学的，尽管没高很多，但有高都算难得..
(但牺牲的是原公司获利分红，尤其明年应该会不错)
只是不知道新公司未来站得稳不稳...
如果是各位会怎麽选呢
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.137.227.22 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Tech_Job/M.1658996109.A.FA4.html
1F：→ lovelyinn : 护城河是什麽东西07/28 16:21
2F：→ odahawk : 赚不了钱的就一点都不酷了07/28 16:28
3F：→ odahawk : 真想耍酷就自己去参加开放原始码专案阿07/28 16:28
4F：推 mily222222 : 有想过你们的护城河,人家用投石车直接破城?07/28 16:29
5F：推 plsmaop : Sifive ?07/28 16:40
这家是我的目标，但目前不是这间
6F：→ z1976 : 不是SiFive，SiFive应该算稳到爆了吧07/28 16:56
7F：推 Matz : Skymizer?07/28 16:58
※ 编辑: z1976 (114.137.227.22 台湾), 07/28/2022 17:08:40
8F：→ freef1y3 : 好像被这家找过XD07/28 17:13
9F：推 snaketsai : compiler蛮稳的，但formal很难入门欸，你说想学，我07/28 17:31
10F：→ snaketsai : 觉得应该不match?07/28 17:31
11F：推 Neistpoint : IC设计用的formal verification 跟做Compiler/LL07/28 17:58
12F：→ Neistpoint : VM 是两件很不同的事07/28 17:58
13F：→ Neistpoint : 两种都做应该是个屎缺07/28 18:00
Formal Verification是公司产品，但我应徵的职位只是做compiler，不知道二者有没有
关系啦XD
14F：→ da5n299o : 之前上班弄过一阵子LLVM 感觉自己智商不足…07/28 18:13
15F：推 kendra0606 : 形式验证是指测试吗07/28 18:18
16F：→ Astone : Formal哪里屎 懂的人超少又难入门 满爽的07/28 18:28
17F：推 deflife : 形式化验证是测试没错 证明产品没问题的测试07/28 18:32
18F：→ deflife : 符合要求的规范07/28 18:35
19F：推 k798976869 : 满好玩的 但是不赚钱07/28 18:36
20F：→ Neistpoint : 有玩过 formal , 私讯吧，如果帮得上忙 07/28 19:09
※ 编辑: z1976 (114.137.227.22 台湾), 07/28/2022 19:15:57
21F：推 samonline : woodpecker ？ 07/28 20:19
22F：推 wulouise : 我猜是woodpecker 07/28 20:41
23F：推 z4101010 : 晶心吧 07/29 11:14
24F：推 twicm : 这看起来是在做 formal EDA? 07/29 11:59