From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10421 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Peter LeFanu Lumsdaine Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: 2-year researcher position in HoTT, Stockholm University; deadline 9 April Date: Mon, 22 Mar 2021 12:31:47 +0000 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============2763745483856750600==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="11509"; mail-complaints-to="usenet@ciao.gmane.io" To: "HomotopyTypeTheory-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org" , constructivenews-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org, logik-AtZWghHxK2bLoDKTGw+V6w@public.gmane.org, Categories list , types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Mon Mar 22 13:34:55 2021 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0b-000c2a01.pphosted.com ([148.163.155.36]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lOJlm-0002mN-UD for gcst-types-announce@m.gmane-mx.org; Mon, 22 Mar 2021 13:34:55 +0100 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.1.2/8.16.1.2) with SMTP id 12MCUW0Z011861; Mon, 22 Mar 2021 08:33:59 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-000c2a01.pphosted.com with ESMTP id 37db9r0rxx-1; Mon, 22 Mar 2021 08:33:58 -0400 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 12MCXpvS104395; Mon, 22 Mar 2021 08:33:51 -0400 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 12MCXowd068797; Mon, 22 Mar 2021 08:33:51 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0a-00390e01.pphosted.com (mx0a-00390e01.pphosted.com [148.163.133.158]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 12MCW3H4068145 for ; Mon, 22 Mar 2021 08:32:03 -0400 Original-Received: from pps.filterd (m0172792.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 12MCQ6vB026327 for ; Mon, 22 Mar 2021 08:32:03 -0400 Original-Received: from mail-lj1-f172.google.com (mail-lj1-f172.google.com [209.85.208.172]) by mx0a-00390e01.pphosted.com with ESMTP id 37dx5tj6e4-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Mon, 22 Mar 2021 08:32:03 -0400 Original-Received: by mail-lj1-f172.google.com with SMTP id u20so20755687lja.13 for ; Mon, 22 Mar 2021 05:32:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=Vp6H1xf1y9B/N234vpkU1I6rWEfhnuq/9jGc/F1mqtc=; b=LBmDnLBEs7M1Wb4tSmOP9VBczNFyUJkR4tCW1qZE3gxhNUI0LKtEJlBXvjzf3gyCXy 1rEK7WY/yNsl0Hp1yUUQNWITflI52Yqr+G4TOfHyTeAetrS0TvK6tIHIwAlD2wie1pur 2xl2t+f6nprtm/xF182ddTLzVCKJPPtyZjrxzkUlA9NIjOd7lM9L+75YhLqXclA9cuL9 DPL2BZFTUyTPqRJODO7E1FkxaSEmu2REob1ZeN9CD/r+xZjkf51VImVvOiM2bYqVmUKp V4ivBSyxLV6y+WazfwSDZb/nr3nUJVvhVjT0QUE2bAmVA5ndCmtzhil3yUoQG4TOgyLC pZ9Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=Vp6H1xf1y9B/N234vpkU1I6rWEfhnuq/9jGc/F1mqtc=; b=iqO6y6SeJ1HX0AhJDQNcmN7Uo4iRdUYU9ErODqWq1hUOEzjxMol6kqK8NhfRyABc9C L043Lo9Jx62vr/Gha9paouIr+xqL2zajhTiC2w0pjeT55TeKbmGsygP753QLyG8OEgCf pDPZKX6Qmv37joUyIWOkVIwucRjb1laWOrjYNmiIJ/R8bNaooWbC4ta9o7x8LJxDqDQt eOTfQ3L/6pR2lwWW0Vz9orKV9HYWuDyRKGdh89V7BSd9pqBorSW6BIZhDztaCE20V4LD 7jR6M21y4t9eTJyMAgbo/e/96L5Xnk0MsIg2wDfpf0VRUTV5S0mtbeL/OPj6cNnP/OUG mxzw== X-Gm-Message-State: AOAM5332fzmF8wDIk/RCkO/HmmCDpR9RfDVOY6sKNBBc6nnnSrheMfwL CSATzNVYl+7c3Pde6P55SnaXLb5ea2T9CCF92jo= X-Google-Smtp-Source: ABdhPJyAAVuyXYV9TFhhfFZUyK68wpxSxTh05nA+N0+6ltbACBBwJFam/ZcGRUuqerkrnx10WAZTbM0CNnpkuHTLg2Q= X-Received: by 2002:a2e:974f:: with SMTP id f15mr9660683ljj.352.1616416321002; Mon, 22 Mar 2021 05:32:01 -0700 (PDT) X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.369, 18.0.761 definitions=2021-03-22_07:2021-03-22, 2021-03-22 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 mlxscore=0 priorityscore=328 adultscore=0 clxscore=206 suspectscore=0 impostorscore=0 bulkscore=0 malwarescore=0 spamscore=0 mlxlogscore=720 phishscore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2103220091 domainage_hfrom=9353 X-Mailman-Approved-At: Mon, 22 Mar 2021 08:33:48 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.34 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-Virus-Version: vendor=baseguard engine=ICAP:2.0.136,Aquarius:18.0.761,Hydra:6.0.369,FMLib:17.0.607.475 definitions=2021-03-22_07,2021-03-22_03,2020-04-07_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 adultscore=0 priorityscore=1501 lowpriorityscore=0 bulkscore=0 mlxlogscore=999 impostorscore=0 phishscore=0 spamscore=0 clxscore=1034 malwarescore=0 mlxscore=0 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2103220091 Xref: news.gmane.io gmane.comp.science.types.announce:9514 gmane.science.mathematics.categories:10421 Archived-At: --===============2763745483856750600== 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 ] --===============2763745483856750600== Content-Type: multipart/alternative; boundary="0000000000009f600005be1f4072" --0000000000009f600005be1f4072 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, I=E2=80=99m pleased to announce that we=E2=80=99re hiring for a researcher = position in Homotopy Type Theory at Stockholm University. It=E2=80=99s a 2 year positi= on, provisionally starting this August, in the logic group of the Mathematics Department, supported by the Wallenberg Foundation project grant =E2=80=9CT= ype Theory for Mathematics and Computer Science=E2=80=9D (PI Thierry Coquand). = The application deadline is 9 April. We welcome all applicants interested in working on homotopy type theory and related topics =E2=80=94 either with previous background in HoTT, or with background in related fields but interested in moving into HoTT. Full details and application at https://www.su.se/english/about-the-university/work-at-su/available-jobs?rm= page=3Djob&rmjob=3D14506&rmlang=3DUK Departmental webpage: https://www.math.su.se Please get in touch with me if you have any questions about the position! Best, =E2=80=93Peter. --0000000000009f600005be1f4072 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

I=E2=80=99m pleased to a= nnounce that we=E2=80=99re hiring for a researcher position in Homotopy Typ= e Theory at Stockholm University.=C2=A0 It=E2=80=99s a 2 year position, pro= visionally starting this August, in the logic group of the Mathematics Depa= rtment, supported by the Wallenberg Foundation project grant =E2=80=9CType = Theory for Mathematics and Computer Science=E2=80=9D (PI Thierry Coquand).= =C2=A0 The application deadline is 9 April.

We welcome=C2=A0all appl= icants interested in working on homotopy type theory and related topics =E2= =80=94 either with previous background in HoTT, or with background in relat= ed fields but interested in moving into HoTT.

Departmental we= bpage: https://www.math.su.se

Please get in touch with me if you have any question= s about the position!

Best,
=E2=80=93Pet= er.


--0000000000009f600005be1f4072-- --===============2763745483856750600==--