Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Інше ПЗ · Австрія
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.
Короткий виклад підготовлено DevHero за джерелом; юридичну силу має офіційне оголошення або публікація.
Контрактна роль: замовник залучає особу або команду на певний строк за вказаною ставкою. Місячні та річні суми перераховуються на погодинний еквівалент для порівняння.
Це ваш проєкт чи оголошення? На ваш запит ми виправимо або видалимо його. Напишіть нам
Відомості про проєкт
- Вид
- Контрактна роль
- Тип
- Інше ПЗ
- Ставка
- 6 000 EUR/міс. (≈ 41,55 USD/год)
- Згадані технології
- C++, Rust, Python
- Стек
- Інше ПЗ
- Галузь
- Технології
- Країна
- Австрія
- Опубліковано
- 22 вересня 2026 р.
- Кінцевий термін
- Термін не вказано
- Платформа-джерело
- Himalayas
- Перевірено
- Отримано з офіційного джерела відкритих даних: 13 лист. 2026 р.
- Мова джерела
- англійська
- Статус
- Без терміну
- Замовник
- ████████████
- Офіційне джерело
- ████████████████
- Номер
- ██████
- Цитата з джерела
- ██████████
Кредити списуються один раз за проєкт; розблоковані відомості залишаються у вашому обліковому записі.
Ще проєкти: Інше ПЗ
| ID | Проєкт | Бюджет | Ставка | Технології | Термін | Статус |
|---|---|---|---|---|---|---|
| DH-0500 | Creation of a mobile data terminal for an urban emergency rescue serviceПублічний тендер Інше ПЗ · Австрія | — | — | Інше ПЗ | 16 лист. 2026 р. | Закриття протягом 7 дн. |
| DH-1063 | Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsПублічний тендер Інше ПЗ · Lyon, Франція | 100,0 млн EUR≈ 110,8 млн USD | — | Інше ПЗ | 21 груд. 2026 р. | Відкрито |
| DH-0453 | Design, development and deployment of a multi-component security monitoring system for EU space programmesПублічний тендер Інше ПЗ · Prague, Чехія | 45,0 млн EUR≈ 49,9 млн USD | — | Інше ПЗ | 8 груд. 2026 р. | Відкрито |
| DH-0403 | Modernisation of an existing information system for a Spanish public buyerПублічний тендер Інше ПЗ · Madrid, Іспанія | 6,0 млн EUR≈ 6,7 млн USD | — | Інше ПЗ | 13 лист. 2026 р. | Закриття протягом 7 дн. |
| DH-0379 | Modernisation of an existing public-sector system (36-month contract)Публічний тендер Інше ПЗ · Madrid, Іспанія | 4,5 млн EUR≈ 5,0 млн USD | — | Інше ПЗ | 13 лист. 2026 р. | Закриття протягом 7 дн. |
| DH-1050 | Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsПублічний тендер Інше ПЗ · Segrate (Milano), Італія | 3,2 млн EUR≈ 3,5 млн USD | — | Інше ПЗ | 21 груд. 2026 р. | Відкрито |
| DH-0113 | Digital solution for centrally controlling physical practice environments used in technical trainingПублічний тендер Інше ПЗ · Arnhem, Нідерланди | 3,0 млн EUR≈ 3,4 млн USD | — | Інше ПЗ | 18 лист. 2026 р. | Закриття протягом 7 дн. |
| DH-0543 | Central parking control system for truck convoy parking at motorway rest areasПублічний тендер Інше ПЗ · Berlin, Німеччина | 3,0 млн EUR≈ 3,3 млн USD | — | Інше ПЗ | — | Заплановано |
| DH-1031 | Professional services and on-call management to re-engineer a technical monitoring platformПублічний тендер Інше ПЗ · Roma, Італія | 2,9 млн EUR≈ 3,2 млн USD | — | Інше ПЗ | 20 лист. 2026 р. | Закриття протягом 7 дн. |
| DH-1033 | Build of a space situational picture system with satellite catalogue and astrodynamics softwareПублічний тендер Інше ПЗ · Tampere, Фінляндія | 2,5 млн EUR≈ 2,8 млн USD | — | Інше ПЗ | 11 груд. 2026 р. | Відкрито |
Інші проєкти з C++, Rust, Python
| ID | Проєкт | Бюджет | Ставка | Технології | Термін | Статус |
|---|---|---|---|---|---|---|
| DH-0508 | Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsПублічний тендер Бізнес-системи · Karlsruhe, Німеччина | 7,9 млн EUR≈ 8,8 млн USD | — | Python | 17 лист. 2026 р. | Закриття протягом 7 дн. |
| DH-0103 | Senior data engineer (1099 contract) for a US healthcare data companyКонтрактна роль Дані та ШІ · Сполучені Штати | — | 80 USD–90 USD/год | Python, SQL, dbt | — | Без терміну |
| DH-0192 | Contract engineer for maintenance of a web browser's layout engine (C++)Контрактна роль Супровід і розвиток · Канада | — | 185 045 CAD–217 700 CAD/рік≈ 62,44 USD–73,45 USD/год | C++, Rust | — | Без терміну |
| DH-0206 | Contract AI engineers to build AI agents and business software for SME clientsКонтрактна роль Ресурси розробки · Велика Британія | — | 30 GBP–50 GBP/год≈ 39,77 USD–66,28 USD/год | TypeScript, JavaScript, Python | — | Без терміну |
| DH-0193 | Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)Контрактна роль Супровід і розвиток · Канада | — | 131 400 CAD–186 172 CAD/рік≈ 44,34 USD–62,82 USD/год | C++, Rust, WebGL | — | Без терміну |
| DH-0190 | Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology teamКонтрактна роль Платформи та SaaS · Місце не вказано | — | 6 000 USD–9 000 USD/міс.≈ 37,50 USD–56,25 USD/год | React, Next.js, Python | — | Без терміну |
| DH-0688 | Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Контрактна роль Дані та ШІ · Бразилія | — | 6 600 EUR/міс.≈ 45,71 USD/год | Python, FastAPI, Weaviate | — | Без терміну |
| DH-0832 | Full-stack developer (Python/Django/FastAPI and React) for client web applicationsКонтрактна роль Вебзастосунки · Польща | — | 22 000 PLN–28 000 PLN/міс.≈ 34,56 USD–43,98 USD/год | React, TypeScript, Python | — | Без терміну |
| DH-0292 | Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platformКонтрактна роль Платформи та SaaS · Віддалено | — | 2 500 USD–7 000 USD/міс.≈ 15,62 USD–43,75 USD/год | Node.js, Python, React | — | Без терміну |
| DH-0189 | Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Контрактна роль Ресурси розробки · Сполучені Штати | — | 90 000 USD/рік≈ 43,27 USD/год | React, Python, Ruby | — | Без терміну |
Три кроки до вашого наступного проєкту.
Без підписки. Ви платите лише за ті відомості, які відкриваєте.
Фільтруйте за грошима
Задайте мінімальний бюджет або погодинну ставку, оберіть стек і регіон. Глобус і список оновлюються одразу.
Розблокуйте відомості
Кредити відкривають замовника, посилання на офіційне оголошення або публікацію, його номер і ключову цитату.
Подайте пропозицію до кінцевого терміну
Надішліть пропозицію на вихідній платформі. Сповіщення повідомлять, коли з’являться відповідні проєкти.
Ваші конкуренти подають пропозиції просто зараз. А ви?
Відкрийте глобус, задайте мінімальний бюджет і забирайте проєкти, які того варті.