职位描述
Imandra 正在寻找一名出色的产品经理，希望他能在一家领先的人工智能初创公司担任核心角色。Imandra 的自动推理技术正在改变金融市场等关键算法密集型行业的工作方式。目前，我们正将成熟的自动推理技术应用于安全关键型行业和基于模型的系统工程。作为一名具有商业头脑的应聘者，您将成为我们面向客户的产品的前沿和中心，与高级管理层和技术团队合作，推动客户信赖和喜爱的突破性功能。
为什么加入 Imandra？您将有机会参与具有挑战性的项目，与行业领导者合作，推动创新产品取得成功。Imandra 致力于在全球范围内招聘、培养和留住最优秀的人才，无论其背景如何。
角色和职责：该角色包括广泛的职责，其中包括自动推理和形式验证技术的产品管理，影响并参与针对 SysML v2 模型的自动推理和形式验证产品的开发和改进，制定并执行与主要基于模型的系统工程 (MBSE) 工具提供商的合作战略，与高级管理层、工程、市场和销售团队合作，推动产品成功和市场采用，直接与最终用户和战略合作伙伴合作，收集反馈、了解需求并确保产品满意度。
offer要求 [offer requirements]
我们正在改变做事的方式，这意味着以不同的方式工作和思考。我们正在寻找有改进工作方式的热情和实施变革的动力，热衷于提供信息和教育，相信团队的力量大于其各个部分的总和，有信心在技术和商业领域与利益相关者和客户合作的人。
所需技能和经验：3年以上产品管理或相关工作经验，丰富的编程专业知识，开发协作生态系统的经验，了解基于模型的系统工程（MBSE），工程、计算机科学或同等专业的学士学位。
优先考虑的技能和经验：熟练掌握系统建模语言（SysML）1x 或 2x 版本，具有航空/航天、国防系统、汽车或医疗系统方面的经验，具有使用流行的基于模型的系统工程工具的经验，具有产品营销经验。
offer福利 [offer benefits]
Medical、牙科和视力保险，401K计划，股票期权计划