DEVHERO Account
Incarico a contratto DH-0133 · Nessuna scadenza

Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Altro software · Austria

Tariffa6000 €/mese≈ 41,55 USD/h
Scadenza—Nessuna scadenza indicata

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, link alla fonte e riferimento
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

IDProgettoBudgetTariffaTecnologiaScadenzaStato
DH-0500Creation of a mobile data terminal for an urban emergency rescue serviceGara d'appalto pubblica Altro software · Austria——Altro software16 nov 2026Scade entro 7 giorni
DH-1063Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsGara d'appalto pubblica Altro software · Lyon, Francia100,0 Mln €≈ 110,8 Mln USD—Altro software21 dic 2026Aperto
DH-0453Design, development and deployment of a multi-component security monitoring system for EU space programmesGara d'appalto pubblica Altro software · Prague, Cechia45,0 Mln €≈ 49,9 Mln USD—Altro software8 dic 2026Aperto
DH-0403Modernisation of an existing information system for a Spanish public buyerGara d'appalto pubblica Altro software · Madrid, Spagna6,0 Mln €≈ 6,7 Mln USD—Altro software13 nov 2026Scade entro 7 giorni
DH-0379Modernisation of an existing public-sector system (36-month contract)Gara d'appalto pubblica Altro software · Madrid, Spagna4,5 Mln €≈ 5,0 Mln USD—Altro software13 nov 2026Scade entro 7 giorni
DH-1050Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsGara d'appalto pubblica Altro software · Segrate (Milano), Italia3,2 Mln €≈ 3,5 Mln USD—Altro software21 dic 2026Aperto
DH-0113Digital solution for centrally controlling physical practice environments used in technical trainingGara d'appalto pubblica Altro software · Arnhem, Paesi Bassi3,0 Mln €≈ 3,4 Mln USD—Altro software18 nov 2026Scade entro 7 giorni
DH-0543Central parking control system for truck convoy parking at motorway rest areasGara d'appalto pubblica Altro software · Berlin, Germania3,0 Mln €≈ 3,3 Mln USD—Altro software—Programmato
DH-1031Professional services and on-call management to re-engineer a technical monitoring platformGara d'appalto pubblica Altro software · Roma, Italia2,9 Mln €≈ 3,2 Mln USD—Altro software20 nov 2026Scade entro 7 giorni
DH-1033Build of a space situational picture system with satellite catalogue and astrodynamics softwareGara d'appalto pubblica Altro software · Tampere, Finlandia2,5 Mln €≈ 2,8 Mln USD—Altro software11 dic 2026Aperto

Altro software →

Altri progetti con C++, Rust, Python

IDProgettoBudgetTariffaTecnologiaScadenzaStato
DH-0508Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsGara d'appalto pubblica Sistemi gestionali · Karlsruhe, Germania7,9 Mln €≈ 8,8 Mln USD—Python17 nov 2026Scade entro 7 giorni
DH-0103Senior data engineer (1099 contract) for a US healthcare data companyIncarico a contratto Dati e IA · Stati Uniti—80 USD–90 USD/hPython, SQL, dbt—Nessuna scadenza
DH-0192Contract 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/hC++, Rust—Nessuna scadenza
DH-0206Contract 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/hTypeScript, JavaScript, Python—Nessuna scadenza
DH-0193Contract 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/hC++, Rust, WebGL—Nessuna scadenza
DH-0190Senior 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/hReact, Next.js, Python—Nessuna scadenza
DH-0688Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Incarico a contratto Dati e IA · Brasile—6600 €/mese≈ 45,71 USD/hPython, FastAPI, Weaviate—Nessuna scadenza
DH-0832Full-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/hReact, TypeScript, Python—Nessuna scadenza
DH-0292Senior 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/hNode.js, Python, React—Nessuna scadenza
DH-0189Six-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/hReact, Python, Ruby—Nessuna scadenza

Tre passi verso il prossimo progetto.

Nessun abbonamento. Pagate solo i dettagli che aprite.

PASSO 1

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.

PASSO 2

Sbloccate i dettagli

I crediti rivelano il committente, il link all'avviso o all'annuncio ufficiale, il suo riferimento e la citazione chiave.

PASSO 3

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.

Diteci cosa sviluppate. Vi inviamo i progetti adatti.

Descrivete il vostro team e i progetti che cercate. Inviate la richiesta gratis su WhatsApp o via e-mail, oppure ordinate un pacchetto di lead selezionati con i crediti.

Pacchetto di lead selezionati da DevHero

Entro 2 giorni lavorativi: i progetti aperti più adatti al vostro profilo, con il motivo di ciascuno e le date chiave. Usa i crediti del vostro account.

Destinatario BRNZ: WhatsApp +49 171 1254074 · [email protected]