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

数学家 – 形式化证明与 AI 研究（远程合同）

Alignerr

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

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

关于此职位

荷兰在逻辑学和形式系统方面有着引以为傲的传统——运用你的数学专长塑造前沿 AI，完全远程，由你...

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