[請益] 做compiler的出路好嗎

有家新創公司在徵軟工 負責為IC設計調整compiler，用開發 綠字的部分聽起來都是很酷的東西 (對我來說) 我是業界老人.. 目前在小豬屎屋當主管 沒什麼新技術 但公司的產品有點護城河特性，發展算穩定 新公司開的薪水比我現在高，技術又是我想學的，儘管沒高很多，但有高都算難得.. (但犧牲的是原公司獲利分紅，尤其明年應該會不錯) 只是不知道新公司未來站得穩不穩... 如果是各位會怎麼選呢 -- 這家是我的目標，但目前不是這間 Formal Verification是公司產品，但我應徵的職位只是做compiler，不知道二者有沒有 關係啦XD
※ 批踢踢實業坊(ptt.cc), 來自: 114.137.227.22 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Tech_Job/M.1658996109.A.FA4.html

→ lovelyinn : 護城河是什麼東西07/28 16:21

→ odahawk : 賺不了錢的就一點都不酷了07/28 16:28

→ odahawk : 真想耍酷就自己去參加開放原始碼專案阿07/28 16:28

推 mily222222 : 有想過你們的護城河,人家用投石車直接破城?07/28 16:29

推 plsmaop : Sifive ?07/28 16:40

→ z1976 : 不是SiFive，SiFive應該算穩到爆了吧07/28 16:56

推 Matz : Skymizer?07/28 16:58

→ freef1y3 : 好像被這家找過XD07/28 17:13

推 snaketsai : compiler蠻穩的，但formal很難入門欸，你說想學，我07/28 17:31

→ snaketsai : 覺得應該不match?07/28 17:31

推 Neistpoint : IC設計用的formal verification 跟做Compiler/LL07/28 17:58

→ Neistpoint : VM 是兩件很不同的事07/28 17:58

→ Neistpoint : 兩種都做應該是個屎缺07/28 18:00

→ da5n299o : 之前上班弄過一陣子LLVM 感覺自己智商不足…07/28 18:13

推 kendra0606 : 形式驗證是指測試嗎07/28 18:18

→ Astone : Formal哪裡屎 懂的人超少又難入門 滿爽的07/28 18:28

推 deflife : 形式化驗證是測試沒錯 證明產品沒問題的測試07/28 18:32

→ deflife : 符合要求的規範07/28 18:35

推 k798976869 : 滿好玩的 但是不賺錢07/28 18:36

→ Neistpoint : 有玩過 formal , 私訊吧，如果幫得上忙 07/28 19:09

推 samonline : woodpecker ？ 07/28 20:19

推 wulouise : 我猜是woodpecker 07/28 20:41

推 z4101010 : 晶心吧 07/29 11:14

推 twicm : 這看起來是在做 formal EDA? 07/29 11:59