-
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
-
and computational modelling aspects of the project, extending our work on symmetry-protected quantum states in interacting many-body systems and their implementation in superconducting quantum circuits
-
may include electromagnetic ISAC channel modelling, waveform and transceiver design, sensing signal processing, AI/ML-enabled radio interfaces, MIMO beamforming and channel estimation, interference
-
machine-learning, predictive-modelling or multivariate methods to behavioural and/or EEG data. Proficiency in R, MATLAB and Python. What we can offer In return we offer a generous pension, relocation
-
, their fabrication and characterisation in order to be translated to industry with our partners. This includes laboratory experimentation, critical evaluation and interpretation, computer-based theoretical modelling
-
that are essential for Mycobacterium tuberculosis to cause disease. As a group we are applying an integrated systems approach of microbiology, biochemistry, molecular biology, multi-omics and mathematical modelling
-
approach of microbiology, biochemistry, molecular biology, multi-omics and mathematical modelling to understanding the role of metabolic pathways in the virulence and antimicrobial susceptibility