-
of Melbourne, has two closely connected aims. First, we will develop a formally verified reference monitor on top of seL4 for the secure containment of AI agents, including mechanisms for dynamically controlling
-
2026 - 00:00 (UTC) Country United Kingdom Type of Contract Other Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to
-
Galactic Dynamics; programming experience relevant to scientific research; the ability to communicate research clearly through written work, presentations and collaboration; a track record of research
Searches related to computational dynamic
Enter an email to receive alerts for computational-dynamic positions