3 formal-methods PhD positions in Australia

PhD Scholarship in bias propagation in generative AI-driven decision systems and its implications for trust, governance, and regulatory compliance

Monash University | Melbourne, Victoria | Australia | about 6 hours ago

. The candidate will contribute to the development of empirically validated methods for identifying and mitigating such effects. The research will involve experimental studies, neurophysiological methods (e.g., eye

PhD Scholarship in Applied Physics: Laser-synthesized nanomaterials for new biological applications

RMIT University | Melbourne, Victoria | Australia | 23 days ago

the pioneers of methods based on ultrashort laser ablation in liquid ambient. These methods are now considered as the most efficient among laser-ablative pathways to finely control size and physico-chemical

Analytics for the Australian Grain Industry (AAGI) PhD Scholarships

University of Adelaide | Adelaide, South Australia | Australia | about 7 hours ago

advances in process-based crop models such as APSIM, their integration often remains limited. This project proposes to get more out of on-farm data streams and process models through their more formal