DEVHERO Аккаунт
Контрактная роль DH-0133 · Без срока

Developer for open-source synthesis or formal verification tools (C++, Rust, Python)Прочее ПО · Австрия

Ставка6 000 €/мес.≈ 41,55 $/ч
Крайний срок—Срок не указан

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-0500Creation of a mobile data terminal for an urban emergency rescue serviceПубличный тендер Прочее ПО · Австрия——Прочее ПО16 нояб. 2026 г.Закрытие в течение 7 дн.
DH-1063Integration, deployment, operation and evolution of IoT and IoMT projects for member organisationsПубличный тендер Прочее ПО · Lyon, Франция100,0 млн €≈ 110,8 млн $—Прочее ПО21 дек. 2026 г.Открыт
DH-0453Design, development and deployment of a multi-component security monitoring system for EU space programmesПубличный тендер Прочее ПО · Prague, Чехия45,0 млн €≈ 49,9 млн $—Прочее ПО8 дек. 2026 г.Открыт
DH-0403Modernisation of an existing information system for a Spanish public buyerПубличный тендер Прочее ПО · Madrid, Испания6,0 млн €≈ 6,7 млн $—Прочее ПО13 нояб. 2026 г.Закрытие в течение 7 дн.
DH-0379Modernisation of an existing public-sector system (36-month contract)Публичный тендер Прочее ПО · Madrid, Испания4,5 млн €≈ 5,0 млн $—Прочее ПО13 нояб. 2026 г.Закрытие в течение 7 дн.
DH-1050Framework for design, build, commissioning and maintenance of an electrical SCADA system for airportsПубличный тендер Прочее ПО · Segrate (Milano), Италия3,2 млн €≈ 3,5 млн $—Прочее ПО21 дек. 2026 г.Открыт
DH-0113Digital solution for centrally controlling physical practice environments used in technical trainingПубличный тендер Прочее ПО · Arnhem, Нидерланды3,0 млн €≈ 3,4 млн $—Прочее ПО18 нояб. 2026 г.Закрытие в течение 7 дн.
DH-0543Central parking control system for truck convoy parking at motorway rest areasПубличный тендер Прочее ПО · Berlin, Германия3,0 млн €≈ 3,3 млн $—Прочее ПО—Запланирован
DH-1031Professional services and on-call management to re-engineer a technical monitoring platformПубличный тендер Прочее ПО · Roma, Италия2,9 млн €≈ 3,2 млн $—Прочее ПО20 нояб. 2026 г.Закрытие в течение 7 дн.
DH-1033Build of a space situational picture system with satellite catalogue and astrodynamics softwareПубличный тендер Прочее ПО · Tampere, Финляндия2,5 млн €≈ 2,8 млн $—Прочее ПО11 дек. 2026 г.Открыт

Прочее ПО →

Другие проекты с C++, Rust, Python

IDПроектБюджетСтавкаТехнологииСрокСтатус
DH-0508Framework for modernising, rebuilding, maintaining and extending environmental specialist applicationsПубличный тендер Бизнес-системы · Karlsruhe, Германия7,9 млн €≈ 8,8 млн $—Python17 нояб. 2026 г.Закрытие в течение 7 дн.
DH-0103Senior data engineer (1099 contract) for a US healthcare data companyКонтрактная роль Данные и ИИ · Соединенные Штаты—80 $–90 $/чPython, SQL, dbt—Без срока
DH-0192Contract engineer for maintenance of a web browser's layout engine (C++)Контрактная роль Сопровождение и развитие · Канада—185 045 CA$–217 700 CA$/год≈ 62,44 $–73,45 $/чC++, Rust—Без срока
DH-0206Contract AI engineers to build AI agents and business software for SME clientsКонтрактная роль Ресурсы разработки · Великобритания—30 £–50 £/ч≈ 39,77 $–66,28 $/чTypeScript, JavaScript, Python—Без срока
DH-0193Contract 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-0190Senior 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-0688Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)Контрактная роль Данные и ИИ · Бразилия—6 600 €/мес.≈ 45,71 $/чPython, FastAPI, Weaviate—Без срока
DH-0832Full-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-0292Senior 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-0189Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)Контрактная роль Ресурсы разработки · Соединенные Штаты—90 000 $/год≈ 43,27 $/чReact, Python, Ruby—Без срока

Три шага к вашему следующему проекту.

Без подписки. Вы платите только за те сведения, которые открываете.

ШАГ 1

Фильтруйте по деньгам

Задайте минимальный бюджет или почасовую ставку, выберите стек и регион. Глобус и список обновляются сразу.

ШАГ 2

Разблокируйте сведения

Кредиты открывают заказчика, ссылку на официальное извещение или объявление, его номер и ключевую цитату.

ШАГ 3

Подайте предложение до срока

Отправьте предложение на исходной платформе. Уведомления сообщат, когда появятся подходящие проекты.

Ваши конкуренты подают заявки прямо сейчас. А вы?

Откройте глобус, задайте минимальный бюджет и забирайте проекты, которые стоят того.

Расскажите, что вы разрабатываете. Мы пришлём подходящие проекты.

Опишите вашу команду и желаемые проекты. Отправьте это бесплатно в WhatsApp или по e-mail — или закажите подобранный пакет лидов за кредиты.

Подобранный пакет лидов от DevHero

В течение 2 рабочих дней: открытые проекты, которые лучше всего подходят вашему профилю, с объяснением, чем подходит каждый, и ключевыми датами. Списывает кредиты с вашего аккаунта.

Получатель — BRNZ: WhatsApp +49 171 1254074 · [email protected]