En Imandra, creamos herramientas para razonar sobre algoritmos. Nuestra tecnología forma parte integral del ciclo de vida del desarrollo de software de nuestros clientes, desde la etapa de diseño hasta el análisis y monitoreo de sistemas críticos en producción. Imandra se esfuerza por reclutar, desarrollar y retener a las personas más talentosas del mundo, independientemente de su origen. Estamos buscando a los mejores ingenieros de I+D para ayudarnos a escalar nuestros productos al siguiente nivel. Tenemos una posición sólida en el sector financiero, y ahora estamos aplicando las herramientas de razonamiento automatizado de propósito general de Imandra a otras industrias para facilitar y hacer más accesible para todos la creación de software correcto. Si estás interesado en saber más sobre el motor de razonamiento de Imandra, visita nuestras documentaciones técnicas interactivas en https://docs.imandra.ai/. El Puesto y Sus Responsabilidades Trabajarás en el desarrollo de nuestra plataforma de razonamiento automatizado basada en la nube, principalmente utilizando OCaml. Existen oportunidades para participar en todo el entorno técnico según tus habilidades e intereses: Nuestras APIs web y servicios 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 en producción de clientes usando Imandra. Trabajo directo con clientes para prototipar y desarrollar nuevas funciones del producto. Contribución a técnicas novedosas de automatización avanzada 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 como publicando nuevas bibliotecas de código abierto. Trabajarás con un equipo distribuido globalmente en diferentes zonas horarias. Nuestras ubicaciones principales son Austin, TX y Londres, Reino Unido. Requisitos Lo que aportarás Lo que estamos buscando Sólidas habilidades en desarrollo de software. Mentalidad orientada al producto, con disposición para diseñar, desarrollar y entregar funciones y mejoras en toda la pila de software. Interés en lenguajes tipados y funcionales. Competencias en Linux/Unix. Experiencia colaborando con herramientas y procesos de Git/GitHub/CI. Habilidades que son un plus No esperamos que todos las tengan, pero cualquier experiencia o interés en trabajar con ellas sería definitivamente positivo: Experiencia construyendo proyectos con OCaml, ReasonML, Haskell u otros lenguajes de programación funcional. Trabajar con infraestructura en la nube, específicamente GCP. Interés en demostración de teoremas y 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 de acciones