How do I apply to this role?

Click the "Apply on Hn-Who-Hiring" button at the top of this page. You'll be sent to the original posting where the employer accepts applications. Wikishopline doesn't collect resumes or process applications.

Is this listing current?

Wikishopline aggregates jobs daily from partner sources (hn-who-hiring). Postings older than ~14 days are pruned, but always verify the role is still open on the employer's site before you spend time on a cover letter.

Does Wikishopline charge employers or applicants?

No. Aggregated jobs are free for both sides. Wikishopline also accepts $5 / 30-day paid postings at /jobs/submit for employers who want direct visibility — but the listing you're viewing was sourced from a partner.

维基商店线 › 工作机会 › IBM 研究中心 ( https://research

IBM 研究中心 ( https://research

通过 IBM 研究中心 ( https://research

全职看帖子 2026 年 6 月 1 日

在 Hn-Who-Hiring 上申请

职位概述

发布日期2026 年 6 月 1 日

地点看帖子

职位类型全职

关于这个角色

IBM 研究中心 ( https://research.ibm.com ) |马萨诸塞州波士顿 |全职|混合型我们正在招聘一名高级科学家加入我们的团队。我们正在研究法学硕士培训和推理堆栈的交叉点。我们正在寻找想要在以下交叉领域工作的人： * 具有编译器、编程语言或编程模型方面的实现经验和理论背景。我们绝对需要在形式系统方面具有数学成熟度的人（编程语言理论、类型论、证明助理等） * 实践经验

常见问题

我如何申请这个角色？

单击本页顶部的“申请 Hn-Who-Hiring”按钮。您将被发送到雇主接受申请的原始职位。 Wikishopline 不收集简历或处理申请。

此列表是最新的吗？

Wikishopline 每天都会从合作伙伴来源（hn-who-hiring）汇总职位信息。超过 14 天的帖子会被删除，但在您花时间写求职信之前，请务必验证该职位在雇主网站上是否仍处于空缺状态。

Wikishopline 是否向雇主或申请人收费？

不会。聚合的工作对双方都是免费的。 Wikishopline 还接受在 /jobs/submit 上为想要直接可见性的雇主支付 5 美元/30 天的付费帖子 - 但您正在查看的列表来自合作伙伴。

⚠️ 此列表汇总自 hn-谁-招聘。 Wikishopline 不代表该雇主，也不保证该列表是最新的。在分享个人信息或付款详细信息之前，请务必直接与来源验证角色+公司。

IBM 研究中心 ( https://research

关于这个角色

常见问题

更多角色等待探索