1 – 10 Pracownicy
Sprzęt komputerowyYosysHQ rozwija Yosys oraz powiązane projekty open source z zakresu automatyzacji projektowania elektroniki (EDA) dla inżynierów sprzętu. Firma łączy narzędzia open source z komercyjnymi produktami i usługami, które pomagają zespołom zajmującym się elektroniką usprawniać procesy projektowania cyfrowego sprzętu, dlatego jest istotna dla specjalistów pracujących przy rozwoju sprzętu i EDA.
Deweloper syntezy lub weryfikacji formalnej — YosysHQ, praca zdalna w Austrii
Dołącz do YosysHQ jako deweloper otwartoźródłowych narzędzi EDA do syntezy lub weryfikacji formalnej. Rola obejmuje samodzielne tworzenie oprogramowania w C++, Rust i Pythonie w projektach związanych z projektowaniem i weryfikacją sprzętu.
Opis
- Wspierać prace YosysHQ nad syntezą lub weryfikacją formalną
- Tworzyć i utrzymywać narzędzia EDA w C++, Ruście i Pythonie
- Implementować sprawdzanie modeli sprzętowych, metody formalne, syntezę RTL/ASIC lub powiązane procesy
- Tworzyć oprogramowanie inżynieryjne i naukowe, implementować algorytmy z literatury badawczej lub uczestniczyć w projektach kompilatorów
- Poznawać obszerną istniejącą bazę kodu open source i wnosić do niej wkład
- Samodzielnie odpowiadać za powierzone zadania i rozwiązywać problemy techniczne
- Rozwijać Yosys oraz szerszy ekosystem EDA open source
- Współpracować z narzędziami open source YosysHQ i w miarę możliwości wnosić w nie wkład
Wymagania
- Biegłość w C++ lub Ruście na potrzeby weryfikacji formalnej oraz gotowość do nauki pozostałych języków i Pythona
- Mile widziana znajomość implementacji sprawdzania modeli sprzętowych
- Alternatywnie doświadczenie w weryfikacji lub metodach formalnych, w tym w rozwiązywaniu SAT/SMT, automatycznym lub interaktywnym dowodzeniu twierdzeń, teorii języków programowania lub teorii automatów
- Pewne doświadczenie w projektowaniu sprzętu RTL na potrzeby weryfikacji formalnej
- Biegłość w C++ na potrzeby pracy nad syntezą
- Pewne doświadczenie w projektowaniu sprzętu RTL, najlepiej z udziałem układów ASIC
- Istotne może być doświadczenie w tworzeniu oprogramowania inżynieryjnego lub naukowego, implementacji algorytmów badawczych albo tworzeniu kompilatorów
- Doświadczenie w wdrażaniu się w duży istniejący projekt
- Umiejętność samodzielnego realizowania powierzonych obowiązków przy ograniczonym nadzorze
- Nie można mieszkać w kraju objętym sankcjami lub ograniczeniami eksportowymi ani mieć zakazu pracy dla rządu USA
- Zgłoszenie wymaga CV i krótkiego listu motywacyjnego
Benefity
- Praca zdalna na elastycznych zasadach
- Elastyczne godziny pracy
- Możliwość pracy w niepełnym wymiarze od jednego do pięciu dni w tygodniu
- Jednolita stawka wynagrodzenia dla wszystkich członków zespołu
- Praca z wybranej przez siebie lokalizacji
- Spotkania zespołu zazwyczaj odbywają się między 15:00 a 18:00 czasu wiedeńskiego, z elastycznością poza tym przedziałem