Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Overige software · Oostenrijk
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.
Samenvatting door DevHero op basis van de bron; de officiële aankondiging of publicatie is bindend.
Contractopdracht: de opdrachtgever schakelt een persoon of team in voor een bepaalde periode tegen het vermelde tarief. Maand- of jaarbedragen worden voor de vergelijking omgerekend naar een uurtarief.
Is dit uw project of uw aankondiging? Op verzoek corrigeren of verwijderen wij het. Schrijf ons
Projectdetails
- Soort
- Contractopdracht
- Type
- Overige software
- Tarief
- € 6.000/maand (≈ US$ 41,55/uur)
- Genoemde technologieën
- C++, Rust, Python
- Stack
- Overige software
- Sector
- Technologie
- Land
- Oostenrijk
- Gepubliceerd
- 22 september 2026
- Deadline
- Geen deadline vermeld
- Bronplatform
- Himalayas
- Gecontroleerd
- Op 13 nov 2026 gelezen uit de officiële open-databron
- Taal van de bron
- Engels
- Status
- Geen deadline
- Opdrachtgever
- ████████████
- Officiële bron
- ████████████████
- Referentie
- ██████
- Citaat uit de bron
- ██████████
Credits worden één keer per project gebruikt; ontgrendelde details blijven in uw account.
Meer projecten: Overige software
| ID | Project | Budget | Tarief | Tech | Deadline | Status |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceOpenbare aanbesteding Overige software · Oostenrijk | — | — | Overige software | 16 nov 2026 | Sluit binnen 7 dagen |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsOpenbare aanbesteding Overige software · Lyon, Frankrijk | € 100,0 mln.≈ US$ 110,8 mln. | — | Overige software | 21 dec 2026 | Open |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesOpenbare aanbesteding Overige software · Prague, Tsjechië | € 45,0 mln.≈ US$ 49,9 mln. | — | Overige software | 8 dec 2026 | Open |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerOpenbare aanbesteding Overige software · Madrid, Spanje | € 6,0 mln.≈ US$ 6,7 mln. | — | Overige software | 13 nov 2026 | Sluit binnen 7 dagen |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Openbare aanbesteding Overige software · Madrid, Spanje | € 4,5 mln.≈ US$ 5,0 mln. | — | Overige software | 13 nov 2026 | Sluit binnen 7 dagen |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsOpenbare aanbesteding Overige software · Segrate (Milano), Italië | € 3,2 mln.≈ US$ 3,5 mln. | — | Overige software | 21 dec 2026 | Open |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingOpenbare aanbesteding Overige software · Arnhem, Nederland | € 3,0 mln.≈ US$ 3,4 mln. | — | Overige software | 18 nov 2026 | Sluit binnen 7 dagen |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasOpenbare aanbesteding Overige software · Berlin, Duitsland | € 3,0 mln.≈ US$ 3,3 mln. | — | Overige software | — | Gepland |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformOpenbare aanbesteding Overige software · Roma, Italië | € 2,9 mln.≈ US$ 3,2 mln. | — | Overige software | 20 nov 2026 | Sluit binnen 7 dagen |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareOpenbare aanbesteding Overige software · Tampere, Finland | € 2,5 mln.≈ US$ 2,8 mln. | — | Overige software | 11 dec 2026 | Open |
Meer projecten met C++, Rust, Python
| ID | Project | Budget | Tarief | Tech | Deadline | Status |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsOpenbare aanbesteding Bedrijfssystemen · Karlsruhe, Duitsland | € 7,9 mln.≈ US$ 8,8 mln. | — | Python | 17 nov 2026 | Sluit binnen 7 dagen |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyContractopdracht Data en AI · Verenigde Staten | — | US$ 80–US$ 90/uur | Python, SQL, dbt | — | Geen deadline |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Contractopdracht Onderhoud en doorontwikkeling · Canada | — | C$ 185.045–C$ 217.700/jaar≈ US$ 62,44–US$ 73,45/uur | C++, Rust | — | Geen deadline |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsContractopdracht Ontwikkelcapaciteit · Verenigd Koninkrijk | — | £ 30–£ 50/uur≈ US$ 39,77–US$ 66,28/uur | TypeScript, JavaScript, Python | — | Geen deadline |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Contractopdracht Onderhoud en doorontwikkeling · Canada | — | C$ 131.400–C$ 186.172/jaar≈ US$ 44,34–US$ 62,82/uur | C++, Rust, WebGL | — | Geen deadline |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamContractopdracht Platforms en SaaS · Plaats niet vermeld | — | US$ 6.000–US$ 9.000/maand≈ US$ 37,50–US$ 56,25/uur | React, Next.js, Python | — | Geen deadline |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Contractopdracht Data en AI · Brazilië | — | € 6.600/maand≈ US$ 45,71/uur | Python, FastAPI, Weaviate | — | Geen deadline |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsContractopdracht Webapplicaties · Polen | — | PLN 22.000–PLN 28.000/maand≈ US$ 34,56–US$ 43,98/uur | React, TypeScript, Python | — | Geen deadline |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformContractopdracht Platforms en SaaS · Remote | — | US$ 2.500–US$ 7.000/maand≈ US$ 15,62–US$ 43,75/uur | Node.js, Python, React | — | Geen deadline |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Contractopdracht Ontwikkelcapaciteit · Verenigde Staten | — | US$ 90.000/jaar≈ US$ 43,27/uur | React, Python, Ruby | — | Geen deadline |
Drie stappen naar uw volgende project.
Geen abonnement. U betaalt alleen voor de details die u opent.
Filter op geld
Stel een minimumbudget of -uurtarief in en kies uw stack en regio. De globe en de lijst worden direct bijgewerkt.
Ontgrendel de details
Met credits ziet u de opdrachtgever, de link naar de officiële aankondiging of publicatie, het referentienummer en het belangrijkste citaat.
Bied vóór de deadline
Stuur uw offerte via het oorspronkelijke platform. Meldingen laten u weten wanneer nieuwe projecten passen.
Uw concurrenten bieden nu. U ook?
Open de globe, stel uw minimumbudget in en pak de projecten die de moeite waard zijn.