Função por contrato DH-0133 · Sem prazo
Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Outro software · Áustria
Taxa€ 6.000/mês≈ US$ 41,55/h
Prazo—Sem prazo 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.
Resumo elaborado pelo DevHero a partir da fonte; o anúncio ou a publicação oficial é vinculativo.
Função por contrato: o cliente contrata uma pessoa ou equipa por um período, à taxa indicada. Os valores mensais ou anuais são convertidos num equivalente horário para comparação.
Este projeto ou anúncio é seu? Corrigimo-lo ou removemo-lo a pedido. Escreva-nos
Detalhes do projeto
- Modalidade
- Função por contrato
- Tipo
- Outro software
- Taxa
- € 6.000/mês (≈ US$ 41,55/h)
- Tecnologias mencionadas
- C++, Rust, Python
- Stack
- Outro software
- Setor
- Tecnologia
- País
- Áustria
- Publicado
- 22 de setembro de 2026
- Prazo
- Sem prazo indicado
- Plataforma de origem
- Himalayas
- Verificado
- Lido da fonte oficial de dados abertos em 13 de nov. de 2026
- Idioma da fonte
- inglês
- Estado
- Sem prazo
Cliente, link da fonte e referência
- Cliente
- ████████████
- Fonte oficial
- ████████████████
- Referência
- ██████
- Citação da fonte
- ██████████
Os créditos são usados uma vez por projeto; os detalhes desbloqueados ficam na sua conta.
Mais projetos: Outro software
| ID | Projeto | Orçamento | Taxa | Tecnologia | Prazo | Estado |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceConcurso público Outro software · Áustria | — | — | Outro software | 16 de nov. de 2026 | Termina em 7 dias |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsConcurso público Outro software · Lyon, França | € 100,0 mi≈ US$ 110,8 mi | — | Outro software | 21 de dez. de 2026 | Aberto |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesConcurso público Outro software · Prague, Tchéquia | € 45,0 mi≈ US$ 49,9 mi | — | Outro software | 8 de dez. de 2026 | Aberto |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerConcurso público Outro software · Madrid, Espanha | € 6,0 mi≈ US$ 6,7 mi | — | Outro software | 13 de nov. de 2026 | Termina em 7 dias |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Concurso público Outro software · Madrid, Espanha | € 4,5 mi≈ US$ 5,0 mi | — | Outro software | 13 de nov. de 2026 | Termina em 7 dias |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsConcurso público Outro software · Segrate (Milano), Itália | € 3,2 mi≈ US$ 3,5 mi | — | Outro software | 21 de dez. de 2026 | Aberto |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingConcurso público Outro software · Arnhem, Países Baixos | € 3,0 mi≈ US$ 3,4 mi | — | Outro software | 18 de nov. de 2026 | Termina em 7 dias |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasConcurso público Outro software · Berlin, Alemanha | € 3,0 mi≈ US$ 3,3 mi | — | Outro software | — | Previsto |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformConcurso público Outro software · Roma, Itália | € 2,9 mi≈ US$ 3,2 mi | — | Outro software | 20 de nov. de 2026 | Termina em 7 dias |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareConcurso público Outro software · Tampere, Finlândia | € 2,5 mi≈ US$ 2,8 mi | — | Outro software | 11 de dez. de 2026 | Aberto |
Mais projetos com C++, Rust, Python
| ID | Projeto | Orçamento | Taxa | Tecnologia | Prazo | Estado |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsConcurso público Sistemas empresariais · Karlsruhe, Alemanha | € 7,9 mi≈ US$ 8,8 mi | — | Python | 17 de nov. de 2026 | Termina em 7 dias |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyFunção por contrato Dados e IA · Estados Unidos | — | US$ 80–US$ 90/h | Python, SQL, dbt | — | Sem prazo |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Função por contrato Manutenção e evolução · Canadá | — | CA$ 185.045–CA$ 217.700/ano≈ US$ 62,44–US$ 73,45/h | C++, Rust | — | Sem prazo |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsFunção por contrato Capacidade de desenvolvimento · Reino Unido | — | £ 30–£ 50/h≈ US$ 39,77–US$ 66,28/h | TypeScript, JavaScript, Python | — | Sem prazo |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Função por contrato Manutenção e evolução · Canadá | — | CA$ 131.400–CA$ 186.172/ano≈ US$ 44,34–US$ 62,82/h | C++, Rust, WebGL | — | Sem prazo |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamFunção por contrato Plataformas e SaaS · Local não indicado | — | US$ 6.000–US$ 9.000/mês≈ US$ 37,50–US$ 56,25/h | React, Next.js, Python | — | Sem prazo |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Função por contrato Dados e IA · Brasil | — | € 6.600/mês≈ US$ 45,71/h | Python, FastAPI, Weaviate | — | Sem prazo |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsFunção por contrato Aplicações web · Polônia | — | PLN 22.000–PLN 28.000/mês≈ US$ 34,56–US$ 43,98/h | React, TypeScript, Python | — | Sem prazo |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformFunção por contrato Plataformas e SaaS · Remoto | — | US$ 2.500–US$ 7.000/mês≈ US$ 15,62–US$ 43,75/h | Node.js, Python, React | — | Sem prazo |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Função por contrato Capacidade de desenvolvimento · Estados Unidos | — | US$ 90.000/ano≈ US$ 43,27/h | React, Python, Ruby | — | Sem prazo |
Três passos até ao seu próximo projeto.
Sem subscrição. Paga apenas pelos detalhes que abre.
PASSO 1
Filtre pelo dinheiro
Defina um orçamento ou uma taxa horária mínimos, escolha a sua stack e a região. O globo e a lista atualizam-se à medida que filtra.
PASSO 2
Desbloqueie os detalhes
Os créditos revelam o cliente, o link para o anúncio ou publicação oficial, a respetiva referência e a citação principal.
PASSO 3
Concorra antes do prazo
Envie a sua proposta na plataforma original. Os alertas avisam-no quando surgem novos projetos compatíveis.
Os seus concorrentes estão a apresentar propostas agora mesmo. E você?
Abra o globo, defina o orçamento mínimo e fique com os projetos que valem a pena.