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
- پشته فناوری
- نرمافزار دیگر
- حوزه
- فناوری
- کشور
- اتریش
- تاریخ انتشار
- 31 شهریور 1405
- مهلت
- مهلتی ذکر نشده
- پلتفرم منبع
- Himalayas
- بررسیشده
- خواندهشده از منبع رسمی دادههای باز در 22 آبان 1405
- زبان منبع
- انگلیسی
- وضعیت
- بدون مهلت
- کارفرما
- ████████████
- منبع رسمی
- ████████████████
- شماره مرجع
- ██████
- نقلقول از منبع
- ██████████
اعتبار برای هر پروژه یک بار مصرف میشود؛ جزئیات قفلگشاییشده در حساب کاربری شما میمانند.
پروژههای بیشتر: نرمافزار دیگر
| شناسه | پروژه | بودجه | نرخ | فناوری | مهلت | وضعیت |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceمناقصه عمومی نرمافزار دیگر · اتریش | — | — | نرمافزار دیگر | 25 آبان 1405 | ظرف 7 روز بسته میشود |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsمناقصه عمومی نرمافزار دیگر · Lyon, فرانسه | € 100.0 میلیون≈ $ 110.8 میلیون | — | نرمافزار دیگر | 30 آذر 1405 | باز |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesمناقصه عمومی نرمافزار دیگر · Prague, چک | € 45.0 میلیون≈ $ 49.9 میلیون | — | نرمافزار دیگر | 17 آذر 1405 | باز |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerمناقصه عمومی نرمافزار دیگر · Madrid, اسپانیا | € 6.0 میلیون≈ $ 6.7 میلیون | — | نرمافزار دیگر | 22 آبان 1405 | ظرف 7 روز بسته میشود |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)مناقصه عمومی نرمافزار دیگر · Madrid, اسپانیا | € 4.5 میلیون≈ $ 5.0 میلیون | — | نرمافزار دیگر | 22 آبان 1405 | ظرف 7 روز بسته میشود |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsمناقصه عمومی نرمافزار دیگر · Segrate (Milano), ایتالیا | € 3.2 میلیون≈ $ 3.5 میلیون | — | نرمافزار دیگر | 30 آذر 1405 | باز |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingمناقصه عمومی نرمافزار دیگر · Arnhem, هلند | € 3.0 میلیون≈ $ 3.4 میلیون | — | نرمافزار دیگر | 27 آبان 1405 | ظرف 7 روز بسته میشود |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasمناقصه عمومی نرمافزار دیگر · Berlin, آلمان | € 3.0 میلیون≈ $ 3.3 میلیون | — | نرمافزار دیگر | — | برنامهریزیشده |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformمناقصه عمومی نرمافزار دیگر · Roma, ایتالیا | € 2.9 میلیون≈ $ 3.2 میلیون | — | نرمافزار دیگر | 29 آبان 1405 | ظرف 7 روز بسته میشود |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareمناقصه عمومی نرمافزار دیگر · Tampere, فنلاند | € 2.5 میلیون≈ $ 2.8 میلیون | — | نرمافزار دیگر | 20 آذر 1405 | باز |
پروژههای بیشتر با C++, Rust, Python
| شناسه | پروژه | بودجه | نرخ | فناوری | مهلت | وضعیت |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsمناقصه عمومی سیستمهای کسبوکار · Karlsruhe, آلمان | € 7.9 میلیون≈ $ 8.8 میلیون | — | Python | 26 آبان 1405 | ظرف 7 روز بسته میشود |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyنقش قراردادی داده و هوش مصنوعی · ایالات متحده | — | $ 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)نقش قراردادی داده و هوش مصنوعی · برزیل | — | € 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 | — | بدون مهلت |
سه گام تا پروژه بعدی شما.
بدون اشتراک. فقط بابت جزئیاتی که باز میکنید پرداخت میکنید.
بر اساس پول فیلتر کنید
حداقل بودجه یا نرخ ساعتی را تعیین کنید، پشته فناوری و منطقه را انتخاب کنید. کره زمین و فهرست همزمان بهروز میشوند.
جزئیات را باز کنید
اعتبار، کارفرما، پیوند آگهی یا پست رسمی، شماره مرجع آن و نقلقول کلیدی را آشکار میکند.
پیش از مهلت پیشنهاد بدهید
پیشنهاد خود را در پلتفرم اصلی ارسال کنید. وقتی پروژههای جدید مطابق باشند، اعلانها به شما خبر میدهند.
رقبای شما همین الان پیشنهاد میدهند. شما چطور؟
کره زمین را باز کنید، حداقل بودجهتان را تعیین کنید و پروژههایی را که میارزند بقاپید.