Postdoctoral Research Fellow / Research Fellow / Senior Research Fellow in Formal Methods, AI Verification, and Secure AI Containment University of Melbourne 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...

Short-term postdoctoral research opportunity in Australia focused on Vision Transformers (ViTs) , Vision-Language Models (VLMs) , computer vision , deep learning , and multimodal AI . The post is shared by Prof Mohammad Ali Moni , Professor and Program Lead in AI & Digital Health Technology at the AI & Cyber Futures Centre , Charles Sturt University . The opportunity is for an Australia-based Postdoctoral Researcher and may be part-time, full-time, or casual . This is a research-focused opening ...

Adelaide University Graduate Research School is advertising an Industry PhD opportunity in AI, privacy, cybersecurity , and homomorphic encryption . The project, titled Confidential by Design: Transformer Architectures Tailored to Fully Homomorphic Encryption , explores how transformer models can process sensitive data while it remains encrypted, with clear applications in privacy-preserving financial services. The PhD area is listed as Computer Science / Mathematics , and the project is run wit...

Adelaide University and DDDI Group are advertising a PhD opportunity focused on AI, machine learning, optimisation, programming, and urban planning for a real-world housing development challenge: Unlocking Australia’s Hidden Housing Supply . The project aims to develop AI and optimisation tools that can identify development potential, generate subdivision plans, and navigate complex planning requirements. This is a strong fit for applicants interested in computational methods applied to housing,...

Vrije Universiteit Amsterdam is advertising a PhD position in Formal Methods for Concurrent Cryptographic Protocols at the Faculty of Science, Department of Computer Science, in Amsterdam, Netherlands . The project focuses on using formal methods to develop systematic ways to describe concurrent cryptographic protocols and reason about their security. The successful candidate will conduct research on formal reasoning principles for protocol security, contribute to dissemination activities such a...