Canadá
Cardata
NVIDIA
Ingeniero Senior de Verificación Formal - LPU
Canadá
Canadá
Python
Traducción automática. Consulta el original.
Sobre la oportunidad
NVIDIA lleva más de 25 años transformando los gráficos por ordenador, los videojuegos de PC y la computación acelerada. Es un legado de innovación único impulsado por una gran tecnología y personas increíbles. Hoy en día, estamos aprovechando el potencial ilimitado de la IA para definir la próxima era de la computación. Una era en la que nuestra GPU actúa como el cerebro de ordenadores, robots y coches autónomos capaces de entender el mundo. Hacer lo que nunca se ha hecho antes requiere visión, innovación y el mejor talento del mundo. Como NVIDIAN, te sumergirás en un entorno diverso y de apoyo donde todo el mundo se siente inspirado para dar lo mejor de sí mismo. ¡Únete a nosotros y descubre cómo puedes dejar una huella duradera en el mundo!
Como Ingeniero Senior de Verificación Formal en NVIDIA, verificarás ASICs desarrollados a la vanguardia utilizando herramientas de verificación formal. Definirás el alcance de la verificación y asegurarás la corrección. Emplearás sofisticadas técnicas formales para adquirir pruebas suficientemente acotadas mientras trabajas con arquitectos, diseñadores y equipos de verificación pre y post-silicio para completar tus tareas, así como para mejorar las metodologías y flujos de verificación formal. Completarás eficientemente el esfuerzo de verificación formal para todo el ciclo del proyecto, entregando resultados de alta calidad a tiempo y comunicando claramente esos resultados al equipo.
¿Qué harás?
- Tarea principal: Verificar diseños y características de ASIC sofisticados relacionados con IA con métodos de verificación formal.
- Colaboración multifuncional: Asociarse con equipos de arquitectura/RTL para especificar propiedades, resolver problemas de diseño profundos e influir en las decisiones de microarquitectura.
- Ejecución de verificación formal: Aprovechar y desatar el poder de la verificación formal para verificar rigurosamente las propiedades críticas del diseño y garantizar el cumplimiento de las especificaciones, así como minimizar las ambigüedades de las especificaciones.
- Articular la cobertura de verificación formal a los socios.
- Liderazgo de metodología: Desarrollar e implementar entornos y metodologías avanzadas de verificación formal para diseños complejos de ASIC, incluyendo flujos automatizados para escalabilidad y eficiencia.
- Mentoría: Formar y entrenar a ingenieros junior en técnicas formales y procesos estándar; Ayudar en la documentación de metodología/FAQ.
- Soporte en la puesta en marcha y depuración de silicio utilizando métodos formales cuando sea aplicable.
Requisitos mínimos
¿Qué necesitamos ver?
- BS/MS/PhD o experiencia equivalente en CS/CE/EE.
- 12+ años en verificación de ASIC con 8+ años centrados en métodos de verificación formal.
- Dominio de SystemVerilog Assertions (SVA) y verificación formal de propiedades.
- Dominio de al menos una herramienta popular de verificación formal en la industria (JasperGold, VC Formal, etc.).
- Buenas habilidades de scripting para la automatización de flujos (tcl, python, etc.).
- Buenas habilidades de comunicación escrita y oral.
- Gran atención al detalle.
Formas de destacar entre la multitud
- Éxito demostrado en la firma formal de ciclo completo para diseños complejos.
- Experiencia en aplicaciones formales: aplicaciones FPV, comprobaciones de equivalencia secuencial, verificación de datapath, etc.
- Profundo conocimiento de la arquitectura/diseño de GPU o LPU.
Considerado ampliamente como uno de los empleadores más deseados del mundo de la tecnología, NVIDIA ofrece salarios altamente competitivos y un paquete integral de beneficios. Mientras planificas tu futuro, consulta lo que podemos ofrecerte a ti y a tu familia en nvidiabenefits.com nvidiabenefits.com.
También serás elegible para acciones y beneficios nvidia.com/en-us/benefits/.
Tu salario base se determinará en función de tu ubicación, experiencia y el pago de empleados en puestos similares. El rango salarial base es 195,000 CAD - 245,000 CAD.
Las solicitudes para este puesto se aceptarán al menos hasta el 10 de julio de 2026.
Esta oferta es para una vacante existente.
NVIDIA utiliza herramientas de IA en sus procesos de contratación.
Más oportunidades con un solo perfil
¿Quieres optar a más puestos sin repetir todo el proceso? Crea tu perfil para que te encuentren las empresas que usan Nort.
Crear mi perfil