alignerr · 软件工程

Lean 4 证明工程师 - 数学形式化

Alignerr

$170–$200/小时职位地点：Perth远程未说明地点要求

此职位由自动翻译生成。申请由原平台处理；申请前请核实其原始要求。查看原始页面

关于此职位

为前沿 AI 研究在 Lean 4 中形式化高等数学证明，报酬最高 $200/小时。远程、灵活，专为严肃认真的数学家...

平台仅提供简短摘要。请在原始职位中阅读完整要求。