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 за віденським часом, а поза цим проміжком можливий гнучкий графік