Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Altro software · Austria
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.
Riepilogo redatto da DevHero a partire dalla fonte; fa fede l'avviso o l'annuncio ufficiale.
Incarico a contratto: il committente ingaggia una persona o un team per un periodo alla tariffa indicata. Gli importi mensili o annuali vengono convertiti in un equivalente orario per il confronto.
È il vostro progetto o il vostro avviso? Lo correggiamo o lo rimuoviamo su richiesta. Scrivici
Dettagli del progetto
- Categoria
- Incarico a contratto
- Tipo
- Altro software
- Tariffa
- 6000 €/mese (≈ 41,55 USD/h)
- Tecnologie citate
- C++, Rust, Python
- Stack
- Altro software
- Settore
- Tecnologia
- Paese
- Austria
- Pubblicato
- 22 settembre 2026
- Scadenza
- Nessuna scadenza indicata
- Piattaforma di origine
- Himalayas
- Verificato
- Letto dalla fonte ufficiale di dati aperti il 13 nov 2026
- Lingua della fonte
- inglese
- Stato
- Nessuna scadenza
- Committente
- ████████████
- Fonte ufficiale
- ████████████████
- Riferimento
- ██████
- Citazione dalla fonte
- ██████████
I crediti vengono usati una sola volta per progetto; i dettagli sbloccati restano nel vostro account.
Altri progetti: Altro software
| ID | Progetto | Budget | Tariffa | Tecnologia | Scadenza | Stato |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceGara d'appalto pubblica Altro software · Austria | — | — | Altro software | 16 nov 2026 | Scade entro 7 giorni |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsGara d'appalto pubblica Altro software · Lyon, Francia | 100,0 Mln €≈ 110,8 Mln USD | — | Altro software | 21 dic 2026 | Aperto |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesGara d'appalto pubblica Altro software · Prague, Cechia | 45,0 Mln €≈ 49,9 Mln USD | — | Altro software | 8 dic 2026 | Aperto |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerGara d'appalto pubblica Altro software · Madrid, Spagna | 6,0 Mln €≈ 6,7 Mln USD | — | Altro software | 13 nov 2026 | Scade entro 7 giorni |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Gara d'appalto pubblica Altro software · Madrid, Spagna | 4,5 Mln €≈ 5,0 Mln USD | — | Altro software | 13 nov 2026 | Scade entro 7 giorni |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsGara d'appalto pubblica Altro software · Segrate (Milano), Italia | 3,2 Mln €≈ 3,5 Mln USD | — | Altro software | 21 dic 2026 | Aperto |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingGara d'appalto pubblica Altro software · Arnhem, Paesi Bassi | 3,0 Mln €≈ 3,4 Mln USD | — | Altro software | 18 nov 2026 | Scade entro 7 giorni |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasGara d'appalto pubblica Altro software · Berlin, Germania | 3,0 Mln €≈ 3,3 Mln USD | — | Altro software | — | Programmato |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformGara d'appalto pubblica Altro software · Roma, Italia | 2,9 Mln €≈ 3,2 Mln USD | — | Altro software | 20 nov 2026 | Scade entro 7 giorni |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareGara d'appalto pubblica Altro software · Tampere, Finlandia | 2,5 Mln €≈ 2,8 Mln USD | — | Altro software | 11 dic 2026 | Aperto |
Altri progetti con C++, Rust, Python
| ID | Progetto | Budget | Tariffa | Tecnologia | Scadenza | Stato |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsGara d'appalto pubblica Sistemi gestionali · Karlsruhe, Germania | 7,9 Mln €≈ 8,8 Mln USD | — | Python | 17 nov 2026 | Scade entro 7 giorni |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyIncarico a contratto Dati e IA · Stati Uniti | — | 80 USD–90 USD/h | Python, SQL, dbt | — | Nessuna scadenza |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Incarico a contratto Manutenzione ed evoluzione · Canada | — | 185.045 CA$–217.700 CA$/anno≈ 62,44 USD–73,45 USD/h | C++, Rust | — | Nessuna scadenza |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsIncarico a contratto Capacità di sviluppo · Regno Unito | — | 30 £–50 £/h≈ 39,77 USD–66,28 USD/h | TypeScript, JavaScript, Python | — | Nessuna scadenza |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Incarico a contratto Manutenzione ed evoluzione · Canada | — | 131.400 CA$–186.172 CA$/anno≈ 44,34 USD–62,82 USD/h | C++, Rust, WebGL | — | Nessuna scadenza |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamIncarico a contratto Piattaforme e SaaS · Luogo non indicato | — | 6000 USD–9000 USD/mese≈ 37,50 USD–56,25 USD/h | React, Next.js, Python | — | Nessuna scadenza |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Incarico a contratto Dati e IA · Brasile | — | 6600 €/mese≈ 45,71 USD/h | Python, FastAPI, Weaviate | — | Nessuna scadenza |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsIncarico a contratto Applicazioni web · Polonia | — | 22.000 PLN–28.000 PLN/mese≈ 34,56 USD–43,98 USD/h | React, TypeScript, Python | — | Nessuna scadenza |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformIncarico a contratto Piattaforme e SaaS · Da remoto | — | 2500 USD–7000 USD/mese≈ 15,62 USD–43,75 USD/h | Node.js, Python, React | — | Nessuna scadenza |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Incarico a contratto Capacità di sviluppo · Stati Uniti | — | 90.000 USD/anno≈ 43,27 USD/h | React, Python, Ruby | — | Nessuna scadenza |
Tre passi verso il prossimo progetto.
Nessun abbonamento. Pagate solo i dettagli che aprite.
Filtrate per denaro
Impostate un budget o una tariffa oraria minimi, scegliete lo stack e la regione. Il globo e l'elenco si aggiornano mentre lavorate.
Sbloccate i dettagli
I crediti rivelano il committente, il link all'avviso o all'annuncio ufficiale, il suo riferimento e la citazione chiave.
Fate l'offerta prima della scadenza
Inviate la vostra offerta sulla piattaforma originale. Gli avvisi vi segnalano quando arrivano nuovi progetti adatti.
I vostri concorrenti stanno facendo offerte adesso. E voi?
Aprite il globo, impostate il budget minimo e prendetevi i progetti che valgono.