职位描述
在Imandra，我们构建算法推理工具。从设计阶段到关键生产系统的分析和监控，我们的技术是客户软件开发生命周期中不可或缺的一部分。Imandra 致力于在全球范围内招聘、培养和留住最优秀的人才，无论其背景如何。我们在金融领域拥有坚实的基础，现在我们正在将 Imandra 的通用自动推理工具应用到其他行业，以帮助每个人更简单、更容易地制作正确的软件。如果您有兴趣了解有关 Imandra 推理引擎的更多信息，请查看我们的交互式技术文档：https://docs.imandra.ai/。
角色和职责：您将致力于开发我们基于云的自动推理平台，主要使用 OCaml。根据您的技能和兴趣，您有机会参与整个堆栈的工作：我们的 Web API 和后端服务（OCaml、PostgreSQL、Redis）；产品用户界面和可视化工具（React，通过 ReasonML/Bucklescript/Melange 工具链、webgl）；持续集成和云基础设施（Google Cloud、Kubernetes、Terraform）；使用 Imandra 对客户生产系统进行建模和验证；直接与客户合作开发新产品功能原型；为新的高级证明自动化技术、形式验证和代码合成算法做出贡献；为开源项目做出贡献，包括上游新功能和修复，以及发布新的开源库。您将与分布在全球不同时区的团队一起工作。我们的主要工作地点在德克萨斯州奥斯汀和英国伦敦。
offer要求 [offer requirements]
您将带来的：强大的软件开发技能；以产品为中心的思维方式，愿意在整个软件栈中设计、开发和交付功能和改进；对类型化功能语言感兴趣；熟练的 Linux/Unix 技能；具有使用 Git/GitHub/CI 工具和流程进行协作的经验。
加分技能：具有使用 OCaml, ReasonML, Haskell 或其他函数式编程语言构建项目的经验；具有云基础设施（特别是 GCP）的工作经验；对定理证明和形式验证感兴趣；具有为开源项目做出贡献的经验。
offer福利 [offer benefits]
医疗、牙科和视力保险；401K 计划；股票期权计划。