Kontrakt DH-0133 · Bez terminu
Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Pozostałe oprogramowanie · Austria
Stawka6000 €/mies.≈ 41,55 USD/godz.
Termin—Brak podanego terminu
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.
Streszczenie przygotowane przez DevHero na podstawie źródła; wiążące jest oficjalne ogłoszenie lub wpis.
Kontrakt: zleceniodawca angażuje osobę lub zespół na określony czas za podaną stawkę. Stawki miesięczne i roczne przeliczamy na godzinowe, aby można je było porównać.
To Państwa projekt lub ogłoszenie? Na prośbę poprawimy je lub usuniemy. Napisz do nas
Szczegóły projektu
- Rodzaj
- Kontrakt
- Typ
- Pozostałe oprogramowanie
- Stawka
- 6000 €/mies. (≈ 41,55 USD/godz.)
- Wymienione technologie
- C++, Rust, Python
- Stack
- Pozostałe oprogramowanie
- Branża
- Technologia
- Kraj
- Austria
- Opublikowano
- 22 września 2026
- Termin
- Brak podanego terminu
- Platforma źródłowa
- Himalayas
- Sprawdzono
- Odczytano z oficjalnego źródła otwartych danych dnia 13 lis 2026
- Język źródła
- angielski
- Status
- Bez terminu
Zamawiający, link do źródła i numer referencyjny
- Zamawiający
- ████████████
- Oficjalne źródło
- ████████████████
- Numer referencyjny
- ██████
- Cytat ze źródła
- ██████████
Kredyty są pobierane raz na projekt; odblokowane szczegóły pozostają na Państwa koncie.
Więcej projektów: Pozostałe oprogramowanie
| ID | Projekt | Budżet | Stawka | Technologie | Termin | Status |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue servicePrzetarg publiczny Pozostałe oprogramowanie · Austria | — | — | Pozostałe oprogramowanie | 16 lis 2026 | Kończy się w ciągu 7 dni |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsPrzetarg publiczny Pozostałe oprogramowanie · Lyon, Francja | 100,0 mln €≈ 110,8 mln USD | — | Pozostałe oprogramowanie | 21 gru 2026 | Otwarty |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesPrzetarg publiczny Pozostałe oprogramowanie · Prague, Czechy | 45,0 mln €≈ 49,9 mln USD | — | Pozostałe oprogramowanie | 8 gru 2026 | Otwarty |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerPrzetarg publiczny Pozostałe oprogramowanie · Madrid, Hiszpania | 6,0 mln €≈ 6,7 mln USD | — | Pozostałe oprogramowanie | 13 lis 2026 | Kończy się w ciągu 7 dni |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Przetarg publiczny Pozostałe oprogramowanie · Madrid, Hiszpania | 4,5 mln €≈ 5,0 mln USD | — | Pozostałe oprogramowanie | 13 lis 2026 | Kończy się w ciągu 7 dni |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsPrzetarg publiczny Pozostałe oprogramowanie · Segrate (Milano), Włochy | 3,2 mln €≈ 3,5 mln USD | — | Pozostałe oprogramowanie | 21 gru 2026 | Otwarty |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingPrzetarg publiczny Pozostałe oprogramowanie · Arnhem, Holandia | 3,0 mln €≈ 3,4 mln USD | — | Pozostałe oprogramowanie | 18 lis 2026 | Kończy się w ciągu 7 dni |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasPrzetarg publiczny Pozostałe oprogramowanie · Berlin, Niemcy | 3,0 mln €≈ 3,3 mln USD | — | Pozostałe oprogramowanie | — | Planowany |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformPrzetarg publiczny Pozostałe oprogramowanie · Roma, Włochy | 2,9 mln €≈ 3,2 mln USD | — | Pozostałe oprogramowanie | 20 lis 2026 | Kończy się w ciągu 7 dni |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwarePrzetarg publiczny Pozostałe oprogramowanie · Tampere, Finlandia | 2,5 mln €≈ 2,8 mln USD | — | Pozostałe oprogramowanie | 11 gru 2026 | Otwarty |
Więcej projektów z C++, Rust, Python
| ID | Projekt | Budżet | Stawka | Technologie | Termin | Status |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsPrzetarg publiczny Systemy biznesowe · Karlsruhe, Niemcy | 7,9 mln €≈ 8,8 mln USD | — | Python | 17 lis 2026 | Kończy się w ciągu 7 dni |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyKontrakt Dane i AI · Stany Zjednoczone | — | 80 USD–90 USD/godz. | Python, SQL, dbt | — | Bez terminu |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Kontrakt Utrzymanie i rozwój · Kanada | — | 185 045 CAD–217 700 CAD/rok≈ 62,44 USD–73,45 USD/godz. | C++, Rust | — | Bez terminu |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsKontrakt Moce programistyczne · Wielka Brytania | — | 30 GBP–50 GBP/godz.≈ 39,77 USD–66,28 USD/godz. | TypeScript, JavaScript, Python | — | Bez terminu |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Kontrakt Utrzymanie i rozwój · Kanada | — | 131 400 CAD–186 172 CAD/rok≈ 44,34 USD–62,82 USD/godz. | C++, Rust, WebGL | — | Bez terminu |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamKontrakt Platformy i SaaS · Miejsce nie zostało podane | — | 6000 USD–9000 USD/mies.≈ 37,50 USD–56,25 USD/godz. | React, Next.js, Python | — | Bez terminu |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Kontrakt Dane i AI · Brazylia | — | 6600 €/mies.≈ 45,71 USD/godz. | Python, FastAPI, Weaviate | — | Bez terminu |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsKontrakt Aplikacje webowe · Polska | — | 22 000 zł–28 000 zł/mies.≈ 34,56 USD–43,98 USD/godz. | React, TypeScript, Python | — | Bez terminu |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformKontrakt Platformy i SaaS · Zdalnie | — | 2500 USD–7000 USD/mies.≈ 15,62 USD–43,75 USD/godz. | Node.js, Python, React | — | Bez terminu |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Kontrakt Moce programistyczne · Stany Zjednoczone | — | 90 000 USD/rok≈ 43,27 USD/godz. | React, Python, Ruby | — | Bez terminu |
Trzy kroki do następnego projektu.
Bez subskrypcji. Płacą Państwo tylko za szczegóły, które otwierają.
KROK 1
Filtruj według pieniędzy
Ustaw minimalny budżet lub stawkę godzinową, wybierz stack i region. Globus i lista aktualizują się na bieżąco.
KROK 2
Odblokuj szczegóły
Kredyty ujawniają zamawiającego, link do oficjalnego ogłoszenia lub wpisu, jego numer referencyjny i kluczowy cytat.
KROK 3
Złóż ofertę przed terminem
Wyślij ofertę na oryginalnej platformie. Powiadomienia informują, gdy pojawią się pasujące projekty.
Twoja konkurencja składa oferty właśnie teraz. A ty?
Otwórz globus, ustaw minimalny budżet i bierz projekty, które warto brać.