From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10702 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Ichiro Hasuo Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.logic.coq.club Subject: post-doc & programmer positions in Tokyo, Japan Date: Fri, 25 Mar 2022 20:15:24 +0900 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============5419256463439482996==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="13840"; mail-complaints-to="usenet@ciao.gmane.io" To: announcements-xIg/pKzrS1+z+1QnA0p122WpMmwukr/P2LY78lusg7I@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, pvs-1VPwtPCARB1BDgjK7y7TUQ@public.gmane.org, fmcad-wNjIbZq71S3S/e0kzai8jze48wsgrGvP@public.gmane.org, hscc-bGTZWsvkwUHhn2KNwJGQxje48wsgrGvP@public.gmane.org, qest-announce-TJsy3cf/uAxAhnS2Dpkm1w@public.gmane.org, coq-club-MZpvjPyXg2s@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Fri Mar 25 13:35:04 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 1nXj9j-0003Nc-VF for gcst-types-announce@m.gmane-mx.org; Fri, 25 Mar 2022 13:35:04 +0100 Original-Received: from pps.filterd (m0172794.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.16.1.2/8.16.1.2) with ESMTP id 22P5vdLb031065; Fri, 25 Mar 2022 08:34:34 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-00390e01.pphosted.com (PPS) with ESMTP id 3f0arcqn54-1; Fri, 25 Mar 2022 08:34:34 -0400 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 22PCYQa0015061; Fri, 25 Mar 2022 08:34:26 -0400 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 22PCYPCs117269; Fri, 25 Mar 2022 08:34:25 -0400 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 22PBFb0T110404 for ; Fri, 25 Mar 2022 07:15:37 -0400 Original-Received: from pps.filterd (m0172794.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.16.1.2/8.16.1.2) with ESMTP id 22P49a0a004143 for ; Fri, 25 Mar 2022 07:15:37 -0400 Original-Received: from mail-ej1-f46.google.com (mail-ej1-f46.google.com [209.85.218.46]) by mx0b-00390e01.pphosted.com (PPS) with ESMTPS id 3f0arcpvns-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Fri, 25 Mar 2022 07:15:37 -0400 Original-Received: by mail-ej1-f46.google.com with SMTP id yy13so14691883ejb.2 for ; Fri, 25 Mar 2022 04:15:37 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=sS7Uc59CpW9b/JQ0Guvo6kSZDSVIM7qNr+i7Glbu9zc=; b=77h0VR7djcLXhvPV1lv82PQ+bu/1LSZZSqZpUiX5oTyX+1RplAyZ+b+sYNCJe5rK/x pk+DxnvsdghT2EmoB/yuzwkWXAb/DByabSi84q0KnwrN/9yEXaaeCMretM3d4gpu/18q hdgvQSGokAE4p7/4cALW23+vgHXX86p6VJANXbXpCWqBCo97G+YtCR9nChF+V+5GZ8RF Ud9jdUMOBnUZePzNf0T3ZbDRYD+F5TMmlE3X0MIa9sQHmy55Gw0Jvq9loM9nSweHnHxI DwQkKGWv8IaKRCoQe76rxhhUEOuduJ2y1bLyIUVQM2FgXkSOjdXOoPIwxl1Bd4PK7HkP he1A== X-Gm-Message-State: AOAM531EbyA1HXeF5/X7UDWzcXYt/J3AMo3pjob7j3gIg+09iVPyGFpl e2Ihc7ZOG8CQ3oG+WSYX+cH5jKk8Ht6bCJpMs/yr/mVG0mo= X-Google-Smtp-Source: ABdhPJxAQpn9JWmA8oXa66GMyR8VQYrRltYCzdCQDVobhI9bbqiWzSbqbAvQj5BruJIkl1yNbvJOoD40dhe+vpdoM/c= X-Received: by 2002:a17:906:6a11:b0:6d7:76cc:12f6 with SMTP id qw17-20020a1709066a1100b006d776cc12f6mr10842518ejc.456.1648206935559; Fri, 25 Mar 2022 04:15:35 -0700 (PDT) X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.850,Hydra:6.0.425,FMLib:17.11.64.514 definitions=2022-03-25_02,2022-03-24_01,2022-02-23_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=2 spamscore=12 suspectscore=0 bulkscore=0 priorityscore=0 mlxscore=12 lowpriorityscore=0 adultscore=0 malwarescore=0 phishscore=0 mlxlogscore=88 clxscore=168 impostorscore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2203250064 domainage_hfrom=10997 X-Mailman-Approved-At: Fri, 25 Mar 2022 08:34:24 -0400 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-ORIG-GUID: pM2Gcv-MobtHhAAMk86wxcnCZBeWDuvt X-Proofpoint-GUID: pM2Gcv-MobtHhAAMk86wxcnCZBeWDuvt X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.850,Hydra:6.0.425,FMLib:17.11.64.514 definitions=2022-03-25_02,2022-03-24_01,2022-02-23_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 spamscore=0 suspectscore=0 bulkscore=0 priorityscore=1501 mlxscore=0 lowpriorityscore=0 adultscore=0 malwarescore=0 phishscore=0 mlxlogscore=958 clxscore=1011 impostorscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2203250070 Xref: news.gmane.io gmane.comp.science.types.announce:10202 gmane.science.mathematics.categories:10702 gmane.science.mathematics.logic.coq.club:23127 Archived-At: --===============5419256463439482996== 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 ] --===============5419256463439482996== Content-Type: multipart/alternative; boundary="000000000000e9130205db091425" --000000000000e9130205db091425 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: Quoted-printable Dear all, We have two open positions (post-doc and a scientific programmer) at NII, Tokyo, Japan. The scope is the combination of logic and optimization metaheuristics. They are funded by the ERATO MMSD project (extended till March 2025). Please find further details at https://urldefense.com/v3/__https://group-mmm.org/eratommsd/open-positions/= __;!!IBzWLUs!BZrieZ9BFdwav9IJXEE2J9SUW4Se9KXJ7zF76na_tZjW5MD9i8he0VLcFP4JIO= ys4AONs0qArMuE1A$=20 Thanks a lot for your consideration. Best, Ichiro =3D=3D=3D=3D=3D=3D Ichiro Hasuo Associate Professor, National Institute of Informatics i.hasuo-HInyCGIudOg@public.gmane.org Secretaries: hasuolab-secr-5aC7G4kDdWR4Eiagz67IpQ@public.gmane.org https://urldefense.com/v3/__http://group-mmm.org/*ichiro/__;fg!!IBzWLUs!BZr= ieZ9BFdwav9IJXEE2J9SUW4Se9KXJ7zF76na_tZjW5MD9i8he0VLcFP4JIOys4AONs0pd3Imx0w= $=20 --000000000000e9130205db091425 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: Quoted-printable
Dear all,

We have two open positions (p= ost-doc and a scientific programmer) at NII, Tokyo, Japan. The scope is the= combination of logic and optimization metaheuristics. They are funded by t= he ERATO MMSD project (extended till March 2025).

= Please find further=C2=A0details at

Thanks a lot for your consideration.
Best, Ichiro
=3D=3D=3D=3D=3D=3D
Ichiro Hasuo
Associate Professor, Nat= ional Institute of Informatics
i.hasuo-HInyCGIudOg@public.gmane.org =C2=A0 =C2=A0 Secretaries: hasuolab-secr-5aC7G4kDdWR4Eiagz67IpQ@public.gmane.orghttp://group-mmm.org/~ichiro/
--000000000000e9130205db091425-- --===============5419256463439482996==--