职位 描述 一家 位于 洛杉矶 的 领先 AI 专注 公司 正在 寻找 一位 熟练 的 数学 形式化 专家，负责 将 人工 编写 的 数学 论证 转换 为 精确 的 形式化 表达，使用 Lean。 理想 的 候选人 应该 具备： • 相关 领域 的 硕士 学位。 • 强大的 证明 写作 能力。 • 对 形式 验证 的 热情。 这个 职位 提供 具有 竞争力 的 薪资 和 职业 成长 的 机会。
