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に関わる経験があれば望ましい
- 関連経験には、エンジニアリングまたは科学技術ソフトウェア、研究アルゴリズムの実装、コンパイラ開発などが含まれる
- 大規模な既存プロジェクトに入り込み、業務を進めた経験があること
- 担当業務に責任を持ち、限られた監督のもとで自律的に働けること
- 制裁または輸出規制の対象国に居住しておらず、米国政府で働くことを禁じられていないこと
- 応募時に履歴書と簡潔なカバーレターを提出すること
福利厚生
- 柔軟な形態でのリモート勤務
- 柔軟な勤務時間
- 週1日から5日までのパートタイム勤務が可能
- チームメンバー全員に同じ報酬レートを適用するフラットな報酬体系
- 希望する場所から勤務可能
- チームミーティングは通常、ウィーン時間の午後3時から6時の間に行われ、その時間帯以外も柔軟に対応可能