Categorías
···
Entrar / Registro
Resumen: Imandra está buscando ingenieros de I+D para desarrollar su plataforma en la nube para razonamiento automático, ofreciendo oportunidades en toda la pila de software y participación en técnicas avanzadas de automatización de pruebas. Aspectos destacados: 1. Desarrollar una plataforma en la nube para razonamiento automático utilizando OCaml 2. Oportunidad de trabajar en toda la pila de software 3. Contribuir a técnicas novedosas y avanzadas de automatización de pruebas En Imandra construimos herramientas para razonar sobre algoritmos. Nuestra tecnología forma una parte integral del ciclo de vida de desarrollo de software de nuestros clientes, desde la fase de diseño hasta el análisis y la supervisión de sistemas críticos en producción. Imandra se esfuerza por reclutar, desarrollar y retener a las personas más talentosas de todo el mundo, independientemente de su procedencia. Buscamos a los mejores ingenieros de I+D para ayudarnos a escalar nuestros productos al siguiente nivel. Contamos con una sólida presencia en el sector financiero y ahora estamos aplicando las herramientas de razonamiento automático de propósito general de Imandra a otros sectores industriales para facilitar y hacer más accesible la producción de software correcto para todos. Si desea obtener más información sobre el motor de razonamiento de Imandra, consulte nuestra documentación técnica interactiva en https://docs.imandra.ai/. El puesto y sus responsabilidades Trabajarás en el desarrollo de nuestra plataforma en la nube para razonamiento automático, principalmente utilizando OCaml. Existen oportunidades de participar en toda la pila de software según tus habilidades e intereses: Nuestras API web y servicios de backend (OCaml, PostgreSQL, Redis). Interfaces de usuario del producto y herramientas de visualización (React, mediante la cadena de herramientas ReasonML/Bucklescript/Melange, webgl). Integración continua e infraestructura en la nube (Google Cloud, Kubernetes, Terraform). Modelado y verificación de sistemas de producción de clientes mediante Imandra. Trabajo directo con clientes para prototipar y desarrollar nuevas funciones del producto. Contribución a técnicas novedosas y avanzadas de automatización de pruebas, verificación formal y algoritmos de síntesis de código. Contribución a proyectos de código abierto, tanto incorporando nuevas funciones y correcciones a repositorios upstream como publicando nuevas bibliotecas de código abierto. Trabajarás con un equipo distribuido globalmente en distintos husos horarios. Nuestras ubicaciones principales son Austin, TX y Londres, Reino Unido. Requisitos Lo que aportarás Lo que buscamos Sólidas habilidades en desarrollo de software. Mentalidad centrada en el producto, con disposición para diseñar, desarrollar y entregar funciones y mejoras en toda la pila de software. Interés por lenguajes tipados y funcionales. Competencias sólidas en Linux/Unix. Experiencia colaborando mediante Git/GitHub/herramientas y procesos de CI. Habilidades adicionales deseables No esperamos que todos las tengan, pero cualquier experiencia o interés en trabajar con ellas será definitivamente un valor añadido: Experiencia desarrollando proyectos con OCaml, ReasonML, Haskell u otros lenguajes de programación funcional. Experiencia con infraestructura en la nube, específicamente GCP. Interés por la demostración de teoremas y la verificación formal. Experiencia contribuyendo a proyectos de código abierto. Beneficios Seguro médico, dental y de visión Plan 401K Plan de opciones sobre acciones
