1 – 10 Служители
ХардуерYosysHQ разработва Yosys и свързани проекти с отворен код за автоматизация на проектирането на електроника (EDA) в областта на хардуерното инженерство. Компанията съчетава инструменти с отворен код с комерсиални продукти и услуги, които помагат на екипите по електроника да подобрят работните процеси при проектирането на цифров хардуер, което я прави релевантна за професионалисти, работещи в разработката на хардуер и EDA.
Разработчик на синтез или формална верификация — YosysHQ, дистанционна работа от Австрия
Присъединете се към YosysHQ като разработчик на open-source EDA инструменти за синтез или формална верификация. Ролята включва самостоятелна разработка на C++, Rust и Python по проекти за проектиране и верификация на хардуер.
Описание
- Подпомагане на работата на YosysHQ в областта на синтеза или формалната верификация
- Разработване и поддръжка на EDA инструменти на C++, Rust и Python
- Реализиране на формална проверка на хардуерни модели, формални методи, RTL/ASIC синтез или свързани работни процеси
- Създаване на инженерeн и научен софтуер, реализиране на алгоритми от научната литература или принос към проекти за компилатори
- Запознаване със значителна съществуваща open-source кодова база и принос към нея
- Поемане на отговорност за възложената работа и самостоятелно решаване на технически предизвикателства
- Развитие на Yosys и по-широката open-source EDA екосистема
- Работа с open-source инструментите на YosysHQ и възможен принос към тяхното развитие
Изисквания
- Владеене на C++ или Rust за формална верификация и готовност за изучаване на другия език и Python
- Предпочитат се познания за реализиране на формална проверка на хардуерни модели
- Алтернативно, опит във верификация или формални методи, включително решаване на SAT/SMT задачи, автоматизирано или интерактивно доказване на теореми, теория на езиците за програмиране или теория на автоматите
- Известен опит с RTL проектиране на хардуер за формална верификация
- Владеене на C++ за работа по синтез
- Известен опит с RTL проектиране на хардуер, в идеалния случай свързан с ASIC
- Релевантният опит може да включва инженерeн или научен софтуер, реализиране на изследователски алгоритми или разработване на компилатори
- Опит с включване в голям съществуващ проект
- Способност да поемате отговорност за възложените задачи и да работите самостоятелно с ограничен надзор
- Не трябва да пребивавате в държава, която е обект на санкции или ограничения за износ, нито да ви е забранено да работите за правителството на САЩ
- Кандидатурата трябва да включва автобиография и кратко мотивационно писмо
Придобивки
- Дистанционна работа с гъвкави условия
- Гъвкаво работно време
- Работа на непълен работен ден от един до пет дни седмично
- Еднаква структура на заплащане с една и съща ставка за всички членове на екипа
- Работа от избрано от вас място
- Екипните срещи обикновено се провеждат между 15:00 и 18:00 ч. по виенско време, с гъвкавост извън този интервал