Vị trí hợp đồng DH-0133 · Không hạn chót
Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Phần mềm khác · Áo
Mức giá6.000 €/tháng≈ 41,55 US$/giờ
Hạn chót—Không nêu hạn chót
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.
Bản tóm tắt do DevHero viết dựa trên nguồn; thông báo hoặc bài đăng chính thức mới có giá trị ràng buộc.
Vị trí hợp đồng: khách hàng thuê một cá nhân hoặc đội nhóm trong một khoảng thời gian với mức giá đã nêu. Số liệu theo tháng hoặc năm được quy đổi sang mức tương đương theo giờ để so sánh.
Đây là dự án hoặc thông báo của quý vị? Chúng tôi sẽ chỉnh sửa hoặc gỡ bỏ khi có yêu cầu. Nhắn cho chúng tôi
Chi tiết dự án
- Hình thức
- Vị trí hợp đồng
- Loại dự án
- Phần mềm khác
- Mức giá
- 6.000 €/tháng (≈ 41,55 US$/giờ)
- Công nghệ được nêu
- C++, Rust, Python
- Stack công nghệ
- Phần mềm khác
- Lĩnh vực
- Công nghệ
- Quốc gia
- Áo
- Ngày đăng
- 22 tháng 9, 2026
- Hạn chót
- Không nêu hạn chót
- Nền tảng nguồn
- Himalayas
- Ngày kiểm tra
- Đọc từ nguồn dữ liệu mở chính thức vào 13 thg 11, 2026
- Ngôn ngữ nguồn
- Tiếng Anh
- Trạng thái
- Không hạn chót
Khách hàng, liên kết nguồn và mã tham chiếu
- Khách hàng
- ████████████
- Nguồn chính thức
- ████████████████
- Mã tham chiếu
- ██████
- Đoạn trích từ nguồn
- ██████████
Điểm chỉ bị trừ một lần cho mỗi dự án; chi tiết đã mở khóa được lưu trong tài khoản của quý vị.
Thêm dự án Phần mềm khác
| ID | Dự án | Ngân sách | Mức giá | Công nghệ | Hạn chót | Trạng thái |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceĐấu thầu công Phần mềm khác · Áo | — | — | Phần mềm khác | 16 thg 11, 2026 | Đóng trong 7 ngày |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsĐấu thầu công Phần mềm khác · Lyon, Pháp | 100,0 Tr €≈ 110,8 Tr US$ | — | Phần mềm khác | 21 thg 12, 2026 | Đang mở |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesĐấu thầu công Phần mềm khác · Prague, Séc | 45,0 Tr €≈ 49,9 Tr US$ | — | Phần mềm khác | 8 thg 12, 2026 | Đang mở |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerĐấu thầu công Phần mềm khác · Madrid, Tây Ban Nha | 6,0 Tr €≈ 6,7 Tr US$ | — | Phần mềm khác | 13 thg 11, 2026 | Đóng trong 7 ngày |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Đấu thầu công Phần mềm khác · Madrid, Tây Ban Nha | 4,5 Tr €≈ 5,0 Tr US$ | — | Phần mềm khác | 13 thg 11, 2026 | Đóng trong 7 ngày |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsĐấu thầu công Phần mềm khác · Segrate (Milano), Italy | 3,2 Tr €≈ 3,5 Tr US$ | — | Phần mềm khác | 21 thg 12, 2026 | Đang mở |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingĐấu thầu công Phần mềm khác · Arnhem, Hà Lan | 3,0 Tr €≈ 3,4 Tr US$ | — | Phần mềm khác | 18 thg 11, 2026 | Đóng trong 7 ngày |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasĐấu thầu công Phần mềm khác · Berlin, Đức | 3,0 Tr €≈ 3,3 Tr US$ | — | Phần mềm khác | — | Dự kiến |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformĐấu thầu công Phần mềm khác · Roma, Italy | 2,9 Tr €≈ 3,2 Tr US$ | — | Phần mềm khác | 20 thg 11, 2026 | Đóng trong 7 ngày |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareĐấu thầu công Phần mềm khác · Tampere, Phần Lan | 2,5 Tr €≈ 2,8 Tr US$ | — | Phần mềm khác | 11 thg 12, 2026 | Đang mở |
Thêm dự án dùng C++, Rust, Python
| ID | Dự án | Ngân sách | Mức giá | Công nghệ | Hạn chót | Trạng thái |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsĐấu thầu công Hệ thống nghiệp vụ · Karlsruhe, Đức | 7,9 Tr €≈ 8,8 Tr US$ | — | Python | 17 thg 11, 2026 | Đóng trong 7 ngày |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyVị trí hợp đồng Dữ liệu & AI · Hoa Kỳ | — | 80 US$–90 US$/giờ | Python, SQL, dbt | — | Không hạn chót |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Vị trí hợp đồng Bảo trì & phát triển tiếp · Canada | — | 185.045 CA$–217.700 CA$/năm≈ 62,44 US$–73,45 US$/giờ | C++, Rust | — | Không hạn chót |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsVị trí hợp đồng Nhân lực phát triển · Vương quốc Anh | — | 30 £–50 £/giờ≈ 39,77 US$–66,28 US$/giờ | TypeScript, JavaScript, Python | — | Không hạn chót |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Vị trí hợp đồng Bảo trì & phát triển tiếp · Canada | — | 131.400 CA$–186.172 CA$/năm≈ 44,34 US$–62,82 US$/giờ | C++, Rust, WebGL | — | Không hạn chót |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamVị trí hợp đồng Nền tảng & SaaS · Không nêu địa điểm | — | 6.000 US$–9.000 US$/tháng≈ 37,50 US$–56,25 US$/giờ | React, Next.js, Python | — | Không hạn chót |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Vị trí hợp đồng Dữ liệu & AI · Brazil | — | 6.600 €/tháng≈ 45,71 US$/giờ | Python, FastAPI, Weaviate | — | Không hạn chót |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsVị trí hợp đồng Ứng dụng web · Ba Lan | — | 22.000 PLN–28.000 PLN/tháng≈ 34,56 US$–43,98 US$/giờ | React, TypeScript, Python | — | Không hạn chót |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformVị trí hợp đồng Nền tảng & SaaS · Từ xa | — | 2.500 US$–7.000 US$/tháng≈ 15,62 US$–43,75 US$/giờ | Node.js, Python, React | — | Không hạn chót |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Vị trí hợp đồng Nhân lực phát triển · Hoa Kỳ | — | 90.000 US$/năm≈ 43,27 US$/giờ | React, Python, Ruby | — | Không hạn chót |
Ba bước đến dự án tiếp theo của quý vị.
Không cần đăng ký gói định kỳ. Quý vị chỉ trả tiền cho những chi tiết mình mở.
BƯỚC 1
Lọc theo số tiền
Đặt ngân sách hoặc mức giá theo giờ tối thiểu, chọn stack và khu vực. Quả địa cầu và danh sách cập nhật theo từng thao tác.
BƯỚC 2
Mở khóa chi tiết
Điểm giúp quý vị xem khách hàng, liên kết đến thông báo hoặc bài đăng chính thức, mã tham chiếu và đoạn trích quan trọng.
BƯỚC 3
Gửi hồ sơ trước hạn chót
Gửi đề xuất của quý vị trên nền tảng gốc. Thông báo sẽ báo cho quý vị khi có dự án mới phù hợp.
Đối thủ của bạn đang dự thầu ngay lúc này. Còn bạn?
Mở quả địa cầu, đặt ngân sách tối thiểu và chốt những dự án đáng chốt.