# Research roles at Melbourne on seL4, agentic security, neural theorem proving

**URL:** <https://discourse.rocq-prover.org/t/research-roles-at-melbourne-on-sel4-agentic-security-neural-theorem-proving/3127>\
**Category:** Jobs\
**Created:** [October 5, 2026, 4:50am UTC](https://discourse.rocq-prover.org/t/research-roles-at-melbourne-on-sel4-agentic-security-neural-theorem-proving/3127 "2026-10-05T04:50:00Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![toby.murray](https://avatars.discourse-cdn.com/v4/letter/t/ac8455/32.png) [@toby.murray](https://discourse.rocq-prover.org/u/toby.murray)\
**Post date:** [October 5, 2026, 4:50am UTC](https://discourse.rocq-prover.org/t/research-roles-at-melbourne-on-sel4-agentic-security-neural-theorem-proving/3127/1 "2026-10-05T04:50:00Z")

</div>

Research positions in seL4, formal verification and AI-assisted theorem proving for agentic security at the University of Melbourne

The University of Melbourne is recruiting Postdoctoral Research Fellows / Research Fellows / Senior Research Fellows to work on the Agentic-seL4 project ([https://agentic-sel4.github.io](https://agentic-sel4.github.io/)), an international collaboration with the Universities of Surrey and Sheffield.

The project is developing formally verified mechanisms on top of seL4 for securely containing AI agents, together with AI-assisted verification techniques and proof agents for maintaining and extending large-scale Isabelle/HOL developments.

We are interested in candidates with expertise in one or more of interactive theorem proving, formal verification, seL4, information-flow/security foundations, automated reasoning, or AI-assisted theorem proving. Experience with Isabelle/HOL is particularly relevant, but substantial experience with other proof assistants is also welcome.

The positions are based at the University of Melbourne, Australia, and may be appointed at Levels A, B or C. They are fixed-term until November 2027. Visa sponsorship is possible, but preference will be given to candidates who are able to start promptly.

Applications close Saturday 24 October 2026, 11:55pm Melbourne time.

Full details and application:

> **[Postdoctoral Research Fellow / Research Fellow / Senior Research Fellow](https://unimelb.wd105.myworkdayjobs.com/UoM_External_Career/job/Parkville/Postdoctoral-Research-Fellow---Research-Fellow---Senior-Research-Fellow_JR-018549)**
>
> Role type: Full time, Fixed-term until November 2027 (part-time considered) Faculty: Faculty of Engineering and Information Technology Salary: Level A - $87,266 - $118,416 p.a. plus 17% super Level B - $124,656 - $148,023 p.a. plus 17% super Level C...