From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10850 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Luke Ong Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.logic.coq.club Subject: Fwd: Postdoc positions in Probabilistic Programming, in Singapore Date: Mon, 7 Nov 2022 21:18:17 +0800 Message-ID: References: Reply-To: Luke.Ong-6XCrzUfQPq310XsdtD+oqA@public.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============0250785118110368553==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="30365"; mail-complaints-to="usenet@ciao.gmane.io" To: types-announce , categories-59hdLBrVOVU@public.gmane.org, pvs-1VPwtPCARB1BDgjK7y7TUQ@public.gmane.org, hscc-bGTZWsvkwUHhn2KNwJGQxje48wsgrGvP@public.gmane.org, coq-club-MZpvjPyXg2s@public.gmane.org, ml-mrEvjEli4ZAJrcTbIn6FzVpr/1R2p/CL@public.gmane.org, oxcsml-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Tue Nov 08 10:49:43 2022 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0b-00390e01.pphosted.com ([148.163.137.158]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1osLEk-0007hH-U2 for gcst-types-announce@m.gmane-mx.org; Tue, 08 Nov 2022 10:49:43 +0100 Original-Received: from pps.filterd (m0172794.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 2A89ZNfY007490; Tue, 8 Nov 2022 04:49:08 -0500 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-00390e01.pphosted.com (PPS) with ESMTP id 3kp55v4qb6-1; Tue, 08 Nov 2022 04:49:07 -0500 Original-Received: from rhizome.seas.upenn.edu (rhizome.seas.upenn.edu [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 2A89n0mq093244; Tue, 8 Nov 2022 04:49:00 -0500 Original-Received: from rhizome.seas.upenn.edu (localhost.upenn.edu [127.0.0.1]) by rhizome.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 2A89n0Y1098193; Tue, 8 Nov 2022 04:49:00 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0b-00390e01.pphosted.com (mx0b-00390e01.pphosted.com [148.163.137.158]) by rhizome.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 2A7DIuqi111921 for ; Mon, 7 Nov 2022 08:18:56 -0500 Original-Received: from pps.filterd (m0172794.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 2A7Cs22l006940 for ; Mon, 7 Nov 2022 08:18:56 -0500 Original-Received: from relay17.mail.ox.ac.uk (relay17.mail.ox.ac.uk [129.67.1.165]) by mx0b-00390e01.pphosted.com (PPS) with ESMTPS id 3kp55unq2k-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Mon, 07 Nov 2022 08:18:56 -0500 Original-Received: from mail.cs.ox.ac.uk ([129.67.151.64]) by relay17.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1os21e-000AB9-5p for types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org; Mon, 07 Nov 2022 13:18:54 +0000 Original-Received: from smtp.cs.ox.ac.uk ([129.67.151.31]:53124) by mail.cs.ox.ac.uk with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.92.3) (envelope-from ) id 1os21e-0002BD-5f for types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org; Mon, 07 Nov 2022 13:18:54 +0000 Original-Received: from mail-ed1-f45.google.com ([209.85.208.45]) by smtp.cs.ox.ac.uk with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.94.2) (envelope-from ) id 1os21Y-00063H-Mx for types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org; Mon, 07 Nov 2022 13:18:52 +0000 Original-Received: by mail-ed1-f45.google.com with SMTP id v17so17503164edc.8 for ; Mon, 07 Nov 2022 05:18:54 -0800 (PST) X-Gm-Message-State: ACrzQf23+b+o12I1bNtZ/2HvcrojbGzlGek9MBK/C+Blw/To1d6hvgWa IHEg9OmXoRIZkfTh53gtG2oJiqfaVwcx0YHV2sU= X-Google-Smtp-Source: AMsMyM5TGHK9rjeGoEVCfyxRIsXMZolyRH7jyL+kaxCJTrjfqU1uxSAnEDIsIHjNI3FA22f2058edbEKzM9yWq9CdWY= X-Received: by 2002:a05:6402:35cf:b0:462:67bf:94a9 with SMTP id z15-20020a05640235cf00b0046267bf94a9mr49535355edc.1.1667827133781; Mon, 07 Nov 2022 05:18:53 -0800 (PST) In-Reply-To: X-Gmail-Original-Message-ID: X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.219,Aquarius:18.0.895,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-11-07_06,2022-11-07_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=0 clxscore=203 suspectscore=0 bulkscore=0 lowpriorityscore=0 spamscore=0 adultscore=0 mlxscore=0 phishscore=0 impostorscore=0 malwarescore=0 mlxlogscore=785 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2210170000 definitions=main-2211070108 X-Mailman-Approved-At: Tue, 08 Nov 2022 04:48:57 -0500 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.35 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-GUID: f4TDsoib5zjc6MzkhDEY32EqpmdyJPDw X-Proofpoint-ORIG-GUID: f4TDsoib5zjc6MzkhDEY32EqpmdyJPDw X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.219,Aquarius:18.0.895,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-11-07_11,2022-11-07_02,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 clxscore=1011 suspectscore=0 bulkscore=0 lowpriorityscore=0 spamscore=0 adultscore=0 mlxscore=0 phishscore=0 impostorscore=0 malwarescore=0 mlxlogscore=999 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2210170000 definitions=main-2211080052 Xref: news.gmane.io gmane.comp.science.types.announce:10561 gmane.science.mathematics.categories:10850 gmane.science.mathematics.logic.coq.club:23165 Archived-At: --===============0250785118110368553== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============0250785118110368553== Content-Type: multipart/alternative; boundary="000000000000db1d6f05ece143f1" --000000000000db1d6f05ece143f1 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: Quoted-printable We invite motivated and well-qualified researchers to work on Bayesian Statistical Probabilistic Programming, as part of a research programme funded by the National Research Foundations, Singapore. The appointees will be hosted by the School of Computer Science and Engineering, Nanyang Technological University, Singapore. ************************************************************************** - Application deadline: November 30, 2022 - Starting date: flexible - Duration: 2 years, possible extension up to 5 years - Principal investigator: Luke Ong - Contact: luke.ong-HU4z9rI8l8CLvajZxc+D7Q@public.gmane.org ************************************************************************** Further details: https://urldefense.com/v3/__https://www3.ntu.edu.sg/home/l= uke.ong/Vacancies/index.html__;!!IBzWLUs!TONVbAL0Zcd7y0HgjcNNaE5mQkVv-Oc0AP= d_f2fD2PMZl-tZ5BRnzZl7GJZqOB8Va1E96f66HRM5HdeJnPbqAQwZeaqhxJ_OOWM$=20=20 --000000000000db1d6f05ece143f1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: Quoted-printable
We invite motivated and well-qu= alified researchers to work on Bayesian
Statistical Probabilistic Programming, as part of a research programme
funded by the National Research Foundations, Singapore. The appointees
will be hosted by the School of Computer Science and Engineering,
Nanyang Technological University, Singapore.
**************************************************************************<= br> - Application deadline: November 30, 2022
- Starting date: flexible
- Duration: 2 years, possible extension up to 5 years
- Principal investigator: Luke Ong
- Contact: luke.on= g@ntu.edu.sg
**************************************************************************<= br> Further details: https://www3.ntu.edu.sg/home/luke.= ong/Vacancies/index.html
--000000000000db1d6f05ece143f1-- --===============0250785118110368553==--