[請益] 做compiler的出路好嗎

看板Tech_Job作者 (z1976)時間1年前 (2022/07/28 16:15), 1年前編輯推噓12(12推 0噓 12→)
留言24則, 18人參與, 1年前最新討論串1/1
有家新創公司在徵軟工 負責為IC設計形式驗證調整compiler，用LLVM開發 綠字的部分聽起來都是很酷的東西 (對我來說) 我是業界老人.. 目前在小豬屎屋當主管 沒什麼新技術 但公司的產品有點護城河特性，發展算穩定 新公司開的薪水比我現在高，技術又是我想學的，儘管沒高很多，但有高都算難得.. (但犧牲的是原公司獲利分紅，尤其明年應該會不錯) 只是不知道新公司未來站得穩不穩... 如果是各位會怎麼選呢 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.137.227.22 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Tech_Job/M.1658996109.A.FA4.html
→
07/28 16:21, 1年前 , 1F
護城河是什麼東西
07/28 16:21, 1F
→
07/28 16:28, 1年前 , 2F
賺不了錢的就一點都不酷了
07/28 16:28, 2F
→
07/28 16:28, 1年前 , 3F
真想耍酷就自己去參加開放原始碼專案阿
07/28 16:28, 3F
推
07/28 16:29, 1年前 , 4F
有想過你們的護城河,人家用投石車直接破城?
07/28 16:29, 4F
推
07/28 16:40, 1年前 , 5F
Sifive ?
07/28 16:40, 5F
這家是我的目標，但目前不是這間
→
07/28 16:56, 1年前 , 6F
不是SiFive，SiFive應該算穩到爆了吧
07/28 16:56, 6F
推
07/28 16:58, 1年前 , 7F
Skymizer?
07/28 16:58, 7F
※ 編輯: z1976 (114.137.227.22 臺灣), 07/28/2022 17:08:40
→
07/28 17:13, 1年前 , 8F
好像被這家找過XD
07/28 17:13, 8F
推
07/28 17:31, 1年前 , 9F
compiler蠻穩的，但formal很難入門欸，你說想學，我
07/28 17:31, 9F
→
07/28 17:31, 1年前 , 10F
覺得應該不match?
07/28 17:31, 10F
推
07/28 17:58, 1年前 , 11F
IC設計用的formal verification 跟做Compiler/LL
07/28 17:58, 11F
→
07/28 17:58, 1年前 , 12F
VM 是兩件很不同的事
07/28 17:58, 12F
→
07/28 18:00, 1年前 , 13F
兩種都做應該是個屎缺
07/28 18:00, 13F
Formal Verification是公司產品，但我應徵的職位只是做compiler，不知道二者有沒有 關係啦XD
→
07/28 18:13, 1年前 , 14F
之前上班弄過一陣子LLVM 感覺自己智商不足…
07/28 18:13, 14F
推
07/28 18:18, 1年前 , 15F
形式驗證是指測試嗎
07/28 18:18, 15F
→
07/28 18:28, 1年前 , 16F
Formal哪裡屎 懂的人超少又難入門 滿爽的
07/28 18:28, 16F
推
07/28 18:32, 1年前 , 17F
形式化驗證是測試沒錯 證明產品沒問題的測試
07/28 18:32, 17F
→
07/28 18:35, 1年前 , 18F
符合要求的規範
07/28 18:35, 18F
推
07/28 18:36, 1年前 , 19F
滿好玩的 但是不賺錢
07/28 18:36, 19F
→
07/28 19:09, 1年前 , 20F
有玩過 formal , 私訊吧，如果幫得上忙
07/28 19:09, 20F
※ 編輯: z1976 (114.137.227.22 臺灣), 07/28/2022 19:15:57
推
07/28 20:19, 1年前 , 21F
woodpecker ？
07/28 20:19, 21F
推
07/28 20:41, 1年前 , 22F
我猜是woodpecker
07/28 20:41, 22F
推
07/29 11:14, 1年前 , 23F
晶心吧
07/29 11:14, 23F
推
07/29 11:59, 1年前 , 24F
這看起來是在做 formal EDA?
07/29 11:59, 24F
‣ 更多 z1976 的文章
文章代碼(AID): #1YuaMD-a (Tech_Job)