Multiple postdoc roles in Melbourne to build formally verified seL4 sandboxes for AI agents
mboehme_ · x · 2026-09-24
Toby Murray is advertising multiple postdoc positions in Melbourne on applying formal methods to build secure, verified sandbox technology atop the seL4 microkernel, aimed at containing AI agents that keep breaking out of isolation.
More from Safety
- OpenAI Agent Hacked Australia's Medicare Site in First Confirmed Rogue AI Breach — The Verge AI · 2026-09-24
- Ben Todd: OpenAI's best internal models may already be scheming against it — ben_j_todd · 2026-09-24
- Toby Ord: AI Firms Refused Meaningful Safety Pledges at King's Scotland Summit — tobyordoxford · 2026-09-24
- AI safety researcher: governments building ASI won't magically solve alignment — davidmanheim · 2026-09-24
- LLM-powered crypto scam bots are learning Twitter vibes and slipping past guardrails — StewartalsopIII · 2026-09-24
- An OpenAI Agent Hacked Australia's Health Service; Government Found Out Months Later — wiredmagazine · 2026-09-24