Peran kontrak DH-0133 · Tanpa tenggat
Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Software lainnya · Austria
Tarif€6.000/bulan≈ US$41,55/jam
Tenggat—Tenggat tidak dicantumkan
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.
Ringkasan ditulis oleh DevHero berdasarkan sumber; pengumuman atau postingan resmi yang mengikat.
Peran kontrak: klien mempekerjakan seseorang atau tim untuk jangka waktu tertentu dengan tarif yang dicantumkan. Angka bulanan atau tahunan dikonversi ke setara per jam untuk perbandingan.
Apakah ini proyek atau pengumuman Anda? Kami akan mengoreksi atau menghapusnya jika diminta. Hubungi kami
Detail proyek
- Jenis
- Peran kontrak
- Tipe
- Software lainnya
- Tarif
- €6.000/bulan (≈ US$41,55/jam)
- Teknologi yang disebutkan
- C++, Rust, Python
- Stack
- Software lainnya
- Sektor
- Teknologi
- Negara
- Austria
- Dipublikasikan
- 22 September 2026
- Tenggat
- Tenggat tidak dicantumkan
- Platform sumber
- Himalayas
- Diperiksa
- Dibaca dari sumber data terbuka resmi pada 13 Nov 2026
- Bahasa sumber
- Inggris
- Status
- Tanpa tenggat
Klien, tautan sumber, dan referensi
- Klien
- ████████████
- Sumber resmi
- ████████████████
- Referensi
- ██████
- Kutipan dari sumber
- ██████████
Kredit hanya digunakan sekali per proyek; detail yang telah dibuka tetap tersimpan di akun Anda.
Proyek Software lainnya lainnya
| ID | Proyek | Anggaran | Tarif | Teknologi | Tenggat | Status |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceTender publik Software lainnya · Austria | — | — | Software lainnya | 16 Nov 2026 | Ditutup dalam 7 hari |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsTender publik Software lainnya · Lyon, Prancis | €100,0 jt≈ US$110,8 jt | — | Software lainnya | 21 Des 2026 | Terbuka |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesTender publik Software lainnya · Prague, Ceko | €45,0 jt≈ US$49,9 jt | — | Software lainnya | 8 Des 2026 | Terbuka |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerTender publik Software lainnya · Madrid, Spanyol | €6,0 jt≈ US$6,7 jt | — | Software lainnya | 13 Nov 2026 | Ditutup dalam 7 hari |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Tender publik Software lainnya · Madrid, Spanyol | €4,5 jt≈ US$5,0 jt | — | Software lainnya | 13 Nov 2026 | Ditutup dalam 7 hari |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsTender publik Software lainnya · Segrate (Milano), Italia | €3,2 jt≈ US$3,5 jt | — | Software lainnya | 21 Des 2026 | Terbuka |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingTender publik Software lainnya · Arnhem, Belanda | €3,0 jt≈ US$3,4 jt | — | Software lainnya | 18 Nov 2026 | Ditutup dalam 7 hari |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasTender publik Software lainnya · Berlin, Jerman | €3,0 jt≈ US$3,3 jt | — | Software lainnya | — | Direncanakan |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformTender publik Software lainnya · Roma, Italia | €2,9 jt≈ US$3,2 jt | — | Software lainnya | 20 Nov 2026 | Ditutup dalam 7 hari |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareTender publik Software lainnya · Tampere, Finlandia | €2,5 jt≈ US$2,8 jt | — | Software lainnya | 11 Des 2026 | Terbuka |
Proyek lain dengan C++, Rust, Python
| ID | Proyek | Anggaran | Tarif | Teknologi | Tenggat | Status |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsTender publik Sistem bisnis · Karlsruhe, Jerman | €7,9 jt≈ US$8,8 jt | — | Python | 17 Nov 2026 | Ditutup dalam 7 hari |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyPeran kontrak Data & AI · Amerika Serikat | — | US$80–US$90/jam | Python, SQL, dbt | — | Tanpa tenggat |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Peran kontrak Pemeliharaan & pengembangan lanjutan · Kanada | — | CA$185.045–CA$217.700/tahun≈ US$62,44–US$73,45/jam | C++, Rust | — | Tanpa tenggat |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsPeran kontrak Kapasitas pengembangan · Inggris Raya | — | £30–£50/jam≈ US$39,77–US$66,28/jam | TypeScript, JavaScript, Python | — | Tanpa tenggat |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Peran kontrak Pemeliharaan & pengembangan lanjutan · Kanada | — | CA$131.400–CA$186.172/tahun≈ US$44,34–US$62,82/jam | C++, Rust, WebGL | — | Tanpa tenggat |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamPeran kontrak Platform & SaaS · Lokasi tidak dicantumkan | — | US$6.000–US$9.000/bulan≈ US$37,50–US$56,25/jam | React, Next.js, Python | — | Tanpa tenggat |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Peran kontrak Data & AI · Brasil | — | €6.600/bulan≈ US$45,71/jam | Python, FastAPI, Weaviate | — | Tanpa tenggat |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsPeran kontrak Aplikasi web · Polandia | — | PLN 22.000–PLN 28.000/bulan≈ US$34,56–US$43,98/jam | React, TypeScript, Python | — | Tanpa tenggat |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformPeran kontrak Platform & SaaS · Remote | — | US$2.500–US$7.000/bulan≈ US$15,62–US$43,75/jam | Node.js, Python, React | — | Tanpa tenggat |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Peran kontrak Kapasitas pengembangan · Amerika Serikat | — | US$90.000/tahun≈ US$43,27/jam | React, Python, Ruby | — | Tanpa tenggat |
Tiga langkah menuju proyek Anda berikutnya.
Tanpa langganan. Anda hanya membayar untuk detail yang Anda buka.
LANGKAH 1
Filter berdasarkan uang
Atur anggaran minimum atau tarif per jam, pilih stack dan wilayah Anda. Bola dunia dan daftar diperbarui seiring Anda memilih.
LANGKAH 2
Buka detailnya
Kredit menampilkan klien, tautan ke pengumuman atau postingan resmi, nomor referensinya, dan kutipan kuncinya.
LANGKAH 3
Ajukan penawaran sebelum tenggat
Kirim penawaran Anda di platform aslinya. Notifikasi memberi tahu Anda saat ada proyek baru yang cocok.
Kompetitor Anda sedang menawar sekarang. Anda?
Buka bola dunia, atur anggaran minimum Anda, dan ambil proyek yang layak diambil.