1 – 10 Funcionários
HardwareA YosysHQ desenvolve o Yosys e outros projetos de automação de design eletrônico (EDA) de código aberto para engenharia de hardware. A empresa combina ferramentas de código aberto com produtos e serviços comerciais que ajudam equipes de eletrônica a aprimorar os fluxos de trabalho de design de hardware digital, sendo relevante para profissionais que atuam no desenvolvimento de hardware e em EDA.
Desenvolvedor de síntese ou verificação formal — YosysHQ, remoto na Áustria
Junte-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.
Descrição
- Apoiar o trabalho da YosysHQ em síntese ou verificação formal
- Desenvolver e manter ferramentas de EDA em C++, Rust e Python
- Implementar verificação de modelos de hardware, métodos formais, síntese RTL/ASIC ou fluxos de trabalho relacionados
- Criar software de engenharia e científico, implementar algoritmos da literatura de pesquisa ou contribuir para projetos de compiladores
- Aprender e contribuir para uma base de código de código aberto existente e substancial
- Assumir a responsabilidade pelo trabalho designado e resolver desafios técnicos de forma independente
- Promover o Yosys e o ecossistema mais amplo de EDA de código aberto
- Interagir com as ferramentas de código aberto da YosysHQ e, potencialmente, contribuir para elas
Requisitos
- Proficiência em C++ ou Rust para verificação formal, com disposição para aprender a outra linguagem e Python
- Familiaridade com a implementação de verificação de modelos de hardware é desejável
- Como alternativa, experiência em verificação ou métodos formais, incluindo resolução de SAT/SMT, demonstração automatizada ou interativa de teoremas, teoria das linguagens de programação ou teoria dos autômatos
- Algum contato com design de hardware RTL para verificação formal
- Proficiência em C++ para atividades de síntese
- Alguma experiência em design de hardware RTL, idealmente envolvendo ASICs
- A experiência relevante pode incluir software de engenharia ou científico, implementação de algoritmos de pesquisa ou desenvolvimento de compiladores
- Experiência em se familiarizar com um projeto grande já existente
- Capacidade de assumir as responsabilidades designadas e trabalhar de forma independente com supervisão limitada
- Não residir em um país sujeito a sanções ou restrições de exportação nem estar proibido de trabalhar para o governo dos Estados Unidos
- A candidatura exige um CV e uma breve carta de apresentação
Benefícios
- Trabalho remoto com modalidades flexíveis
- Horário de trabalho flexível
- Jornada parcial de um a cinco dias por semana
- Estrutura de remuneração uniforme, com a mesma taxa para todos os membros da equipe
- Trabalhar do local de sua escolha
- As reuniões da equipe geralmente acontecem entre 15h e 18h, no horário de Viena, com flexibilidade fora desse intervalo