契約案件 DH-0133 · 締切なし
Developer for open-source synthesis or formal verification tools (C++, Rust, Python)その他のソフトウェア · オーストリア
単価€6,000/月≈ $41.55/時間
締切—締切の記載なし
A small open-source electronic design automation (EDA) software company seeks a developer for either its logic synthesis or formal verification tooling. The tools are written in C++, Rust and Python; formal verification work involves hardware model checking and related formal-methods techniques.
情報源をもとに DevHero が作成した要約です。公式の公告または投稿が優先されます。
契約案件：クライアントが、記載された単価で一定期間、個人またはチームと契約します。月額・年額は比較のため時給相当に換算しています。
ご自身のプロジェクトまたは公告ですか？ご要望に応じて修正または削除いたします。 お問い合わせ
プロジェクト詳細
- 種別
- 契約案件
- タイプ
- その他のソフトウェア
- 単価
- €6,000/月 (≈ $41.55/時間)
- 記載された技術
- C++, Rust, Python
- 技術スタック
- その他のソフトウェア
- 業種
- テクノロジー
- 国
- オーストリア
- 公開日
- 2026年9月22日
- 締切
- 締切の記載なし
- 情報源プラットフォーム
- Himalayas
- 確認日
- 2026年11月13日 に公式オープンデータから取得
- 情報源の言語
- 英語
- 状況
- 締切なし
クライアント、情報源リンク、参照番号
- クライアント
- ████████████
- 公式の情報源
- ████████████████
- 参照番号
- ██████
- 出典からの引用
- ██████████
クレジットはプロジェクトごとに一度だけ使用します。ロックを解除した詳細は、アカウントに残ります。
その他の その他のソフトウェア プロジェクト
C++, Rust, Python のその他のプロジェクト
次のプロジェクトまで、3ステップ。
定期契約は不要です。開いた詳細の分だけお支払いいただきます。
ステップ 1
金額で絞り込む
最小予算または時給を設定し、スタックと地域を選びます。地球儀と一覧は操作に合わせて更新されます。
ステップ 2
詳細をロック解除
クレジットを使うと、クライアント、公式の公告または投稿へのリンク、その参照番号、重要な引用文が表示されます。
ステップ 3
締切前に入札
元のプラットフォームで提案を送信します。新しいプロジェクトが条件に合うと、通知でお知らせします。
競合は今まさに入札しています。 あなたは？
地球儀を開いて最小予算を設定し、取るべき案件をつかみ取りましょう。