[請益] 做compiler的出路好嗎

[z1976 (z1976)]

有家新創公司在徵軟工
負責為IC設計形式驗證調整compiler，用LLVM開發
綠字的部分聽起來都是很酷的東西 (對我來說)

我是業界老人..
目前在小豬屎屋當主管
沒什麼新技術
但公司的產品有點護城河特性，發展算穩定

新公司開的薪水比我現在高，技術又是我想學的，儘管沒高很多，但有高都算難得..
(但犧牲的是原公司獲利分紅，尤其明年應該會不錯)

只是不知道新公司未來站得穩不穩...
如果是各位會怎麼選呢

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.137.227.22 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Tech_Job/M.1658996109.A.FA4.html
→ lovelyinn   : 護城河是什麼東西
→ odahawk     : 賺不了錢的就一點都不酷了
→ odahawk     : 真想耍酷就自己去參加開放原始碼專案阿
推 mily222222  : 有想過你們的護城河,人家用投石車直接破城?
推 plsmaop     : Sifive ?
這家是我的目標，但目前不是這間
→ z1976       : 不是SiFive，SiFive應該算穩到爆了吧
推 Matz        : Skymizer?
※ 編輯: z1976 (114.137.227.22 臺灣), 07/28/2022 17:08:40
→ freef1y3    : 好像被這家找過XD
推 snaketsai   : compiler蠻穩的，但formal很難入門欸，你說想學，我
→ snaketsai   : 覺得應該不match?
推 Neistpoint  : IC設計用的formal verification 跟做Compiler/LL
→ Neistpoint  : VM 是兩件很不同的事
→ Neistpoint  : 兩種都做應該是個屎缺
Formal Verification是公司產品，但我應徵的職位只是做compiler，不知道二者有沒有
關係啦XD
→ da5n299o    : 之前上班弄過一陣子LLVM 感覺自己智商不足…
推 kendra0606  : 形式驗證是指測試嗎
→ Astone      : Formal哪裡屎 懂的人超少又難入門 滿爽的
推 deflife     : 形式化驗證是測試沒錯 證明產品沒問題的測試
→ deflife     : 符合要求的規範
推 k798976869  : 滿好玩的 但是不賺錢
→ Neistpoint  : 有玩過 formal , 私訊吧，如果幫得上忙
※ 編輯: z1976 (114.137.227.22 臺灣), 07/28/2022 19:15:57
推 samonline   : woodpecker ？
推 wulouise    : 我猜是woodpecker
推 z4101010    : 晶心吧
推 twicm       : 這看起來是在做 formal EDA?