Sözleşmeli görev DH-0133 · Son tarih yok
Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Diğer yazılım · Avusturya
Ücret€6.000/ay≈ $41,55/saat
Son tarih—Son tarih belirtilmemiş
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.
Özet, kaynaktan yola çıkılarak DevHero tarafından yazılmıştır; bağlayıcı olan resmî ilan veya gönderidir.
Sözleşmeli görev: müşteri, belirli bir süre için bir kişiyi veya ekibi belirtilen ücretle görevlendirir. Aylık veya yıllık tutarlar, karşılaştırma için saatlik karşılığa çevrilir.
Bu sizin projeniz veya ilanınız mı? Talep üzerine düzeltir ya da kaldırırız. Bize yazın
Proje ayrıntıları
- Tür
- Sözleşmeli görev
- Tip
- Diğer yazılım
- Ücret
- €6.000/ay (≈ $41,55/saat)
- Belirtilen teknolojiler
- C++, Rust, Python
- Stack
- Diğer yazılım
- Sektör
- Teknoloji
- Ülke
- Avusturya
- Yayın tarihi
- 22 Eylül 2026
- Son tarih
- Son tarih belirtilmemiş
- Kaynak platform
- Himalayas
- Kontrol edildi
- 13 Kas 2026 tarihinde resmî açık veri kaynağından okundu
- Kaynak dili
- İngilizce
- Durum
- Son tarih yok
Müşteri, kaynak bağlantısı ve referans
- Müşteri
- ████████████
- Resmî kaynak
- ████████████████
- Referans
- ██████
- Kaynaktan alıntı
- ██████████
Krediler proje başına bir kez kullanılır; kilidi açılan ayrıntılar hesabınızda kalır.
Daha fazla proje: Diğer yazılım
| ID | Proje | Bütçe | Ücret | Teknoloji | Son tarih | Durum |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceKamu ihalesi Diğer yazılım · Avusturya | — | — | Diğer yazılım | 16 Kas 2026 | 7 gün içinde kapanıyor |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsKamu ihalesi Diğer yazılım · Lyon, Fransa | €100,0 Mn≈ $110,8 Mn | — | Diğer yazılım | 21 Ara 2026 | Açık |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesKamu ihalesi Diğer yazılım · Prague, Çekya | €45,0 Mn≈ $49,9 Mn | — | Diğer yazılım | 8 Ara 2026 | Açık |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerKamu ihalesi Diğer yazılım · Madrid, İspanya | €6,0 Mn≈ $6,7 Mn | — | Diğer yazılım | 13 Kas 2026 | 7 gün içinde kapanıyor |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Kamu ihalesi Diğer yazılım · Madrid, İspanya | €4,5 Mn≈ $5,0 Mn | — | Diğer yazılım | 13 Kas 2026 | 7 gün içinde kapanıyor |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsKamu ihalesi Diğer yazılım · Segrate (Milano), İtalya | €3,2 Mn≈ $3,5 Mn | — | Diğer yazılım | 21 Ara 2026 | Açık |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingKamu ihalesi Diğer yazılım · Arnhem, Hollanda | €3,0 Mn≈ $3,4 Mn | — | Diğer yazılım | 18 Kas 2026 | 7 gün içinde kapanıyor |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasKamu ihalesi Diğer yazılım · Berlin, Almanya | €3,0 Mn≈ $3,3 Mn | — | Diğer yazılım | — | Planlanan |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformKamu ihalesi Diğer yazılım · Roma, İtalya | €2,9 Mn≈ $3,2 Mn | — | Diğer yazılım | 20 Kas 2026 | 7 gün içinde kapanıyor |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareKamu ihalesi Diğer yazılım · Tampere, Finlandiya | €2,5 Mn≈ $2,8 Mn | — | Diğer yazılım | 11 Ara 2026 | Açık |
C++, Rust, Python ile ilgili diğer projeler
| ID | Proje | Bütçe | Ücret | Teknoloji | Son tarih | Durum |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsKamu ihalesi İş sistemleri · Karlsruhe, Almanya | €7,9 Mn≈ $8,8 Mn | — | Python | 17 Kas 2026 | 7 gün içinde kapanıyor |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companySözleşmeli görev Veri ve yapay zekâ · Amerika Birleşik Devletleri | — | $80–$90/saat | Python, SQL, dbt | — | Son tarih yok |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Sözleşmeli görev Bakım ve geliştirme · Kanada | — | CA$185.045–CA$217.700/yıl≈ $62,44–$73,45/saat | C++, Rust | — | Son tarih yok |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsSözleşmeli görev Geliştirme kapasitesi · Birleşik Krallık | — | £30–£50/saat≈ $39,77–$66,28/saat | TypeScript, JavaScript, Python | — | Son tarih yok |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Sözleşmeli görev Bakım ve geliştirme · Kanada | — | CA$131.400–CA$186.172/yıl≈ $44,34–$62,82/saat | C++, Rust, WebGL | — | Son tarih yok |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamSözleşmeli görev Platformlar ve SaaS · Yer belirtilmemiş | — | $6.000–$9.000/ay≈ $37,50–$56,25/saat | React, Next.js, Python | — | Son tarih yok |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Sözleşmeli görev Veri ve yapay zekâ · Brezilya | — | €6.600/ay≈ $45,71/saat | Python, FastAPI, Weaviate | — | Son tarih yok |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsSözleşmeli görev Web uygulamaları · Polonya | — | PLN 22.000–PLN 28.000/ay≈ $34,56–$43,98/saat | React, TypeScript, Python | — | Son tarih yok |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformSözleşmeli görev Platformlar ve SaaS · Uzaktan | — | $2.500–$7.000/ay≈ $15,62–$43,75/saat | Node.js, Python, React | — | Son tarih yok |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Sözleşmeli görev Geliştirme kapasitesi · Amerika Birleşik Devletleri | — | $90.000/yıl≈ $43,27/saat | React, Python, Ruby | — | Son tarih yok |
Bir sonraki projenize üç adım.
Abonelik yok. Yalnızca açtığınız ayrıntılar için ödeme yaparsınız.
ADIM 1
Paraya göre filtreleyin
Minimum bütçe veya saatlik ücret belirleyin, stack'inizi ve bölgenizi seçin. Küre ve liste siz seçtikçe güncellenir.
ADIM 2
Ayrıntıların kilidini açın
Krediler müşteriyi, resmî ilana veya gönderiye giden bağlantıyı, referans numarasını ve kilit alıntıyı ortaya çıkarır.
ADIM 3
Son tarihten önce teklif verin
Teklifinizi orijinal platformda gönderin. Yeni projeler eşleştiğinde bildirimler sizi uyarır.
Rakipleriniz şu an teklif veriyor. Ya siz?
Küreyi açın, minimum bütçenizi belirleyin ve değecek projeleri kapın.