[請益] 做compiler的出路好嗎

z1976 發表於 2022/7/28 下午4:15:06

看板Tech_Job標題[請益] 做compiler的出路好嗎作者

z1976

(z1976)時間Jul 28 16:15:06 2022推噓12 推:12 噓:0 →:12

PTT推薦

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

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

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

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

※ PTT 留言評論

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.137.227.22 (臺灣)

※ PTT 網址

→

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

→

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

→

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

推

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

推

plsmaop 07/28 16:40Sifive ?

這家是我的目標，但目前不是這間

→

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

推

Matz 07/28 16:58Skymizer?

※ 編輯: z1976 (114.137.227.22 臺灣), 07/28/2022 17:08:40

→

freef1y3 07/28 17:13好像被這家找過XD

推

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

→

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

推

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

→

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

→

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

Formal Verification是公司產品，但我應徵的職位只是做compiler，不知道二者有沒有關係啦XD

→

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

推

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

→

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

推

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

→

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

推

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

→

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

※ 編輯: z1976 (114.137.227.22 臺灣), 07/28/2022 19:15:57

推

samonline 07/28 20:19woodpecker ？

推

wulouise 07/28 20:41我猜是woodpecker

推

z4101010 07/29 11:14晶心吧

推

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

其他人也閱讀了

PTT 熱門相關