Skills
C++
Unix
Estruturas de Dados e Algoritmos
Sobre a Vaga
Na Cadence Design Systems, buscamos um(a) Software Engineer II para atuar no time de Jasper Clock Domain Crossing (CDC) dentro do grupo de System Verification em Belo Horizonte. Você vai contribuir para o desenvolvimento e evolução do Jasper, uma plataforma de verificação formal.
Responsabilidades
- Testar, validar e preparar para deploy melhorias no software Jasper para clientes estratégicos
- Trabalhar em conjunto com o time de Pesquisa e Desenvolvimento (R&D) para discutir resultados de testes e próximos passos das funcionalidades
- Analisar e levantar informações sobre problemas e resultados do Jasper para apoiar correções e melhorias contínuas
Requisitos
- Formação completa em Engenharia ou Ciência da Computação (graduação/bacharelado ou mestrado) e 3+ anos de experiência relevante
- Conhecimento sólido e avançado em estruturas de dados e algoritmos
- Experiência consistente com programação orientada a objetos
- Experiência em desenvolvimento com C++
- Experiência com ambiente Unix
- Inglês avançado para comunicação verbal e escrita
- Boa habilidade de relacionamento interpessoal
Beneficios
- Contrato CLT com carga de 40 horas semanais
- Pacote de benefícios competitivo
- Ambiente dinâmico e colaboração com equipes globais
Esta vaga foi curada e enriquecida pelo 123Vagas para facilitar sua busca. A candidatura é feita no site original: br.linkedin.com.
Saiba como funciona.