Developer for open-source synthesis or formal verification tools (C++, Rust, Python)अन्य सॉफ़्टवेयर · ऑस्ट्रिया
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
- स्टैक
- अन्य सॉफ़्टवेयर
- सेक्टर
- प्रौद्योगिकी
- देश
- ऑस्ट्रिया
- प्रकाशित
- 22 सितंबर 2026
- अंतिम तारीख़
- कोई अंतिम तारीख़ नहीं बताई गई
- स्रोत प्लेटफ़ॉर्म
- Himalayas
- जाँचा गया
- 13 नव॰ 2026 को आधिकारिक ओपन-डेटा स्रोत से पढ़ा गया
- स्रोत की भाषा
- अंग्रेज़ी
- स्थिति
- कोई अंतिम तारीख़ नहीं
- क्लाइंट
- ████████████
- आधिकारिक स्रोत
- ████████████████
- संदर्भ
- ██████
- स्रोत से उद्धरण
- ██████████
क्रेडिट हर प्रोजेक्ट के लिए एक ही बार लगते हैं; अनलॉक किए गए विवरण आपके खाते में बने रहते हैं।
और अन्य सॉफ़्टवेयर प्रोजेक्ट
| ID | प्रोजेक्ट | बजट | दर | तकनीक | अंतिम तारीख़ | स्थिति |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceसार्वजनिक निविदा अन्य सॉफ़्टवेयर · ऑस्ट्रिया | — | — | अन्य सॉफ़्टवेयर | 16 नव॰ 2026 | 7 दिनों में बंद |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsसार्वजनिक निविदा अन्य सॉफ़्टवेयर · Lyon, फ़्रांस | €10.0 क॰≈ $11.1 क॰ | — | अन्य सॉफ़्टवेयर | 21 दिस॰ 2026 | खुला |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesसार्वजनिक निविदा अन्य सॉफ़्टवेयर · Prague, चेकिया | €4.5 क॰≈ $5.0 क॰ | — | अन्य सॉफ़्टवेयर | 8 दिस॰ 2026 | खुला |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerसार्वजनिक निविदा अन्य सॉफ़्टवेयर · Madrid, स्पेन | €60.2 लाख≈ $66.7 लाख | — | अन्य सॉफ़्टवेयर | 13 नव॰ 2026 | 7 दिनों में बंद |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)सार्वजनिक निविदा अन्य सॉफ़्टवेयर · Madrid, स्पेन | €45.1 लाख≈ $50.0 लाख | — | अन्य सॉफ़्टवेयर | 13 नव॰ 2026 | 7 दिनों में बंद |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsसार्वजनिक निविदा अन्य सॉफ़्टवेयर · Segrate (Milano), इटली | €31.6 लाख≈ $35.0 लाख | — | अन्य सॉफ़्टवेयर | 21 दिस॰ 2026 | खुला |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingसार्वजनिक निविदा अन्य सॉफ़्टवेयर · Arnhem, नीदरलैंड | €30.4 लाख≈ $33.7 लाख | — | अन्य सॉफ़्टवेयर | 18 नव॰ 2026 | 7 दिनों में बंद |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasसार्वजनिक निविदा अन्य सॉफ़्टवेयर · Berlin, जर्मनी | €30.0 लाख≈ $33.2 लाख | — | अन्य सॉफ़्टवेयर | — | नियोजित |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformसार्वजनिक निविदा अन्य सॉफ़्टवेयर · Roma, इटली | €28.8 लाख≈ $31.9 लाख | — | अन्य सॉफ़्टवेयर | 20 नव॰ 2026 | 7 दिनों में बंद |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareसार्वजनिक निविदा अन्य सॉफ़्टवेयर · Tampere, फ़िनलैंड | €25.0 लाख≈ $27.7 लाख | — | अन्य सॉफ़्टवेयर | 11 दिस॰ 2026 | खुला |
C++, Rust, Python वाले और प्रोजेक्ट
| ID | प्रोजेक्ट | बजट | दर | तकनीक | अंतिम तारीख़ | स्थिति |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsसार्वजनिक निविदा बिज़नेस सिस्टम · Karlsruhe, जर्मनी | €79.4 लाख≈ $88.0 लाख | — | Python | 17 नव॰ 2026 | 7 दिनों में बंद |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyकॉन्ट्रैक्ट भूमिका डेटा और AI · संयुक्त राज्य | — | $80–$90/घंटा | Python, SQL, dbt | — | कोई अंतिम तारीख़ नहीं |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)कॉन्ट्रैक्ट भूमिका रखरखाव और आगे का विकास · कनाडा | — | CA$1,85,045–CA$2,17,700/वर्ष≈ $62.44–$73.45/घंटा | C++, Rust | — | कोई अंतिम तारीख़ नहीं |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsकॉन्ट्रैक्ट भूमिका डेवलपमेंट क्षमता · यूनाइटेड किंगडम | — | £30–£50/घंटा≈ $39.77–$66.28/घंटा | TypeScript, JavaScript, Python | — | कोई अंतिम तारीख़ नहीं |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)कॉन्ट्रैक्ट भूमिका रखरखाव और आगे का विकास · कनाडा | — | CA$1,31,400–CA$1,86,172/वर्ष≈ $44.34–$62.82/घंटा | C++, Rust, WebGL | — | कोई अंतिम तारीख़ नहीं |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamकॉन्ट्रैक्ट भूमिका प्लेटफ़ॉर्म और SaaS · स्थान नहीं बताया गया | — | $6,000–$9,000/माह≈ $37.50–$56.25/घंटा | React, Next.js, Python | — | कोई अंतिम तारीख़ नहीं |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)कॉन्ट्रैक्ट भूमिका डेटा और AI · ब्राज़ील | — | €6,600/माह≈ $45.71/घंटा | Python, FastAPI, Weaviate | — | कोई अंतिम तारीख़ नहीं |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsकॉन्ट्रैक्ट भूमिका वेब एप्लिकेशन · पोलैंड | — | PLN 22,000–PLN 28,000/माह≈ $34.56–$43.98/घंटा | React, TypeScript, Python | — | कोई अंतिम तारीख़ नहीं |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformकॉन्ट्रैक्ट भूमिका प्लेटफ़ॉर्म और SaaS · रिमोट | — | $2,500–$7,000/माह≈ $15.62–$43.75/घंटा | Node.js, Python, React | — | कोई अंतिम तारीख़ नहीं |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)कॉन्ट्रैक्ट भूमिका डेवलपमेंट क्षमता · संयुक्त राज्य | — | $90,000/वर्ष≈ $43.27/घंटा | React, Python, Ruby | — | कोई अंतिम तारीख़ नहीं |
आपके अगले प्रोजेक्ट तक तीन चरण।
कोई सदस्यता नहीं। आप केवल उन्हीं विवरणों का भुगतान करते हैं जो आप खोलते हैं।
रक़म से फ़िल्टर करें
न्यूनतम बजट या प्रति घंटा दर तय करें, अपना स्टैक और क्षेत्र चुनें। ग्लोब और सूची साथ-साथ अपडेट होती जाती हैं।
विवरण अनलॉक करें
क्रेडिट से क्लाइंट, आधिकारिक सूचना या पोस्ट का लिंक, उसका संदर्भ और प्रमुख उद्धरण सामने आ जाते हैं।
अंतिम तारीख़ से पहले बोली लगाएँ
अपना प्रस्ताव मूल प्लेटफ़ॉर्म पर भेजें। नए प्रोजेक्ट मेल खाते ही अलर्ट आपको बता देते हैं।
आपके प्रतिस्पर्धी अभी बोली लगा रहे हैं। और आप?
ग्लोब खोलें, अपना न्यूनतम बजट तय करें और काम के प्रोजेक्ट झपट लें।