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