Published: 03 Jun 2025 72 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.
Established in 1964, Macquarie University began as a bold experiment in higher education. Built to break from traditions: to be distinctive, progressive, and to be transformational. Today our pioneering history continues to be a source of inspiration as we celebrate our place among the best and brightest minds. Recognised internationally, Macquarie University is consistently ranked in the top two per cent of universities in the world* and within the top 10 in Australia*. Our research is leading the way in ground-breaking discoveries. Our academics are at the forefront of innovation and, ... continue reading
Application Deadline | 31 Oct 2025 |
Country to study | Australia |
School to study | Macquarie University |
Type | PhD |
Sponsor | Macquarie University |
Gender | Men and Women |
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