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.
For more information, have a look at https://careers.pageuppeople.com/513/cw/en/job/656416/research-fellow