关于此职位
将你对形式化证明的精通运用于 AI 的前沿。在 Lean 4 中形式化高等数学——远程、灵活，薪酬极其优厚...
平台仅提供简短摘要。请在原始职位中阅读完整要求。
alignerr · 科学、技术、工程与数学
形式化验证科学家（Lean 4 与 Mathlib）
Alignerr
此职位由自动翻译生成。申请由原平台处理；申请前请核实其原始要求。 查看原始页面
alignerr · 科学、技术、工程与数学
Alignerr
此职位由自动翻译生成。申请由原平台处理；申请前请核实其原始要求。 查看原始页面
将你对形式化证明的精通运用于 AI 的前沿。在 Lean 4 中形式化高等数学——远程、灵活，薪酬极其优厚...
平台仅提供简短摘要。请在原始职位中阅读完整要求。