官网 Not specified Imandra Inc.
职位描述
在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]
What you will bring:
– 强大的软件开发技能。
– 以产品为中心的思维方式，愿意在整个软件栈中设计、开发和交付功能和改进。
– 对类型化功能语言感兴趣。
– 熟练的 Linux/Unix 技能。
– 具有使用 Git/GitHub/CI 工具和流程进行协作的经验。
Skills that are a bonus:
– Experience building projects with OCaml, ReasonML, Haskell, or other functional programming languages.
– Working with cloud infrastructure, specifically GCP.
– 对定理证明和形式验证感兴趣。
– 具有为开源项目做出贡献的经验。
offer福利 [offer benefits]
– 私人医疗保健和牙科计划
– 养老金计划
– 股票期权计划