Message-ID:

"Lead us in a few words of silent prayer." -- Bill Peterson, former Houston Oiler football coach

devel / comp.lang.prolog / Research position at Monash University for Neurosymbolic project

Research position at Monash University for Neurosymbolic project

<8a4bbc52-a596-45a6-b53c-b70802a7af9an@googlegroups.com>

https://www.rocksolidbbs.com/devel/article-flat.php?id=2141&group=comp.lang.prolog#2141

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:620a:8592:b0:76f:f5f:f0ba with SMTP id pf18-20020a05620a859200b0076f0f5ff0bamr52874qkn.5.1695243245213;
Wed, 20 Sep 2023 13:54:05 -0700 (PDT)
X-Received: by 2002:a05:6808:3293:b0:3ad:f6ad:b9cc with SMTP id
cg19-20020a056808329300b003adf6adb9ccmr843820oib.10.1695243244852; Wed, 20
Sep 2023 13:54:04 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Wed, 20 Sep 2023 13:54:04 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=120.148.31.80; posting-account=HscvwAoAAAC8gywou2msLzbppvUt4yvY
NNTP-Posting-Host: 120.148.31.80
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8a4bbc52-a596-45a6-b53c-b70802a7af9an@googlegroups.com>
Subject: Research position at Monash University for Neurosymbolic project
From: maria.garciadelabanda@monash.edu (Maria Garcia De La Banda Garcia)
Injection-Date: Wed, 20 Sep 2023 20:54:05 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1749

by: Maria Garcia De La B - Wed, 20 Sep 2023 20:54 UTC

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

Subject	Author
Research position at Monash University for Neurosymbolic project	Maria Garcia De La Banda Garcia