Desenvolvedor(a) de Síntese ou Verificação Formal na YosysHQ

Vaga não está no LinkedIn

🔥 27 minutos atrás

🌏 Qualquer lugar do mundo

💵 €6.000 / mês

⏳ Contrato/Temporário

🟡 Pleno

🟠 Sênior

🖥 Engenheiro de Software

👻 Score fantasma 6%

O que significa: quão provável esta vaga está aberta sem contratação ativa.Como ler: 60% ou mais significa que achamos que é uma vaga fantasma. Pontuações mais baixas preocupam menos.Como pontuamos: tempo em aberto, republicações, vagas abertas vs tamanho do time, rapidez para fechar vagas, e se o salário está divulgado.Observação: é uma estimativa de dados públicos, não um julgamento da empresa. Vagas reais podem ter pontuação alta, então use como uma dica, não como um fato.

Candidatar-se

Encontrar Vagas Remotas Similares

Configurar Alerta de Email para Novas Vagas

📊 Verifique sua pontuação de currículo para esta vaga

Melhore suas chances de conseguir uma entrevista verificando sua pontuação de currículo antes de se candidatar.

Enviar Currículo

YosysHQ

SiteLinkedInTodas as Vagas

1 - 10 funcionários

🔧 Hardware

Hardware

YosysHQ é a equipe por trás do Yosys e de projetos relacionados de EDA Open Source, oferecendo produtos e serviços comerciais.

Descrição

• Contribuir para as áreas de foco de síntese ou verificação formal da YosysHQ • Desenvolver e manter ferramentas EDA e pacotes de software open source • Trabalhar em ferramentas de verificação formal usando C++, Rust e Python • Implementar model checking de hardware e métodos formais relacionados • Desenvolver funcionalidades de síntese usando C++ e conhecimentos de design de hardware RTL • Trabalhar no desenvolvimento personalizado de funcionalidades específicas e fluxos completos com base nos componentes de software da YosysHQ • Oferecer suporte e treinamento a usuários e desenvolvedores que trabalham com o software • Assumir responsabilidade de forma independente pelas tarefas atribuídas e resolver desafios • Participar de reuniões de equipe normalmente realizadas entre 15h e 18h, no horário de Viena (CET/CEST)

🎯 Requisitos

• Domínio de C++ ou Rust para verificação formal; disponibilidade para aprender a outra linguagem e Python • Familiaridade com a implementação de model checking de hardware ou experiência em verificação/métodos formais, como resolução de SAT/SMT, demonstração automatizada/interativa de teoremas, teoria das linguagens de programação ou teoria de autômatos • Algum contato com design de hardware RTL para verificação formal • Domínio de C++ para síntese • Alguma experiência com design de hardware RTL, idealmente para ASICs • Experiência transferível no desenvolvimento de software para aplicações de engenharia ou ciência, na implementação de algoritmos de literatura científica ou no trabalho com compiladores • Experiência em familiarizar-se com projetos grandes e preexistentes • Capacidade de assumir responsabilidades, trabalhar de forma independente e enfrentar desafios sem supervisão constante • Não residir em país sujeito a sanções ou restrições de exportação, nem estar impedido de prestar serviços ao governo dos Estados Unidos • É necessário enviar currículo e uma breve carta de apresentação

🏖️ Benefícios

• Trabalho remoto flexível, de onde você estiver • Horário flexível; escolha quando trabalhar fora do período das reuniões de equipe • Opção de trabalho em meio período, de 1 a 5 dias por semana • Estrutura salarial horizontal, com a mesma remuneração para todas as pessoas • Oportunidade de trabalhar em projetos EDA open source • Trabalhar com tecnologias de síntese e verificação formal • Suporte e treinamento para usuários e desenvolvedores dos pacotes de software