Postdoctoral position on logic-based approaches to explanations in AI, Sydney (Australia)

We are looking for a postdoc to work on logic-based approaches to explanations in AI with Sasha Rubin at the University of Sydney. The main eligibility criterion is that the candidate has received their PhD in the last 5 years, and be an Australian citizen, Australian permanent resident or New Zealand Special Category Visa Holder. The postdoc is funded by the Australian Office of National Intelligence.