PTT推薦

[請益] 做compiler的出路好嗎

看板Tech_Job標題[請益] 做compiler的出路好嗎作者
z1976
(z1976)
時間推噓12 推:12 噓:0 →:12

有家新創公司在徵軟工
負責為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?