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

应用形式化方法研究员（Lean 4）

Alignerr

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

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

关于此职位

将你的数学专长运用于 AI 的前沿。在 Lean 4 中形式化高等证明，塑造机械化数学的未来——完全...

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