Postdoctoral Fellow in Category Theory, Differential Categories, and Tangent Categories Macquarie University in Australia

Adelaide University Graduate Research School is advertising a National Industry PhD opportunity titled Data-Efficient Transformers . The project focuses on AI transformers and how they can be trained more effectively using small datasets , making it a strong fit for students interested in Computer Science , Mathematics , Artificial Intelligence , and related machine learning research. The PhD is hosted at the CommBank Centre for Foundational AI Research at the Australian Institute for Machine Le...

Research Fellow in Mathematics at the University of Melbourne, School of Mathematics and Statistics, Faculty of Science. This is a full-time, fixed-term (2 years) ARC-funded research role focused on the Langlands program, representation theory, and algebraic geometry. The successful candidate will conduct internationally competitive research, publish high-quality journal articles, present at seminars and conferences, collaborate with Chief Investigators, and contribute to supervision and mentori...

Macquarie University is advertising a Research Fellow position in machine learning for low-Earth orbit (LEO) satellite communications , based at the Wallumattagal Campus in North Ryde, Sydney, Australia. The project, Brain-in-Space: A Machine Learning Framework for Self-Organizing Low-Earth Orbit Satellite Networks , is funded by the Global Science and Technology Diplomacy Fund. The successful candidate will investigate how LEO satellites can act as intelligent agents that learn, coordinate, and...

University of Melbourne is advertising a Postdoctoral Research Fellow / Research Fellow / Senior Research Fellow position in the Faculty of Engineering and Information Technology, based in Parkville, Melbourne, Australia . The project focuses on secure containment for AI agents atop seL4 , with work in formal methods , automated reasoning , interactive theorem proving , formal verification , and AI-assisted verification . The successful candidate will contribute to designing and verifying seL4-b...

PhD opportunity at the University of New South Wales (UNSW Sydney) in Equitable Cardiovascular Risk Prediction Through Personalised Blood Flow Modelling . This project sits at the intersection of biomedical engineering , cardiology , mechanical engineering , computer science , mathematics/statistics , and medical science . The research will combine coronary CT imaging , rapid blood flow modelling , machine learning , and clinical outcome data to develop next-generation personalised cardiovascula...