Research Engineer - LLM Formal Methods

Compañía: Huawei Technologies Canada Co., Ltd.

Duración: Contrato de 12 meses

Huawei Technologies Canada Co., Ltd. está buscando un Ingeniero de Investigación con especialización en Métodos Formales de LLM para una apertura inmediata. Este rol implica un contrato de un año dedicado a avanzar en tecnologías de vanguardia en arquitecturas simbólicas neuronales mediante la integración de LLM/IA y métodos formales.

Responsabilidades Clave

• Realizar investigaciones de vanguardia y desarrollar tecnologías para mejorar el proceso de síntesis de arquitecturas simbólicas neuronales.
• Integrar LLM/IA y métodos formales para guiar el proceso de desarrollo.
• Diseñar e implementar estrategias de prueba exhaustivas, como pruebas de caja blanca y caja negra, para evaluar y mejorar los sistemas de IA.
• Analizar el rendimiento del sistema de IA a través de patrones de cobertura y activación.
• Desarrollar técnicas de modelado formal, análisis y verificación para la integración del razonamiento simbólico en redes neuronales.
• Asegurar la interpretación y generación precisas de las salidas del sistema de IA.
• Colaborar con equipos multifuncionales de investigadores e ingenieros para incorporar tecnologías avanzadas en el desarrollo práctico de IA.
• Publicar hallazgos de investigación en conferencias y revistas relevantes.

Calificaciones

Lo que traerás al equipo:

• Doctorado en Métodos Formales, Ingeniería de Software, LLM/IA o un campo estrechamente relacionado.
• Historial demostrado en investigación y desarrollo en campos relevantes.
• Experiencia en razonamiento formal y técnicas de prueba.
• Comprensión profunda de las metodologías LLM/IA y sus limitaciones.
• Fuertes habilidades de programación.
• Capacidad para colaborar eficazmente dentro de equipos interdisciplinarios.
• Capacidad para identificar y superar desafíos técnicos complejos.

#LI-TL1

Cómo postularse

Los candidatos interesados deben enviar su solicitud a través de nuestro portal de carreras oficial.

Sobre Huawei Technologies Canada Co., Ltd.

Huawei Technologies Canada Co., Ltd. es un proveedor global líder de soluciones de tecnología de la información y las comunicaciones (TIC), comprometido con la innovación y los avances tecnológicos.