Estagiário em Verificação Formal

Imagine o que você poderia fazer aqui. Na Apple, novas ideias têm o hábito de se tornarem produtos, serviços e experiências de cliente extraordinários muito rapidamente. Traga paixão e dedicação ao seu trabalho e não há limites para o que você pode realizar. Pessoas dinâmicas e incríveis, além de tecnologias inspiradoras e inovadoras, são a norma aqui. As pessoas que trabalham aqui reinventaram setores inteiros com todos os produtos de Hardware da Apple. A mesma paixão pela inovação que é aplicada aos nossos produtos também se aplica às nossas práticas, fortalecendo nosso compromisso de deixar o mundo melhor do que o encontramos. Junte-se a nós para ajudar a entregar o próximo produto inovador da Apple. Você adora trabalhar em desafios que ninguém resolveu ainda? Como membro do nosso grupo dinâmico, você terá a oportunidade única e gratificante de criar produtos futuros que encantarão e inspirarão milhões de clientes da Apple todos os dias.

Nesta função de alta visibilidade, você estará no centro de um esforço de verificação de design de System-on-a-chip (SoC), colaborando com o design, com um impacto crítico na entrega de produtos funcionais de alta qualidade e livres de bugs para milhões de clientes rapidamente. Ao trabalhar na verificação formal completa para blocos de design únicos ou múltiplos e IPs, você colaborará com os membros da equipe para:

Conhecimento em design de lógica digital e/ou técnicas de verificação formal

Compreensão de design de CPU, arquiteturas de pipeline, memória, controladores DMA, hardware de execução de instrução fora de ordem e especulativa, interconexões de barramento e mecanismos de coerência de cache é um diferencial

Capacidade de interpretar especificações de hardware (usando linguagens baseadas em asserção de lógica temporal, como SVA ou PSL) é um diferencial

Conhecimento de ferramentas formais de EDA e experiência em desenvolvimento de ferramentas CAD é um diferencial

Proficiência em qualquer linguagem de script, como: TCL/PERL/etc., com excelentes habilidades de depuração

Fortes habilidades de resolução de problemas e interpessoais

Excelente comunicação escrita e verbal em inglês

Estar atualmente matriculado em um programa de Bacharelado, Mestrado ou Doutorado em Engenharia Eletrônica, Ciência da Computação, Engenharia da Computação, Matemática / Matemática Aplicada ou área relacionada. Esta posição é um estágio em tempo integral e a disponibilidade por um período mínimo de 6 meses é preferencial.