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 点之间，该时间段之外也可灵活安排