Sort by
Refine Your Search
-
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
-
control protocols for intrinsically protected quantum hardware. About you Applicants should have a PhD in theoretical physics, quantum physics, or a closely related discipline, together with expertise in
Searches related to control
Enter an email to receive alerts for control positions