Published: 03 Jun 2025 53 views
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.
The scholarship comprises:
The value of each stipend scholarship is $38,500 per annum (full time, indexed) for three years.
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.
To apply for this scholarship, please contact [email protected] for any inquiries
For more details, visit Macquarie University Scholarship webpage
A friend or someone might be interested in this opportunity, kindly share.