From Newsgroup: comp.lang.prolog
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
--- Synchronet 3.20a-Linux NewsLink 1.114