Puesto por contrato DH-0133 · Sin plazo
Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Otro software · Austria
Tarifa6000 €/mes≈ 41,55 US$/h
Plazo—Sin plazo indicado
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.
Resumen elaborado por DevHero a partir de la fuente; prevalece el anuncio o la publicación oficial.
Puesto por contrato: el cliente contrata a una persona o a un equipo durante un período a la tarifa indicada. Las cifras mensuales o anuales se convierten a su equivalente por hora para poder compararlas.
¿Es este su proyecto o su anuncio? Lo corregimos o lo eliminamos si nos lo pide. Escríbanos
Detalles del proyecto
- Categoría
- Puesto por contrato
- Tipo
- Otro software
- Tarifa
- 6000 €/mes (≈ 41,55 US$/h)
- Tecnologías mencionadas
- C++, Rust, Python
- Stack
- Otro software
- Sector
- Tecnología
- País
- Austria
- Publicado
- 22 de septiembre de 2026
- Plazo
- Sin plazo indicado
- Plataforma de origen
- Himalayas
- Verificado
- Leído de la fuente oficial de datos abiertos el 13 nov 2026
- Idioma de origen
- inglés
- Estado
- Sin plazo
Cliente, enlace a la fuente y referencia
- Cliente
- ████████████
- Fuente oficial
- ████████████████
- Referencia
- ██████
- Cita de la fuente
- ██████████
Los créditos se usan una vez por proyecto; los detalles desbloqueados permanecen en su cuenta.
Más proyectos: Otro software
| ID | Proyecto | Presupuesto | Tarifa | Tecnología | Plazo | Estado |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceLicitación pública Otro software · Austria | — | — | Otro software | 16 nov 2026 | Cierra en 7 días o menos |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsLicitación pública Otro software · Lyon, Francia | 100,0 M €≈ 110,8 M US$ | — | Otro software | 21 dic 2026 | Abierto |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesLicitación pública Otro software · Prague, Chequia | 45,0 M €≈ 49,9 M US$ | — | Otro software | 8 dic 2026 | Abierto |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerLicitación pública Otro software · Madrid, España | 6,0 M €≈ 6,7 M US$ | — | Otro software | 13 nov 2026 | Cierra en 7 días o menos |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Licitación pública Otro software · Madrid, España | 4,5 M €≈ 5,0 M US$ | — | Otro software | 13 nov 2026 | Cierra en 7 días o menos |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsLicitación pública Otro software · Segrate (Milano), Italia | 3,2 M €≈ 3,5 M US$ | — | Otro software | 21 dic 2026 | Abierto |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingLicitación pública Otro software · Arnhem, Países Bajos | 3,0 M €≈ 3,4 M US$ | — | Otro software | 18 nov 2026 | Cierra en 7 días o menos |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasLicitación pública Otro software · Berlin, Alemania | 3,0 M €≈ 3,3 M US$ | — | Otro software | — | Planificado |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformLicitación pública Otro software · Roma, Italia | 2,9 M €≈ 3,2 M US$ | — | Otro software | 20 nov 2026 | Cierra en 7 días o menos |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareLicitación pública Otro software · Tampere, Finlandia | 2,5 M €≈ 2,8 M US$ | — | Otro software | 11 dic 2026 | Abierto |
Más proyectos con C++, Rust, Python
| ID | Proyecto | Presupuesto | Tarifa | Tecnología | Plazo | Estado |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsLicitación pública Sistemas empresariales · Karlsruhe, Alemania | 7,9 M €≈ 8,8 M US$ | — | Python | 17 nov 2026 | Cierra en 7 días o menos |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyPuesto por contrato Datos e IA · Estados Unidos | — | 80 US$–90 US$/h | Python, SQL, dbt | — | Sin plazo |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Puesto por contrato Mantenimiento y evolución · Canadá | — | 185.045 CAD–217.700 CAD/año≈ 62,44 US$–73,45 US$/h | C++, Rust | — | Sin plazo |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsPuesto por contrato Capacidad de desarrollo · Reino Unido | — | 30 GBP–50 GBP/h≈ 39,77 US$–66,28 US$/h | TypeScript, JavaScript, Python | — | Sin plazo |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Puesto por contrato Mantenimiento y evolución · Canadá | — | 131.400 CAD–186.172 CAD/año≈ 44,34 US$–62,82 US$/h | C++, Rust, WebGL | — | Sin plazo |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamPuesto por contrato Plataformas y SaaS · Ubicación no indicada | — | 6000 US$–9000 US$/mes≈ 37,50 US$–56,25 US$/h | React, Next.js, Python | — | Sin plazo |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Puesto por contrato Datos e IA · Brasil | — | 6600 €/mes≈ 45,71 US$/h | Python, FastAPI, Weaviate | — | Sin plazo |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsPuesto por contrato Aplicaciones web · Polonia | — | 22.000 PLN–28.000 PLN/mes≈ 34,56 US$–43,98 US$/h | React, TypeScript, Python | — | Sin plazo |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformPuesto por contrato Plataformas y SaaS · Remoto | — | 2500 US$–7000 US$/mes≈ 15,62 US$–43,75 US$/h | Node.js, Python, React | — | Sin plazo |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Puesto por contrato Capacidad de desarrollo · Estados Unidos | — | 90.000 US$/año≈ 43,27 US$/h | React, Python, Ruby | — | Sin plazo |
Tres pasos hacia su próximo proyecto.
Sin suscripción. Solo paga por los detalles que abre.
PASO 1
Filtre por dinero
Fije un presupuesto o una tarifa por hora mínimos, y elija su stack y su región. El globo y la lista se actualizan sobre la marcha.
PASO 2
Desbloquee los detalles
Los créditos revelan el cliente, el enlace al anuncio o publicación oficial, su referencia y la cita clave.
PASO 3
Oferte antes del plazo
Envíe su oferta en la plataforma original. Las alertas le avisan cuando hay proyectos nuevos que encajan.
Su competencia está ofertando ahora mismo. ¿Y usted?
Abra el globo, fije su presupuesto mínimo y quédese con los proyectos que valen la pena.