Artificial Intelligence (AI) models are widely used in decision making procedures in many real-world applications across important areas such as finance, healthcare, education, and safety critical systems. The fast growth, practical achievements and the overall success of modern approaches to AI guarantees that machine learning AI approaches will prevail as a generic computing paradigm, and will find an ever growing range of practical applications, many of which will have to do with various aspects of humans' lives including privacy and safety. As AI models on occasions fail, support biased decisions, and their decisions can be confusing due to brittleness, there is a critical need to understand their behaviour, analyse the (potential) failures of the models (or the data used to train them), debug them, and possibly repair them. This has given rise to a growing interest in validating the operation of AI models but also motivated efforts aiming at devising approaches to explainable artificial intelligence (XAI).
This project will build on the methodology of formal explainable AI (FXAI) and aim at advancing FXAI technology and broadening its use by seeking (1) how to efficiently represent an AI system of interest in a logical formalism; (2) how to apply efficient formal reasoning to understand the behaviour of an AI system in the form of provably correct abductive and contrastive explanations, the concepts well studied in the area of FXAI; and (3) how to provide guarantees of correctness for an AI system in light of the explanations computed.
Similar Positions
-
Senior People And Culture Partner, Deakin University, Australia, 16 days ago
Apply now Job no:555772 Work type:Full-time Location:Flexible, Geelong - City, Melbourne - Burwood Categories:Human / People Services Based at either our Geelong Waterfront or Melbourne Burwood Ca...
-
I Os Developer, RMIT University, Australia, about 7 hours ago
Overview: Full-time, Continuing position Salary Level / HEW 8 + 17% Superannuation and Flexible Working Arrangements Based at the Melbourne CBD campus, but may be required to work and/or be based ...
-
Cloud Dev Ops Engineer, University of Melbourne, Australia, 1 day ago
Job no: 0049705 Location: Parkville Role type: Full-time; Fixed-term for 4 years Department: Australian Research Data Commons (ARDC) Salary: UOM 7 - $106,432 - $115,211 p.a. plus 17% super Contrib...
-
Manager, Scholarly Resources, Victoria University, Australia, 16 days ago
Job Description Exciting opportunity within the University Librarian department Join an agile, collaborative and high performing team Flexible working arrangements About Us: At Victoria University...
-
Senior Advisor (International Governance), University of Melbourne, Australia, 9 days ago
Job no: 0065374 Location: Parkville Role type: Full-time; Continuing Department: Research, Innovation and Commercialisation Salary: UOM 8 – $119,742-$129,607 p.a. plus 17% super Safeguard the glob...
-
Journals Data Analyst, CSIRO, Australia, 4 days ago
Acknowledgement of Country CSIRO acknowledges the Traditional Owners of the land, sea and waters, of the area that we live and work on across Australia. We acknowledge their continuing connection ...