ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
University of Melbourne
This role involves joining an international project to secure AI agents using formally verified seL4-based reference monitors. The position focuses on developing AI-assisted verification techniques and contributing to large-scale Isabelle/HOL proof engineering within a dynamic research team. The successful candidate will collaborate with world-leading experts to shape next-generation AI-assisted verification tools and build safer AI systems.
Headquarters
University Of Melbourne, Victoria, Australia
Company Size
5001-10000 employees
Founded
1853
Australia's number one university and world leader in education, teaching and research. We offer a vast range of study courses and research programs.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for University of Melbourne.
University of Melbourne didn’t post a salary, so this is our estimate from similar listings.
23% above the average for this role
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Postdoctoral Fellowship
Carnegie Mellon University
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox