Contract role DH-0133 · No deadline
Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Other software · Austria
Rate€6,000/month≈ $41.55/h
Deadline—No deadline stated
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.
Summary written by DevHero from the source; the official notice or post is binding.
Contract role: the client engages a person or team for a period at the stated rate. Monthly or yearly figures are converted to an hourly equivalent for comparison.
Is this your project or notice? We correct or remove it on request. Write to us
Project details
- Kind
- Contract role
- Type
- Other software
- Rate
- €6,000/month (≈ $41.55/h)
- Technologies named
- C++, Rust, Python
- Stack
- Other software
- Sector
- Technology
- Country
- Austria
- Published
- September 22, 2026
- Deadline
- No deadline stated
- Source platform
- Himalayas
- Checked
- Read from the official open-data source on Nov 13, 2026
- Source language
- English
- Status
- No deadline
Client, source link and reference
- Client
- ████████████
- Official source
- ████████████████
- Reference
- ██████
- Quote from the source
- ██████████
Credits are used once per project; unlocked details stay in your account.
More Other software projects
| ID | Project | Budget | Rate | Tech | Deadline | Status |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue servicePublic tender Other software · Austria | — | — | Other software | Nov 16, 2026 | Closes within 7 days |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsPublic tender Other software · Lyon, France | €100.0M≈ $110.8M | — | Other software | Dec 21, 2026 | Open |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesPublic tender Other software · Prague, Czechia | €45.0M≈ $49.9M | — | Other software | Dec 8, 2026 | Open |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerPublic tender Other software · Madrid, Spain | €6.0M≈ $6.7M | — | Other software | Nov 13, 2026 | Closes within 7 days |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Public tender Other software · Madrid, Spain | €4.5M≈ $5.0M | — | Other software | Nov 13, 2026 | Closes within 7 days |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsPublic tender Other software · Segrate (Milano), Italy | €3.2M≈ $3.5M | — | Other software | Dec 21, 2026 | Open |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingPublic tender Other software · Arnhem, Netherlands | €3.0M≈ $3.4M | — | Other software | Nov 18, 2026 | Closes within 7 days |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasPublic tender Other software · Berlin, Germany | €3.0M≈ $3.3M | — | Other software | — | Planned |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformPublic tender Other software · Roma, Italy | €2.9M≈ $3.2M | — | Other software | Nov 20, 2026 | Closes within 7 days |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwarePublic tender Other software · Tampere, Finland | €2.5M≈ $2.8M | — | Other software | Dec 11, 2026 | Open |
More projects with C++, Rust, Python
| ID | Project | Budget | Rate | Tech | Deadline | Status |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsPublic tender Business systems · Karlsruhe, Germany | €7.9M≈ $8.8M | — | Python | Nov 17, 2026 | Closes within 7 days |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyContract role Data & AI · United States | — | $80–$90/h | Python, SQL, dbt | — | No deadline |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Contract role Maintenance & further development · Canada | — | CA$185,045–CA$217,700/year≈ $62.44–$73.45/h | C++, Rust | — | No deadline |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsContract role Development capacity · United Kingdom | — | £30–£50/h≈ $39.77–$66.28/h | TypeScript, JavaScript, Python | — | No deadline |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Contract role Maintenance & further development · Canada | — | CA$131,400–CA$186,172/year≈ $44.34–$62.82/h | C++, Rust, WebGL | — | No deadline |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamContract role Platforms & SaaS · Location not stated | — | $6,000–$9,000/month≈ $37.50–$56.25/h | React, Next.js, Python | — | No deadline |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Contract role Data & AI · Brazil | — | €6,600/month≈ $45.71/h | Python, FastAPI, Weaviate | — | No deadline |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsContract role Web applications · Poland | — | PLN 22,000–PLN 28,000/month≈ $34.56–$43.98/h | React, TypeScript, Python | — | No deadline |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformContract role Platforms & SaaS · Remote | — | $2,500–$7,000/month≈ $15.62–$43.75/h | Node.js, Python, React | — | No deadline |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Contract role Development capacity · United States | — | $90,000/year≈ $43.27/h | React, Python, Ruby | — | No deadline |
Three steps to your next project.
No subscription. You only pay for the details you open.
STEP 1
Filter by money
Set a minimum budget or hourly rate, pick your stack and region. The globe and the list update as you go.
STEP 2
Unlock the details
Credits reveal the client, the link to the official notice or post, its reference and the key quote.
STEP 3
Bid before the deadline
Send your offer on the original platform. Alerts tell you when new projects match.
Your competitors are bidding right now. Are you?
Open the globe, set your minimum budget and take the projects worth taking.