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