1 – 10 員工
硬體YosysHQ 開發 Yosys 及相關的開源電子設計自動化（EDA）專案，服務於硬體工程領域。公司結合開源工具與商業產品及服務，協助電子團隊改善數位硬體設計流程，與從事硬體開發及 EDA 相關工作的專業人士密切相關。
綜合或形式驗證開發工程師——YosysHQ，奧地利遠端
加入 YosysHQ，成為開源 EDA 開發工程師，參與綜合或形式驗證工具的開發。此職位涉及使用 C++、Rust 和 Python，獨立進行硬體設計與驗證專案的開發工作。
說明
- 支援 YosysHQ 的綜合或形式驗證工作
- 使用 C++、Rust 和 Python 開發與維護 EDA 工具
- 實作硬體模型檢查、形式化方法、RTL/ASIC 綜合或相關工作流程
- 開發工程與科學軟體、實作研究文獻中的演算法，或參與編譯器專案
- 學習並參與大型現有開源程式碼庫的開發
- 負責分配的工作並獨立解決技術難題
- 推動 Yosys 及更廣泛的開源 EDA 生態系統發展
- 參與 YosysHQ 的開源工具開發，並視情況作出貢獻
職位要求
- 熟練使用 C++ 或 Rust 進行形式驗證，並願意學習其他語言和 Python
- 熟悉硬體模型檢查實作經驗者優先
- 或者具備驗證或形式化方法經驗，包括 SAT/SMT 求解、自動或互動式定理證明、程式語言理論或自動機理論
- 接觸過用於形式驗證的 RTL 硬體設計
- 綜合方向要求熟練使用 C++
- 具備一定 RTL 硬體設計經驗，最好涉及 ASIC
- 相關經驗可以包括工程或科學軟體開發、研究演算法實作或編譯器開發
- 有參與大型現有專案並逐步熟悉專案的經驗
- 能夠負責分配的職責，在有限監督下獨立工作
- 不得居住在受制裁或出口限制的國家，也不得被禁止為美國政府工作
- 申請時需提交履歷和簡短求職信
福利待遇
- 遠端工作，安排彈性
- 工作時間彈性
- 每週可安排一至五天的兼職工作
- 採用統一薪酬結構，所有團隊成員的費率相同
- 可在自行選擇的地點工作
- 團隊會議通常安排在維也納時間下午 3 點至 6 點之間，該時段之外也可彈性安排