Hello everyone,
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 (e.g., temporal logics and/or 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
Cheers, Maria
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)