有家新創公司在徵軟工
負責為IC設計形式驗證調整compiler，用LLVM開發
綠字的部分聽起來都是很酷的東西 (對我來說)
我是業界老人..
目前在小豬屎屋當主管
沒什麼新技術
但公司的產品有點護城河特性，發展算穩定
新公司開的薪水比我現在高，技術又是我想學的，儘管沒高很多，但有高都算難得..
(但犧牲的是原公司獲利分紅，尤其明年應該會不錯)
只是不知道新公司未來站得穩不穩...
如果是各位會怎麼選呢
--
[請益] 做compiler的出路好嗎
工作
19120
有家新創公司在徵軟工
負責為IC設計形式驗證調整compiler，用LLVM開發
綠字的部分聽起來都是很酷的東西 (對我來說)
我是業界老人..
目前在小豬屎屋當主管
沒什麼新技術
但公司的產品有點護城河特性，發展算穩定
新公司開的薪水比我現在高，技術又是我想學的，儘管沒高很多，但有高都算難得..
(但犧牲的是原公司獲利分紅，尤其明年應該會不錯)
只是不知道新公司未來站得穩不穩...
如果是各位會怎麼選呢
--
→ lovelyinn1樓護城河是什麼東西 07/28 16:21
→ odahawk2樓賺不了錢的就一點都不酷了 07/28 16:28
→ odahawk3樓真想耍酷就自己去參加開放原始碼專案阿 07/28 16:28
mily2222224樓有想過你們的護城河,人家用投石車直接破城? 07/28 16:29
plsmaop5樓Sifive ? 07/28 16:40
這家是我的目標，但目前不是這間
→ 6樓不是SiFive，SiFive應該算穩到爆了吧 07/28 16:56
Matz7樓Skymizer? 07/28 16:58
→ freef1y38樓好像被這家找過XD 07/28 17:13
snaketsai9樓compiler蠻穩的，但formal很難入門欸，你說想學，我 07/28 17:31
→ snaketsai10樓覺得應該不match? 07/28 17:31
Neistpoint11樓IC設計用的formal verification 跟做Compiler/LL 07/28 17:58
→ Neistpoint12樓VM 是兩件很不同的事 07/28 17:58
→ Neistpoint13樓兩種都做應該是個屎缺 07/28 18:00
Formal Verification是公司產品，但我應徵的職位只是做compiler，不知道二者有沒有
關係啦XD
→ da5n299o14樓之前上班弄過一陣子LLVM 感覺自己智商不足… 07/28 18:13
kendra060615樓形式驗證是指測試嗎 07/28 18:18
→ Astone16樓Formal哪裡屎 懂的人超少又難入門 滿爽的 07/28 18:28
deflife17樓形式化驗證是測試沒錯 證明產品沒問題的測試 07/28 18:32
→ deflife18樓符合要求的規範 07/28 18:35
k79897686919樓滿好玩的 但是不賺錢 07/28 18:36
→ Neistpoint20樓有玩過 formal , 私訊吧，如果幫得上忙 07/28 19:09
samonline21樓woodpecker ？ 07/28 20:19
wulouise22樓我猜是woodpecker 07/28 20:41
z410101023樓晶心吧 07/29 11:14
twicm24樓這看起來是在做 formal EDA? 07/29 11:59