U
Premium Job
Postdoctoral Research Fellow – Secure AI Containment & Formal Methods (seL4)
Job Description
Role type: Full time, Fixed-term until November 2027 (part-time considered)Faculty: Faculty of Engineering and Information TechnologySalary: Level A - $87,266 - $118,416 p.a. plus 17% superLevel B - $124,656 - $148,023 p.a. plus 17% superLevel C - $152,695 - $176,065 p.a. plus 17% superWork on secure containment for AI agents atop seL4 / collaborate with world-leading formal methods experts / shape next-generation AI...
Premium Job
Sign up is free! Login or Sign up to view full details and apply.
- Full job description
- AI summary & key highlights
- Required skills & benefits
- Direct apply link
Similar Jobs
Explore other opportunities that match your interests
Principal Engineer – Autonomy
••••••
••••••
••••••
Job Type
••••••
Experience Level
••••••
fortescue
Australia
Enablement Lead, APAC
••••••
••••••
••••••
Job Type
••••••
Experience Level
••••••
anthropic
Australia
Visa Sponsorship
Relocation
Remote
Job Type
Full-time
Experience Level
Not Applicable
pluralis research
Australia