-
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
-
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
-
astrophysics, physics or a closely related discipline; experience with research in Galactic Dynamics; programming experience relevant to scientific research; the ability to communicate research clearly through
Searches related to dynamic
Enter an email to receive alerts for dynamic positions