Research Position on Neuro-Symbolic Systems, Monash University

We are looking for a Research Fellow (12-month position; AUS $111,603 – $132,529 per year plus 17% superannuation) to work on the project “HARNESS: Hierarchical Abstractions and Reasoning for Neuro-Symbolic Systems”. Ideally, the candidate will have knowledge in symbolic knowledge representation and reasoning (including temporal logics and Answer Set Programming) in the context of neural-symbolic systems and/or  Discrete optimization and/or Boolean satisfiability.