Estados Unidos
The MITRE Corporation
Waymo
Ingeniero Senior de Verificación Formal
Estados Unidos
Mountain View, California, United States
PythonC++
Traducción automática. Consulta el original.
Sobre la oportunidad
Waymo es una empresa de tecnología de conducción autónoma con la misión de ser el conductor de mayor confianza del mundo. Desde su inicio como el Proyecto de Coche sin Conductor de Google en 2009, Waymo se ha centrado en construir el Conductor Waymo — El Conductor Más Experimentado del Mundo™ — para mejorar el acceso a la movilidad y salvar miles de vidas que ahora se pierden en accidentes de tráfico. El Conductor Waymo impulsa el servicio de transporte autónomo completo de Waymo y también puede aplicarse a una gama de plataformas de vehículos y casos de uso de productos. El Conductor Waymo ha proporcionado más de diez millones de viajes solo para pasajeros, habilitados por su experiencia conduciendo autónomamente más de 100 millones de millas en carreteras públicas y decenas de miles de millones en simulación en más de 15 estados de EE. UU.
El Equipo de Cómputo de Waymo tiene la misión crítica y emocionante de: Entregar la plataforma de cómputo responsable de ejecutar la pila de software del vehículo completamente autónomo. Para lograr nuestra misión, diseñamos y creamos circuitos integrados personalizados de alto rendimiento; desarrollamos arquitecturas de cómputo a nivel de sistema que superan los límites de rendimiento, potencia y latencia; y colaboramos estrechamente con muchos otros compañeros de equipo para garantizar que diseñamos y optimizamos hardware y software para un rendimiento máximo. Somos un equipo multidisciplinar que busca compañeros curiosos y talentosos para trabajar en una de las plataformas de cómputo automotriz de mayor rendimiento del mundo.
Este puesto sigue un horario de trabajo híbrido y usted reportará a un Líder de Ingeniería de Silicio.
Usted
- Definir y dirigir la estrategia formal para el éxito de la primera versión de silicio. Ser responsable del enfoque de aprobación de la verificación formal en diseños complejos de IP y SoC, utilizando técnicas formales avanzadas (por ejemplo, Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC, etc.)
- Diseñar entornos de FV robustos y escalables. Desarrollar e implementar bancos de pruebas formales reutilizables, flujos de metodología y suites de aserciones SVA de alta cobertura para la implementación sistémica en múltiples bloques de diseño y proyectos.
- Liderazgo técnico y mentoría. Servir como el Experto en la Materia formal del equipo, capacitando y guiando a diseñadores de lógica e ingenieros de verificación para incorporar eficazmente métodos formales en sus flujos de trabajo.
- Planificación estratégica y ejecución del plan de pruebas. Colaborar con los equipos de Arquitectura y Diseño para traducir especificaciones complejas de sistemas e IP en planes de pruebas de verificación formal integrales.
- Impulsar la Infraestructura y Reporte de FV. Mantener y mejorar la integración continua, los flujos de regresión y los paneles de control para proporcionar un estado claro y accionable de la verificación formal y métricas de aprobación al liderazgo.
- Detección y depuración avanzada de errores. Aplicar técnicas formales de última generación (por ejemplo, assume-guarantee, abstracciones, reducciones) para abordar y descomponer eficientemente los problemas de verificación más desafiantes e intratables.
Requisitos mínimos
Usted tiene
- BS/MS/PhD en CS/EE o campo relacionado, combinado con 5+ años de experiencia práctica en verificación formal en productos de silicio lanzados.
- Dominio profundo y experto de al menos una plataforma comercial principal de verificación formal (por ejemplo, Cadence JasperGold, Synopsys VC Formal, Mentor Questa Formal).
- Alto nivel de competencia en lenguajes como C++ y/o Python.
- Capacidad para modelar diseños complejos en SystemVerilog y Aserciones SystemVerilog avanzadas, incluida la escritura de puntos de corte complejos y modelos de entorno para una convergencia de pruebas formales efectiva.
- Trayectoria probada en la aplicación de técnicas avanzadas de depuración formal para la descomposición de problemas (por ejemplo, cruces de dominios de reloj, abstracciones, razonamiento assume-guarantee).
- Excelentes habilidades de comunicación verbal y escrita con la capacidad de influir en equipos multifuncionales (Diseño, Arquitectura, Software) e impulsar la alineación técnica.
Preferimos
- Estar informado de los últimos desarrollos en investigación de verificación formal y práctica de la industria, identificar oportunidades para el proceso de desarrollo de silicio de Waymo.
- Experiencia en la prueba formal de la corrección de unidades aritméticas como sumadores de punto flotante y multiplicadores.
- Conocimiento/experiencia trabajando con NOCs y topologías de red, protocolos (por ejemplo, AXI/AMBA).
- Comprensión de los principios básicos de coherencia de caché.
- Experiencia con diseños de alto rendimiento.
El rango salarial base esperado para este puesto a tiempo completo en ubicaciones de EE. UU. se detalla a continuación. El salario inicial real se basará en factores relacionados con el puesto, incluida la ubicación exacta de trabajo, la experiencia, la formación y educación relevantes, y el nivel de habilidad. Su reclutador podrá compartir más información sobre el rango salarial específico para la ubicación del puesto o, si el puesto se puede realizar de forma remota, el rango salarial específico para su ubicación preferida, durante el proceso de contratación.
Los empleados de Waymo también son elegibles para participar en el programa discrecional de bonificación anual de Waymo, el plan de incentivos de capital y un generoso programa de beneficios de la Compañía, sujeto a los requisitos de elegibilidad.
Rango Salarial $204,000—$259,000 USD
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