Codasip
Codasip
201 – 500 Funcionários
AutomotivoCibersegurançaHardware
A Codasip é uma empresa de propriedade intelectual para semicondutores e design de processadores, com foco em tecnologia RISC-V, silício seguro e segurança funcional. Seu portfólio inclui núcleos de aplicação RISC-V de 64 bits habilitados para CHERI, processadores embarcados e automotivos, além de ferramentas de design como o Codasip Studio e a linguagem CodAL. A empresa desenvolve tanto propriedade intelectual padrão para processadores quanto plataformas personalizadas para mercados exigentes, incluindo os setores automotivo, de defesa, aviônico, de sistemas industriais e de infraestrutura crítica. Com equipes que atuam em hardware e cibersegurança, a Codasip desenvolve tecnologias de processadores voltadas a atender às necessidades de segurança e confiabilidade de aplicações regulamentadas.

Engenheiro(a) de Verificação – CPUs RISC-V (Híbrido, Tchéquia)

Junte-se à Codasip para verificar processadores RISC-V e extensões em uma empresa segura de arquitetura de semicondutores. Desenvolva fluxos automatizados de verificação para projetos avançados de CPU.

Descrição

  • Validar processadores RISC-V e extensões de processadores
  • Criar soluções de verificação que abranjam ambientes de teste, componentes de ambientes de teste, geração de estímulos e ambientes formais
  • Trabalhar com engenheiros para concluir atividades de verificação de componentes e subsistemas
  • Estabelecer estratégias de verificação para blocos e subsistemas e escolher ferramentas adequadas
  • Avaliar especificações técnicas e fornecer feedback com foco em verificação
  • Executar simulações, investigar defeitos e determinar as causas raiz de problemas complexos
  • Planejar, estimar, priorizar e monitorar o trabalho atribuído
  • Medir e relatar métricas de desempenho da verificação
  • Desenvolver fluxos de trabalho automatizados de verificação
  • Verificar CPUs avançadas, incluindo projetos complexos de processadores fora de ordem
  • Assumir a responsabilidade por áreas designadas do projeto e aplicar diversas abordagens de verificação

Requisitos

  • Estar atualmente localizado na República Tcheca e ter direito de trabalhar no país
  • Ter experiência comercial aplicando métodos de verificação funcional de processadores a CPUs ou outros ASICs, incluindo simulação, geração de testes, análise de cobertura e simulação em nível de portas
  • Compreender a verificação de arquiteturas de CPU ou outra propriedade intelectual
  • Escrever código claro e conciso em SystemVerilog, Python, C++, Rust ou linguagem comparável
  • Ter sido anteriormente responsável pela verificação de um bloco de projeto
  • Usar Linux para automatizar tarefas rotineiras
  • Conhecer ferramentas de controle de versão, como Git e SVN
  • Compreender a arquitetura RISC-V
  • Ter sólido conhecimento de sistemas e arquitetura de computadores
  • Demonstrar pensamento analítico e habilidades de colaboração em equipe
  • Trabalhar de forma eficaz entre equipes para depurar problemas e identificar suas causas raiz

Benefícios

  • A publicação não especifica benefícios, vantagens ou remuneração adicional.

Vagas relacionadas

GSK

Diretor global de marketing em oncologia da GSK

GSK

Lidere a estratégia global e a preparação do lançamento do conjugado anticorpo-fármaco da GSK para câncer de pulmão de pequenas células. Impulsione o crescimento ao longo do ciclo de vida e a execução comercial coordenada entre equipes e regiões.

Abrir
Monzo Bank

Gerente de equipe de crimes financeiros com espanhol (remoto no Reino Unido)

Monzo Bank

Lidere a equipe de investigação de crimes financeiros da Monzo, desenvolva os profissionais e gerencie casos complexos. Aprimore as operações de fraude, prevenção à lavagem de dinheiro e triagem para clientes do Reino Unido.

Abrir