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 US$/ساعة)
- التقنيات المذكورة
- C++, Rust, Python
- مجموعة التقنيات
- برمجيات أخرى
- القطاع
- التكنولوجيا
- البلد
- النمسا
- تاريخ النشر
- 22 سبتمبر 2026
- الموعد النهائي
- لم يُذكر موعد نهائي
- منصة المصدر
- Himalayas
- آخر تحقق
- قُرئ من مصدر البيانات المفتوحة الرسمي بتاريخ 13 نوفمبر 2026
- لغة المصدر
- الإنجليزية
- الحالة
- بلا موعد نهائي
- العميل
- ████████████
- المصدر الرسمي
- ████████████████
- المرجع
- ██████
- اقتباس من المصدر
- ██████████
تُستخدم نقاط الرصيد مرة واحدة لكل مشروع؛ وتبقى التفاصيل المفتوحة في حسابكم.
مزيد من المشاريع: برمجيات أخرى
| المعرّف | المشروع | الميزانية | السعر | التقنيات | الموعد النهائي | الحالة |
|---|---|---|---|---|---|---|
| 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, فرنسا | 100.0 مليون €≈ 110.8 مليون US$ | — | برمجيات أخرى | 21 ديسمبر 2026 | مفتوح |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesمناقصة عامة برمجيات أخرى · Prague, التشيك | 45.0 مليون €≈ 49.9 مليون US$ | — | برمجيات أخرى | 8 ديسمبر 2026 | مفتوح |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerمناقصة عامة برمجيات أخرى · Madrid, إسبانيا | 6.0 مليون €≈ 6.7 مليون US$ | — | برمجيات أخرى | 13 نوفمبر 2026 | يُغلق خلال 7 أيام |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)مناقصة عامة برمجيات أخرى · Madrid, إسبانيا | 4.5 مليون €≈ 5.0 مليون US$ | — | برمجيات أخرى | 13 نوفمبر 2026 | يُغلق خلال 7 أيام |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsمناقصة عامة برمجيات أخرى · Segrate (Milano), إيطاليا | 3.2 مليون €≈ 3.5 مليون US$ | — | برمجيات أخرى | 21 ديسمبر 2026 | مفتوح |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingمناقصة عامة برمجيات أخرى · Arnhem, هولندا | 3.0 مليون €≈ 3.4 مليون US$ | — | برمجيات أخرى | 18 نوفمبر 2026 | يُغلق خلال 7 أيام |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasمناقصة عامة برمجيات أخرى · Berlin, ألمانيا | 3.0 مليون €≈ 3.3 مليون US$ | — | برمجيات أخرى | — | مخطط له |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformمناقصة عامة برمجيات أخرى · Roma, إيطاليا | 2.9 مليون €≈ 3.2 مليون US$ | — | برمجيات أخرى | 20 نوفمبر 2026 | يُغلق خلال 7 أيام |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareمناقصة عامة برمجيات أخرى · Tampere, فنلندا | 2.5 مليون €≈ 2.8 مليون US$ | — | برمجيات أخرى | 11 ديسمبر 2026 | مفتوح |
مشاريع أخرى باستخدام C++, Rust, Python
| المعرّف | المشروع | الميزانية | السعر | التقنيات | الموعد النهائي | الحالة |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsمناقصة عامة أنظمة الأعمال · Karlsruhe, ألمانيا | 7.9 مليون €≈ 8.8 مليون US$ | — | Python | 17 نوفمبر 2026 | يُغلق خلال 7 أيام |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyدور تعاقدي البيانات والذكاء الاصطناعي · الولايات المتحدة | — | 80 US$–90 US$/ساعة | Python, SQL, dbt | — | بلا موعد نهائي |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)دور تعاقدي الصيانة والتطوير اللاحق · كندا | — | 185,045 CA$–217,700 CA$/سنة≈ 62.44 US$–73.45 US$/ساعة | C++, Rust | — | بلا موعد نهائي |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsدور تعاقدي قدرات التطوير · المملكة المتحدة | — | 30 UK£–50 UK£/ساعة≈ 39.77 US$–66.28 US$/ساعة | TypeScript, JavaScript, Python | — | بلا موعد نهائي |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)دور تعاقدي الصيانة والتطوير اللاحق · كندا | — | 131,400 CA$–186,172 CA$/سنة≈ 44.34 US$–62.82 US$/ساعة | C++, Rust, WebGL | — | بلا موعد نهائي |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamدور تعاقدي المنصات وSaaS · الموقع غير محدد | — | 6,000 US$–9,000 US$/شهر≈ 37.50 US$–56.25 US$/ساعة | React, Next.js, Python | — | بلا موعد نهائي |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)دور تعاقدي البيانات والذكاء الاصطناعي · البرازيل | — | 6,600 €/شهر≈ 45.71 US$/ساعة | Python, FastAPI, Weaviate | — | بلا موعد نهائي |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsدور تعاقدي تطبيقات الويب · بولندا | — | 22,000 PLN–28,000 PLN/شهر≈ 34.56 US$–43.98 US$/ساعة | React, TypeScript, Python | — | بلا موعد نهائي |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformدور تعاقدي المنصات وSaaS · عن بُعد | — | 2,500 US$–7,000 US$/شهر≈ 15.62 US$–43.75 US$/ساعة | Node.js, Python, React | — | بلا موعد نهائي |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)دور تعاقدي قدرات التطوير · الولايات المتحدة | — | 90,000 US$/سنة≈ 43.27 US$/ساعة | React, Python, Ruby | — | بلا موعد نهائي |
ثلاث خطوات إلى مشروعكم القادم.
بلا اشتراك. تدفعون فقط مقابل التفاصيل التي تفتحونها.
صفّوا حسب المال
حدّدوا الحد الأدنى للميزانية أو للسعر بالساعة، واختاروا مجموعة التقنيات والمنطقة. وتتحدث الكرة الأرضية والقائمة تلقائيًا.
افتحوا التفاصيل
تكشف نقاط الرصيد العميل، ورابط الإعلان الرسمي أو المنشور، ومرجعه، والاقتباس الأساسي.
قدّموا عرضكم قبل الموعد النهائي
أرسلوا عرضكم على المنصة الأصلية. وتخبركم التنبيهات حين تظهر مشاريع مطابقة.
منافسوكم يقدّمون عروضهم الآن. وأنتم؟
افتحوا الكرة الأرضية، وحدّدوا الحد الأدنى لميزانيتكم، واستحوذوا على المشاريع التي تستحق.