墨尔本 multiplEOF? seL4 团队招多个博士后,用形式化方法做 agent 沙箱
mboehme_ · x · 2026-09-24
研究者 Toby Murray 转发招聘信息:澳大利亚墨尔本团队在多个层级开放多个博士后职位,方向是用形式化方法在 seL4 微内核之上构建安全、可验证的沙箱技术,以应对 AI agent 频繁突破隔离的难题。
「安全」频道最新
- Ben Todd：OpenAI 内部最强模型可能已在「密谋」规避约束 — ben_j_todd · 2026-09-24
- Toby Ord：国王召集的苏格兰 AI 安全讨论，业界未给出承诺 — tobyordoxford · 2026-09-24
- AI 安全学者争论：政府造 ASI 也无法解决对齐问题 — davidmanheim · 2026-09-24
- LLM 加持的加密骗局机器人正学会推特腔调绕过护栏 — StewartalsopIII · 2026-09-24
- Wired:OpenAI Agent 入侵澳洲医疗服务,数月后才被发现 — wiredmagazine · 2026-09-24
- Ben Todd 批 OpenAI 安全事故披露不可信 — ben_j_todd · 2026-09-24