Ingeniero de Software Senior – Python, Pipelines de IA Estamos buscando un Ingeniero de Software Senior para ayudar a construir una nueva generación de herramientas de transcompilación impulsadas por IA y técnicas modernas de verificación. Estas herramientas tienen como objetivo cerrar la brecha entre el desarrollo de algoritmos y su implementación en sistemas embebidos. En este puesto, trabajará estrechamente con ingenieros experimentados y especialistas en dominios para implementar pipelines innovadores de generación de código que aprovechen IA generativa, análisis estático y métodos de verificación formal para traducir código de un lenguaje a otro. Contribuir al desarrollo de pipelines de IA agente, implementando flujos de trabajo complejos utilizando máquinas de estados, colas de mensajes y sistemas distribuidos. Crear bases de código robustas, extensibles y bien probadas para productos de traducción de código. Trabajar con servicios en contenedores usando Docker para desarrollo y despliegue local. Integrar técnicas de verificación formal y análisis estático en el pipeline en colaboración con expertos en el dominio. Contribuir a arquitecturas distribuidas y basadas en la nube para garantizar confiabilidad y escalabilidad. Requisitos Imprescindibles 5 o más años de experiencia en desarrollo de software en producción en su lenguaje preferido. Conocimientos profundos de Python y al menos otro lenguaje de programación backend - se valora conocimiento de C++ o Rust. Experiencia sólida en desarrollo de software a nivel empresarial y entrega de software robusto a una gran base de usuarios. Demostrada competencia en prácticas fundamentales de desarrollo de software, incluyendo: control de versiones, revisión de código, pruebas, integración continua, sistemas de compilación y pipelines de lanzamiento. Experiencia trabajando con herramientas o frameworks de aprendizaje automático (machine learning). Competencia en la creación de APIs escalables (REST, GraphQL o gRPC). Experiencia práctica con Docker y flujos de trabajo en contenedores. Deseable Experiencia trabajando con IA/LLMs en sistemas en producción. Conocimientos de compiladores o herramientas de análisis estático. Experiencia con orquestación de flujos de trabajo, colas de mensajes (por ejemplo, Kafka, RabbitMQ, Redis, Celery) o diseño de máquinas de estados. Experiencia con plataformas en la nube como AWS, GCP o Azure. Conocimiento de herramientas como PromptFlow u otros sistemas de automatización de flujos de trabajo. Beneficios Plan de salud con cobertura del 100 % de la prima, incluyendo médico, dental y visión. 401k con coincidencia del 5 %. Tiempo libre pagado (vacaciones ilimitadas, más días de enfermedad y festivos públicos). Arreglo de trabajo híbrido flexible. Asistencia para reubicación para empleados calificados. Todos los solicitantes deben ser elegibles para TS/SCI