形式化验证博士遭 AI 实验室疯抢，PL 人才需求正盛
xuanalogue · x · 2026-10-23
西北大学助理教授 TaliaRinger 透露，今年毕业的博士生中有专攻形式化验证与编程语言的，且无论是否借助 AI 辅助均有积累。引用评论补充称，来自 AI 实验室内部的消息显示 PL（编程语言）方向人才目前非常抢手，实验室希望大量招聘，认为当下正是时机。
「公司和人」频道最新
- 50人以下小公司不需要 AI 团队？顾问提出一人 AI 陪跑方案 — NirantK · 2026-10-23
- 前 OpenAI CPO Kevin Weil 创办 Warp,用机器人实验室加速药物发现 — gabepgomes · 2026-10-23
- 机器人数据远未饱和：用对冲基金逻辑看前沿实验室的数据采购战 — paigeinsf · 2026-10-23
- a16z 合伙人 Casado 力挺 Anthropic 起草的 AI 安全法案：相当合理 — typewriters · 2026-10-23
- OpenAI 解雇三名研究员：曾力保思维链可见，被查 Signal 后离职 — andersonbcdefg · 2026-10-23
- Hugging Face 在 GitHub 总部举办 Training Agents IRL 活动 — ben_burtenshaw · 2026-10-23