Becario de Verificación Formal

Imagina lo que podrías hacer aquí. En Apple, las nuevas ideas tienen una forma de convertirse en productos, servicios y experiencias de cliente extraordinarios muy rápidamente. Aporta pasión y dedicación a tu trabajo y no hay forma de saber lo que podrías lograr. Personas dinámicas y sorprendentes y tecnologías inspiradoras e innovadoras son la norma aquí. Las personas que trabajan aquí han reinventado industrias enteras con todos los productos de Hardware de Apple. La misma pasión por la innovación que se aplica a nuestros productos también se aplica a nuestras prácticas, fortaleciendo nuestro compromiso de dejar el mundo mejor de lo que lo encontramos. Únete a nosotros para ayudar a ofrecer el próximo producto innovador de Apple. ¿Te encanta trabajar en desafíos que nadie ha resuelto todavía? Como miembro de nuestro grupo dinámico, tendrás la oportunidad única y gratificante de crear próximos productos que deleitarán e inspirarán a millones de clientes de Apple cada día.

En este puesto de alta visibilidad, estarás en el centro de un esfuerzo de verificación de diseño de System-on-a-chip (SoC) colaborando con el diseño, con un impacto crítico en la obtención de productos funcionales de alta calidad y sin errores para millones de clientes rápidamente. Mientras trabajas en la verificación formal completa para bloques de diseño individuales o múltiples e IPs, colaborarás con los miembros del equipo para:

Conocimiento de diseño lógico de diseño digital y/o técnicas de verificación formal

Se valorará la comprensión del diseño de CPU, arquitecturas de pipeline, memoria, controladores DMA, hardware de ejecución de instrucciones fuera de orden y especulativas, interconexiones de bus y mecanismos de coherencia de caché

Se valorará la capacidad de interpretar especificaciones de hardware (utilizando lenguajes basados en aserciones de lógica temporal como SVA o PSL)

Se valorará el conocimiento de herramientas formales EDA y experiencia en el desarrollo de herramientas CAD

Dominio de cualquier lenguaje de scripting como: TCL/PERL/etc. con excelentes habilidades de depuración

Sólidas habilidades interpersonales y de resolución de problemas

Sólida comunicación escrita y verbal en inglés

Actualmente matriculado en un programa de Grado, Máster o Doctorado en Ingeniería Electrónica, Informática, Ingeniería Informática, Matemáticas / Matemáticas Aplicadas o un campo relacionado. Este puesto es una pasantía a tiempo completo y se prefiere la disponibilidad durante un mínimo de 6 meses.