Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Sonstige Software · Österreich
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.
Zusammenfassung von DevHero auf Grundlage der Quelle; maßgeblich ist die offizielle Bekanntmachung bzw. der Originalbeitrag.
Contract-Einsatz: Der Auftraggeber beauftragt eine Person oder ein Team für einen Zeitraum zum angegebenen Satz. Monats- oder Jahreswerte werden zum Vergleich in einen Stundenwert umgerechnet.
Ist das Ihr Projekt oder Ihre Bekanntmachung? Auf Anfrage korrigieren oder entfernen wir sie. Schreiben Sie uns
Projektdetails
- Art
- Contract-Einsatz
- Typ
- Sonstige Software
- Satz
- 6.000 €/Monat (≈ 41,55 $/Std.)
- Genannte Technologien
- C++, Rust, Python
- Stack
- Sonstige Software
- Branche
- Technologie
- Land
- Österreich
- Veröffentlicht
- 22. September 2026
- Frist
- Keine Frist angegeben
- Quellplattform
- Himalayas
- Geprüft
- Am 13. Nov. 2026 aus der offiziellen Open-Data-Quelle ausgelesen
- Quellsprache
- Englisch
- Status
- Keine Frist
- Auftraggeber
- ████████████
- Offizielle Quelle
- ████████████████
- Referenz
- ██████
- Zitat aus der Quelle
- ██████████
Credits werden einmal pro Projekt verbraucht; freigeschaltete Details bleiben in Ihrem Konto.
Weitere Projekte: Sonstige Software
| ID | Projekt | Budget | Satz | Tech | Frist | Status |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceÖffentliche Ausschreibung Sonstige Software · Österreich | — | — | Sonstige Software | 16. Nov. 2026 | Endet binnen 7 Tagen |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsÖffentliche Ausschreibung Sonstige Software · Lyon, Frankreich | 100,0 Mio. €≈ 110,8 Mio. $ | — | Sonstige Software | 21. Dez. 2026 | Offen |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesÖffentliche Ausschreibung Sonstige Software · Prague, Tschechien | 45,0 Mio. €≈ 49,9 Mio. $ | — | Sonstige Software | 8. Dez. 2026 | Offen |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerÖffentliche Ausschreibung Sonstige Software · Madrid, Spanien | 6,0 Mio. €≈ 6,7 Mio. $ | — | Sonstige Software | 13. Nov. 2026 | Endet binnen 7 Tagen |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Öffentliche Ausschreibung Sonstige Software · Madrid, Spanien | 4,5 Mio. €≈ 5,0 Mio. $ | — | Sonstige Software | 13. Nov. 2026 | Endet binnen 7 Tagen |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsÖffentliche Ausschreibung Sonstige Software · Segrate (Milano), Italien | 3,2 Mio. €≈ 3,5 Mio. $ | — | Sonstige Software | 21. Dez. 2026 | Offen |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingÖffentliche Ausschreibung Sonstige Software · Arnhem, Niederlande | 3,0 Mio. €≈ 3,4 Mio. $ | — | Sonstige Software | 18. Nov. 2026 | Endet binnen 7 Tagen |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasÖffentliche Ausschreibung Sonstige Software · Berlin, Deutschland | 3,0 Mio. €≈ 3,3 Mio. $ | — | Sonstige Software | — | Geplant |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformÖffentliche Ausschreibung Sonstige Software · Roma, Italien | 2,9 Mio. €≈ 3,2 Mio. $ | — | Sonstige Software | 20. Nov. 2026 | Endet binnen 7 Tagen |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareÖffentliche Ausschreibung Sonstige Software · Tampere, Finnland | 2,5 Mio. €≈ 2,8 Mio. $ | — | Sonstige Software | 11. Dez. 2026 | Offen |
Weitere Projekte mit C++, Rust, Python
| ID | Projekt | Budget | Satz | Tech | Frist | Status |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsÖffentliche Ausschreibung Geschäftssysteme · Karlsruhe, Deutschland | 7,9 Mio. €≈ 8,8 Mio. $ | — | Python | 17. Nov. 2026 | Endet binnen 7 Tagen |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyContract-Einsatz Daten & KI · Vereinigte Staaten | — | 80 $–90 $/Std. | Python, SQL, dbt | — | Keine Frist |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Contract-Einsatz Wartung & Weiterentwicklung · Kanada | — | 185.045 CA$–217.700 CA$/Jahr≈ 62,44 $–73,45 $/Std. | C++, Rust | — | Keine Frist |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsContract-Einsatz Entwicklungskapazität · Vereinigtes Königreich | — | 30 £–50 £/Std.≈ 39,77 $–66,28 $/Std. | TypeScript, JavaScript, Python | — | Keine Frist |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Contract-Einsatz Wartung & Weiterentwicklung · Kanada | — | 131.400 CA$–186.172 CA$/Jahr≈ 44,34 $–62,82 $/Std. | C++, Rust, WebGL | — | Keine Frist |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamContract-Einsatz Plattformen & SaaS · Ort nicht angegeben | — | 6.000 $–9.000 $/Monat≈ 37,50 $–56,25 $/Std. | React, Next.js, Python | — | Keine Frist |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Contract-Einsatz Daten & KI · Brasilien | — | 6.600 €/Monat≈ 45,71 $/Std. | Python, FastAPI, Weaviate | — | Keine Frist |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsContract-Einsatz Webanwendungen · Polen | — | 22.000 PLN–28.000 PLN/Monat≈ 34,56 $–43,98 $/Std. | React, TypeScript, Python | — | Keine Frist |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformContract-Einsatz Plattformen & SaaS · Remote | — | 2.500 $–7.000 $/Monat≈ 15,62 $–43,75 $/Std. | Node.js, Python, React | — | Keine Frist |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Contract-Einsatz Entwicklungskapazität · Vereinigte Staaten | — | 90.000 $/Jahr≈ 43,27 $/Std. | React, Python, Ruby | — | Keine Frist |
Drei Schritte zu Ihrem nächsten Projekt.
Kein Abonnement. Sie zahlen nur für die Details, die Sie öffnen.
Nach Geld filtern
Legen Sie ein Mindestbudget oder einen Mindeststundensatz fest und wählen Sie Stack und Region. Globus und Liste aktualisieren sich dabei laufend.
Details freischalten
Mit Credits sehen Sie den Auftraggeber, den Link zur offiziellen Bekanntmachung bzw. zum Originalbeitrag, die Referenz und das wichtigste Zitat.
Vor Fristende bieten
Senden Sie Ihr Angebot auf der Originalplattform. Benachrichtigungen sagen Ihnen, wann neue Projekte passen.
Ihre Konkurrenz bietet gerade. Sie auch?
Öffnen Sie den Globus, setzen Sie Ihr Mindestbudget und holen Sie sich die Projekte, die sich lohnen.