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$185,045–CA$217,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$131,400–CA$186,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 | — | کوئی آخری تاریخ نہیں |
آپ کے اگلے پروجیکٹ تک تین مراحل۔
کوئی سبسکرپشن نہیں۔ آپ صرف انہی تفصیلات کی ادائیگی کرتے ہیں جو آپ کھولتے ہیں۔
رقم کے مطابق فلٹر کریں
کم از کم بجٹ یا فی گھنٹہ شرح مقرر کریں، اپنا اسٹیک اور خطہ چنیں۔ گلوب اور فہرست ساتھ ساتھ اپ ڈیٹ ہوتے رہتے ہیں۔
تفصیلات ان لاک کریں
کریڈٹ سے کلائنٹ، سرکاری نوٹس یا پوسٹ کا لنک، اس کا حوالہ اور اہم اقتباس سامنے آ جاتا ہے۔
آخری تاریخ سے پہلے بولی لگائیں
اپنی پیشکش اصل پلیٹ فارم پر بھیجیں۔ نئے پروجیکٹس مماثل ہوتے ہی اطلاعات آپ کو بتا دیتی ہیں۔
آپ کے حریف ابھی بولی لگا رہے ہیں۔ اور آپ؟
گلوب کھولیں، اپنا کم از کم بجٹ مقرر کریں اور وہ پروجیکٹ اچک لیں جو واقعی قابل ہیں۔