1 – 10 Dipendenti
HardwareYosysHQ sviluppa Yosys e altri progetti open source di automazione della progettazione elettronica (EDA) per l'ingegneria hardware. L'azienda combina strumenti open source con prodotti e servizi commerciali che aiutano i team di elettronica a migliorare i flussi di lavoro per la progettazione di hardware digitale, risultando rilevante per i professionisti dello sviluppo hardware e dell'EDA.
Sviluppatore di sintesi o verifica formale — YosysHQ, da remoto in Austria
Unisciti a YosysHQ come sviluppatore di EDA open source e lavora su strumenti di sintesi o verifica formale. Il ruolo prevede sviluppo indipendente in C++, Rust e Python nell’ambito di progetti di progettazione e verifica hardware.
Descrizione
- Supportare il lavoro di YosysHQ sulla sintesi o sulla verifica formale
- Sviluppare e mantenere strumenti EDA in C++, Rust e Python
- Implementare il model checking dell’hardware, metodi formali, sintesi RTL/ASIC o flussi di lavoro correlati
- Creare software di ingegneria e scientifico, implementare algoritmi tratti dalla letteratura di ricerca o contribuire a progetti di compilatori
- Imparare a utilizzare e contribuire a una base di codice open source esistente e consistente
- Gestire il lavoro assegnato e risolvere le difficoltà tecniche in autonomia
- Far progredire Yosys e l’ecosistema EDA open source nel suo complesso
- Collaborare agli strumenti open source di YosysHQ e contribuire potenzialmente al loro sviluppo
Requisiti
- Padronanza di C++ o Rust per la verifica formale, con disponibilità a imparare l’altro linguaggio e Python
- È preferibile avere familiarità con l’implementazione del model checking dell’hardware
- In alternativa, esperienza nella verifica o nei metodi formali, inclusi la risoluzione SAT/SMT, la dimostrazione automatica o interattiva di teoremi, la teoria dei linguaggi di programmazione o la teoria degli automi
- Una certa esperienza nella progettazione hardware RTL per la verifica formale
- Padronanza di C++ per le attività di sintesi
- Una certa esperienza nella progettazione hardware RTL, idealmente con ASIC
- L’esperienza pertinente può includere software di ingegneria o scientifico, implementazione di algoritmi di ricerca o sviluppo di compilatori
- Esperienza nell’inserirsi gradualmente in un progetto esistente di grandi dimensioni
- Capacità di assumersi le responsabilità assegnate e lavorare in autonomia con supervisione limitata
- Non risiedere in un Paese soggetto a sanzioni o restrizioni all’esportazione né avere divieti di lavorare per il governo degli Stati Uniti
- La candidatura richiede un CV e una breve lettera di presentazione
Benefit
- Lavoro da remoto con modalità flessibili
- Orari di lavoro flessibili
- Possibilità di lavorare part-time da uno a cinque giorni alla settimana
- Struttura retributiva uniforme, con la stessa tariffa per tutti i membri del team
- Lavorare dal luogo che preferisci
- Le riunioni del team si svolgono generalmente tra le 15:00 e le 18:00, ora di Vienna, con flessibilità al di fuori di questa fascia oraria