alignerr · 科学、技术、工程与数学

数学形式化专家

Alignerr

$50–$150/小时职位地点：Atlanta远程未说明地点要求

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

关于此职位

在 Lean 中形式化前沿数学证明，报酬最高 $150/小时——助力推动 AI 推理的前沿。远程且灵活。...

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