有家新創公司在徵軟工
負責為IC設計形式驗證調整compiler，用LLVM開發
綠字的部分聽起來都是很酷的東西 (對我來說)
我是業界老人..
目前在小豬屎屋當主管
沒什麼新技術
但公司的產品有點護城河特性，發展算穩定
新公司開的薪水比我現在高，技術又是我想學的，儘管沒高很多，但有高都算難得..
(但犧牲的是原公司獲利分紅，尤其明年應該會不錯)
只是不知道新公司未來站得穩不穩...
如果是各位會怎麼選呢
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.137.227.22 (臺灣)
※ 文章網址: https://webptt.cc/bbs/Tech_Job/M.1658996109.A.FA4.html
這家是我的目標，但目前不是這間
※ 編輯: z1976 (114.137.227.22 臺灣), 07/28/2022 17:08:40
Formal Verification是公司產品，但我應徵的職位只是做compiler，不知道二者有沒有
關係啦XD
※ 編輯: z1976 (114.137.227.22 臺灣), 07/28/2022 19:15:57
推文 (24)
→
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
好像被這家找過XD
07/28 17:13
推
snaketsai
compiler蠻穩的，但formal很難入門欸，你說想學，我
07/28 17:31
→
snaketsai
覺得應該不match?
07/28 17:31
推
Neistpoint
IC設計用的formal verification 跟做Compiler/LL
07/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