关于此职位
德国的数学人才正在塑造 AI 的未来——在 Lean 4 中形式化证明，按你自己的时间安排，完全远程，回报丰厚。...
平台仅提供简短摘要。请在原始职位中阅读完整要求。
数学家 – 形式系统与 AI 基础（远程合同）
此职位由自动翻译生成。申请由原平台处理；申请前请核实其原始要求。 查看原始页面
- 申请人所在国家
- 未说明地点要求
来源未说明申请人可居住或工作的国家。请查看原始职位。远程工作及职位标示地点并不构成申请资格依据。
- 工作方式
- 远程
- 职位标示地点
- Berlin, Germany
- 首次发布
- 未提供
- 最近检查
- 2026-11-03 15:00 UTC