Macquarie University ARC Future Fellowship Domestic PhD Scholarship in Robust Autonomy 2025

The research focuses on leveraging neurosymbolic paradigms and model-based testing to enable deterministic testing of AI systems. It explores DSL-guided program induction to replace stochastic AI decision-making with deterministic symbolic logic, making these systems more testable. Additionally, the research transitions from probabilistic testing to testing that provides formal assurance, aiming to revive model-based testing by identifying violation cases against formal system properties.

The scholarship includes collaboration with industry partners, offering opportunities for corporate internships to deploy and evaluate theoretical frameworks in practical, real-world scenarios. Students are required to maintain open-source repositories to host source code and experimental results, promoting transparency and enabling industry adoption. In addition to these outputs, the research targets high-quality publications in prestigious venues such as CAV, ICSE, FSE, UbiComp, and PerCom, under the guidance of supervisors recognised as leaders in their fields.

This scholarship provides a unique opportunity to develop innovative, open solutions to pressing real-world challenges in AI-enabled systems.

Table of Content

• Summary
• Benefits
• Requirments
• Application Deadline
• How To Apply

Summary

• Application DeadlineOctober 31, 2025
• Study LevelPhD
• SponsorMacquarie University
• City to studyNew South Wales
• School to studyMacquarie University

Benefits

The scholarship comprises:

• A tuition fee offset/scholarship
• A living allowance stipend.

The value of each stipend scholarship is $38,500 per annum (full time, indexed) for three years.

Requirements

Candidates must have a minimum average mark of 80/100 (or equivalent) in their previous degree(s) and hold a bachelor's degree from a university ranked in the top 10 within their country or in the top 500 globally. Prior publications in reputable venues, such as Transactions journals or CORE A/A* conferences, are highly desirable. Ideal candidates should be self-motivated, detail-oriented, and driven by a passion for impactful research that integrates academic excellence with industry innovation

Ideal candidates are highly self-motivated, detail-oriented, and committed to impactful research that blends academic rigor with industry relevance.

Application Deadline

How To Apply

To apply for this scholarship, please contact [email protected] for any inquiries

For more details, visit Macquarie University Scholarship webpage