Categorías
···
Entrar / Registro
Resumen: Buscamos un experimentado Ingeniero de Software Principal para concebir e implementar nuevas canalizaciones de generación de código mediante IA generativa, análisis estático y verificación formal para herramientas de transpilación. Aspectos destacados: 1. Liderar la concepción e implementación de nuevas canalizaciones de generación de código 2. Definir la arquitectura de software para canalizaciones de IA agente 3. Colaborar con especialistas del dominio en métodos de verificación Título del puesto Ingeniero de Software Principal - Análisis de programas para IA Descripción general Buscamos un ingeniero de software experimentado que nos ayude a desarrollar una nueva generación de herramientas de transpilación impulsadas por IA y técnicas modernas de verificación, con el objetivo de cerrar la brecha entre el desarrollo de algoritmos y su despliegue en sistemas embebidos. En este puesto, desempeñará un papel líder en la concepción e implementación de nuevas canalizaciones de generación de código que utilicen una combinación de IA generativa, análisis estático y métodos de verificación formal para traducir código escrito en un lenguaje a otro. Requisitos Responsabilidades ● Definir la arquitectura de software para canalizaciones de IA agente. ● Construir bases de código bien probadas y extensibles para productos de traducción de código. ● Colaborar con especialistas del dominio para incorporar métodos de verificación formal y análisis estático en la canalización de generación de código. ● Colaborar con los equipos de ingeniería de software e investigación para construir repositorios de código robustos y procesos de integración continua. Imprescindible ● Siete o más años de experiencia en desarrollo colaborativo de software empresarial en C++ para entregar productos a una base amplia de clientes ● Experiencia demostrada en la recopilación de requisitos de las partes interesadas y su transformación en diseños de software ● Experiencia demostrada en la planificación y ejecución de proyectos grandes en entornos colaborativos ● Historial demostrado de construcción y entrega de software robusto mediante la aplicación de las mejores prácticas en todo el ciclo de vida del desarrollo de software (SDLC), incluidas revisiones de código, pruebas, integración continua, gestión de versiones y sistemas de compilación Deseable ● Experiencia en desarrollo de compiladores: experiencia con Clang, LLVM ● Experiencia en técnicas avanzadas de verificación de software, como fuzzing y/o verificación formal ● Experiencia con Python ● Experiencia con herramientas y marcos de aprendizaje automático (ML) ● Experiencia trabajando con sistemas embebidos, heterogéneos (FPGA y/o GPU) y/o distribuidos
