Categorías
···
Entrar / Registro
Salario negociable
Code Metal
Boston, MA, USA
Favoritos
CompartirTítulo del puesto Ingeniero Principal de Software - Análisis de Programas para IA Descripción general Estamos buscando un ingeniero de software experimentado para ayudarnos a desarrollar una nueva generación de herramientas de transpilación habilitadas por IA y técnicas modernas de verificación que prometen cerrar la brecha entre el desarrollo de algoritmos y su implementación en sistemas embebidos. En este puesto desempeñará un papel clave en el diseño y la implementación de novedosas tuberías 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 tuberías de IA agente. ● Crear bases de código extensibles y bien probadas 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 tubería 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 de software empresarial colaborativo en C++ para entregar productos a una amplia base de clientes ● Experiencia demostrada en recopilar requisitos de partes interesadas y convertirlos en diseños de software ● Experiencia demostrada en planificar y ejecutar proyectos grandes en entornos de equipo ● Historial comprobado de construcción y entrega de software robusto mediante la aplicación de las mejores prácticas durante todo el proceso del ciclo de vida del desarrollo de software (SDLC), incluyendo revisión de código, pruebas, integración continua, gestión de lanzamientos y sistemas de compilación Deseable ● Experiencia en desarrollo de compiladores - experiencia con Clang, LLVM ● Experiencia con técnicas avanzadas de verificación de software como fuzzing y/o verificación formal ● Experiencia en Python ● Experiencia con herramientas y marcos de aprendizaje automático (ML) ● Experiencia trabajando con sistemas embebidos, heterogéneos (FPGA y/o GPU) y/o sistemas distribuidos
Mostrar mapa
Wright-Patterson AFB, OH, USA