
Desenvolvedor de síntese ou verificação formal — YosysHQ, remoto na Áustria
YosysHQ1 – 10 Funcionários
HardwareJunte-se à YosysHQ como desenvolvedor de EDA de código aberto, trabalhando em ferramentas de síntese ou verificação formal. A função envolve desenvolvimento independente em C++, Rust e Python em projetos de design e verificação de hardware.
Abrir