Mission sous contrat DH-0133 · Sans date limite
Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Autres logiciels · Autriche
Taux6 000 €/mois≈ 41,55 $US/h
Date limite—Aucune date limite indiquée
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.
Résumé rédigé par DevHero à partir de la source ; seule la publication officielle (avis ou annonce) fait foi.
Mission sous contrat : le client engage une personne ou une équipe pour une période, au taux indiqué. Les montants mensuels ou annuels sont convertis en équivalent horaire pour permettre la comparaison.
Ce projet ou cet avis est le vôtre ? Nous le corrigeons ou le retirons sur demande. Écrivez-nous
Détails du projet
- Catégorie
- Mission sous contrat
- Type
- Autres logiciels
- Taux
- 6 000 €/mois (≈ 41,55 $US/h)
- Technologies citées
- C++, Rust, Python
- Stack
- Autres logiciels
- Secteur
- Technologie
- Pays
- Autriche
- Publié
- 22 septembre 2026
- Date limite
- Aucune date limite indiquée
- Plateforme source
- Himalayas
- Vérifié
- Lu depuis la source officielle de données ouvertes le 13 nov. 2026
- Langue de la source
- anglais
- Statut
- Sans date limite
Client, lien source et référence
- Client
- ████████████
- Source officielle
- ████████████████
- Référence
- ██████
- Citation de la source
- ██████████
Les crédits sont utilisés une seule fois par projet ; les détails débloqués restent dans votre compte.
Autres projets : Autres logiciels
| ID | Projet | Budget | Taux | Techno | Date limite | Statut |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceAppel d'offres public Autres logiciels · Autriche | — | — | Autres logiciels | 16 nov. 2026 | Clôture sous 7 jours |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsAppel d'offres public Autres logiciels · Lyon, France | 100,0 M €≈ 110,8 M $US | — | Autres logiciels | 21 déc. 2026 | Ouvert |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesAppel d'offres public Autres logiciels · Prague, Tchéquie | 45,0 M €≈ 49,9 M $US | — | Autres logiciels | 8 déc. 2026 | Ouvert |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerAppel d'offres public Autres logiciels · Madrid, Espagne | 6,0 M €≈ 6,7 M $US | — | Autres logiciels | 13 nov. 2026 | Clôture sous 7 jours |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Appel d'offres public Autres logiciels · Madrid, Espagne | 4,5 M €≈ 5,0 M $US | — | Autres logiciels | 13 nov. 2026 | Clôture sous 7 jours |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsAppel d'offres public Autres logiciels · Segrate (Milano), Italie | 3,2 M €≈ 3,5 M $US | — | Autres logiciels | 21 déc. 2026 | Ouvert |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingAppel d'offres public Autres logiciels · Arnhem, Pays-Bas | 3,0 M €≈ 3,4 M $US | — | Autres logiciels | 18 nov. 2026 | Clôture sous 7 jours |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasAppel d'offres public Autres logiciels · Berlin, Allemagne | 3,0 M €≈ 3,3 M $US | — | Autres logiciels | — | Prévu |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformAppel d'offres public Autres logiciels · Roma, Italie | 2,9 M €≈ 3,2 M $US | — | Autres logiciels | 20 nov. 2026 | Clôture sous 7 jours |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareAppel d'offres public Autres logiciels · Tampere, Finlande | 2,5 M €≈ 2,8 M $US | — | Autres logiciels | 11 déc. 2026 | Ouvert |
Autres projets avec C++, Rust, Python
| ID | Projet | Budget | Taux | Techno | Date limite | Statut |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsAppel d'offres public Systèmes métier · Karlsruhe, Allemagne | 7,9 M €≈ 8,8 M $US | — | Python | 17 nov. 2026 | Clôture sous 7 jours |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyMission sous contrat Données et IA · États-Unis | — | 80 $US–90 $US/h | Python, SQL, dbt | — | Sans date limite |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Mission sous contrat Maintenance et évolution · Canada | — | 185 045 $CA–217 700 $CA/an≈ 62,44 $US–73,45 $US/h | C++, Rust | — | Sans date limite |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsMission sous contrat Capacité de développement · Royaume-Uni | — | 30 £GB–50 £GB/h≈ 39,77 $US–66,28 $US/h | TypeScript, JavaScript, Python | — | Sans date limite |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Mission sous contrat Maintenance et évolution · Canada | — | 131 400 $CA–186 172 $CA/an≈ 44,34 $US–62,82 $US/h | C++, Rust, WebGL | — | Sans date limite |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamMission sous contrat Plateformes et SaaS · Lieu non indiqué | — | 6 000 $US–9 000 $US/mois≈ 37,50 $US–56,25 $US/h | React, Next.js, Python | — | Sans date limite |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Mission sous contrat Données et IA · Brésil | — | 6 600 €/mois≈ 45,71 $US/h | Python, FastAPI, Weaviate | — | Sans date limite |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsMission sous contrat Applications web · Pologne | — | 22 000 PLN–28 000 PLN/mois≈ 34,56 $US–43,98 $US/h | React, TypeScript, Python | — | Sans date limite |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformMission sous contrat Plateformes et SaaS · À distance | — | 2 500 $US–7 000 $US/mois≈ 15,62 $US–43,75 $US/h | Node.js, Python, React | — | Sans date limite |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Mission sous contrat Capacité de développement · États-Unis | — | 90 000 $US/an≈ 43,27 $US/h | React, Python, Ruby | — | Sans date limite |
Trois étapes vers votre prochain projet.
Sans abonnement. Vous ne payez que les détails que vous ouvrez.
ÉTAPE 1
Filtrez par budget
Fixez un budget ou un taux horaire minimum, choisissez votre stack et votre région. Le globe et la liste se mettent à jour au fur et à mesure.
ÉTAPE 2
Débloquez les détails
Les crédits révèlent le client, le lien vers la publication officielle (avis ou annonce), sa référence et la citation clé.
ÉTAPE 3
Répondez avant la date limite
Envoyez votre offre sur la plateforme d'origine. Les alertes vous signalent quand de nouveaux projets correspondent.
Vos concurrents soumissionnent en ce moment. Et vous ?
Ouvrez le globe, fixez votre budget minimum et prenez les projets qui valent le coup.