From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 3563 invoked from network); 22 Mar 2021 12:32:05 -0000 Received: from mail-ed1-x53b.google.com (2a00:1450:4864:20::53b) by inbox.vuxu.org with ESMTPUTF8; 22 Mar 2021 12:32:05 -0000 Received: by mail-ed1-x53b.google.com with SMTP id t27sf27264669edi.2 for ; Mon, 22 Mar 2021 05:32:05 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1616416322; cv=pass; d=google.com; s=arc-20160816; b=ToxXkVyd/7lDW6kqHhAZug9C6HGIKA7akiaRW/x1s5N1Dttv1ufRmnr+574R21XcTE umKWVX9ftF4YlGql/uvzaTPYznIGJRPwwdcO5hFggaCO653mOuSWM1Mimo9r5E6bJUpl 0pL7FAUppZZ6pi1gJeeIv4xxrTwRlWEVuCceuaYsQxxsMYmjUi+SCwfs5ZJZgC8urxwN fxm5EbSiIOV8BRXjmtO7ns5quDa6RHMq3nlD+G/01pEw7vWU3i4deUp06dX+RwCis/Nw 69kL9gUOQRPifpY1yD0QhZgGIePBGGP+6Hth/K4tf0NPS6FcP/uwCC6gDiXvQsVFC7qu LM6A== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=pZM594V3zSKDaokLQb1t+740M5WZU3sK70lJK2lMpZk=; b=zyP7E3Iw75FxNS0wPd12/XnTPPci25MvmhHqbg9Ey30PfsJ4R1dJ48y6xFj6UMslIP tqit6S9H66o7bdsTD71PGGvZ4vTRAJLsclTvOaBDPaNjQOgQ17gSh5EXCyJAcVZjQtfK Zy2uZAHisR34O2tLwEWIMvcyUnLLgyV1cps4plVhzrxc8Zyics7AhT9/5hDtxJqqmOQi Mys1Gh6OtwJHHfBJq3Iqsguz8TQzsZigt+1mnyLnx7mQdWNexmC4srg4rjcCpCg1MwQ4 lmtgTF3i35MXgAN1NAcWoX0d/IkV+Kcy++jKbseKT9NC8YftALbmnUBTZ76NjrxXUEly vSSA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=LBmDnLBE; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::235 as permitted sender) smtp.mailfrom=p.l.lumsdaine@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=pZM594V3zSKDaokLQb1t+740M5WZU3sK70lJK2lMpZk=; b=SFgVZ614vHx8riicmzTtg/tOUBYPkO2ibk53hTE8/HJNhLOaPpiuZWr56J8IHS7NEZ Qj7iWm9xMKa1ZU5soAOcGqZuILr4ywFGYz85Jw2gegvCVEQmcXk1okI8rSwCGxBx0tkW 7Lv3MvHalHl/vF5PvoJiqUl/Q5PM2jZhqndBesyZXrAtAc9ZcNOJqbmZviSqcSf7lGHr S9iA9n1EGS0G55FbPcJgfGm4qGew3+P6lirJlStyqFiUA4nhZbvRS6WLqsE181RMiNnh C7sov8HaYKsukuI7HWshRe4TKI83ygHtX1FX0RHN2zaf0Dw5SlIe0DhwlhkVlXfB4q6U sMUg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=pZM594V3zSKDaokLQb1t+740M5WZU3sK70lJK2lMpZk=; b=pTLU9o6T4n9r2qSxxRsq+cBaWkphaiHOuC9U2RNGpBUEf0hzLgssqamkGjLK2fRDyo ogKn+M+iodcC29wiqfyD4x6J75bS4I8LEPDip/oVk7SV6U14SY2oEMiuC7lZeqJJLlqy D4YR1MAzN7lAqE2OYAnmER31pVyBvpy/k2Zd/fwOWMhvdtNhOYXlyqbIVdEDk8l+wsAR XKi3GnanPmMX+WqrSKEBgvy6O2ujBjDy9yvX+VtqQT4+bNJ8xZUqcV6MKZg4yHMlZg/E sNCqQJrud8o67qZLg0pCFO8QXzZJYlfu8RjY/8N/fmkkWpWnpdwmxzRrV72jdjW+HAnZ h4nQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=pZM594V3zSKDaokLQb1t+740M5WZU3sK70lJK2lMpZk=; b=RdehbbkCQZeyUxLGUJAha/WCP4uUGcYHeOUcQzH0SU2YsI9zNlOTdqS0/maYcQJQzy vWQOFchS+UXqB9Vg0wEUMDXx1lgYzlTlrGj1V8SCpmdcD8kCGz/BAr/+yFPBK7eb3jn+ lpusZI/JBpc4DxV2Bk6j+mp7vzrJkwxlQc2k0HcirrsrCt4tIE0fcCv6dGwgiE4J44db fjHOsgE/RajmKB93Pn2d9Hlrw1ZL3NZ0P33FdCikQjtIeq5TV7Qn2gfXDvjbWRS+YEen g8LCWOZPo/Y7EKWFFKqhvtseP0Gi13vfG9sTd2Fk4XKXVfvJ9ypgKLQ+pp4lRjR4h3lj pFEg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532Ihu6oLW1hOuActV5Mc7amBnSaUWepzLCoHcVaRr4f7YUZex+o 9pESaG+Qsk8tTPMgUcEkxeY= X-Google-Smtp-Source: ABdhPJx+HDu0SOg8kfOwGKO+MibfhRCA4ZNSiwtqxEZaTNuXHrTdLwBOWyfzhOfU5UJ/u/KzueeCKQ== X-Received: by 2002:a17:906:3643:: with SMTP id r3mr18744074ejb.527.1616416322671; Mon, 22 Mar 2021 05:32:02 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:906:f290:: with SMTP id gu16ls7186680ejb.11.gmail; Mon, 22 Mar 2021 05:32:01 -0700 (PDT) X-Received: by 2002:a17:907:2d24:: with SMTP id gs36mr18956909ejc.344.1616416321650; Mon, 22 Mar 2021 05:32:01 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1616416321; cv=none; d=google.com; s=arc-20160816; b=wBlxxXDn1Syo8euISHHtUTPoWCmsJTjCslkWPiPRQIFbuMwYDG0VRqbFYiOHPYV5D0 RSxD8TlvDYntJ0UKgFEEtKKwYw47vfVs24EwhDSG8MOnFAuDeq2Gtl/W0QsAmQInCaOz 2a335xXNSHmkAFbH7q5t9dpQwhCpLUVIIw5aTM6EJgNab7yxSJYn7dhTPxNgnDrdeFJo jLXX+177EWow7NAs7dIrWhs5Ld76jPSbJ3ALua8DrkAxDWmZ3h6+nySoJ3uU+DwOp+xb fkR+yfjyJyGoXA4CCn75JIKsNWuWieAtWfrzZbsm6fkHuRbixhBGNn6yDx8b/Eq4DDG/ qQFw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=Vp6H1xf1y9B/N234vpkU1I6rWEfhnuq/9jGc/F1mqtc=; b=fnPOarQeMFS5WqXhPLY0O5AgO+aPmvrRj2p17d/ksSh/iLek61XLp1qrQLSQZDmh0M gHPKcpAGA9RDRmC1/w2FbT0m/rS6IfFHfbrdI1vs1BNMd5TzK6LudMSzDI74duBnJPTX rg8Jgfm8RgwPiU3EDTFsF8GLWC2Aq7tuv8fSuhQIEENPiNxcdRJogBbV5JZCHNtG2LvB QNpfF4vF+g0wmF7gV3SJWB270pMFnZYtK3yrQPv0DO3wLzHMu3HcEluIN0EL2NgpXsHS d02X0/v/kj4PdOtlzgcJRYMQLV/TX5c3KC6LoCpUFbhVrEGfvsU1uGqlNCkSYeg2ZAB8 w3cw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=LBmDnLBE; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::235 as permitted sender) smtp.mailfrom=p.l.lumsdaine@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-lj1-x235.google.com (mail-lj1-x235.google.com. [2a00:1450:4864:20::235]) by gmr-mx.google.com with ESMTPS id r21si583143ejo.0.2021.03.22.05.32.01 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 22 Mar 2021 05:32:01 -0700 (PDT) Received-SPF: pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::235 as permitted sender) client-ip=2a00:1450:4864:20::235; Received: by mail-lj1-x235.google.com with SMTP id f16so20856678ljm.1; Mon, 22 Mar 2021 05:32:01 -0700 (PDT) X-Received: by 2002:a2e:974f:: with SMTP id f15mr9660683ljj.352.1616416321002; Mon, 22 Mar 2021 05:32:01 -0700 (PDT) MIME-Version: 1.0 From: Peter LeFanu Lumsdaine Date: Mon, 22 Mar 2021 12:31:47 +0000 Message-ID: Subject: [HoTT] 2-year researcher position in HoTT, Stockholm University; deadline 9 April To: "HomotopyTypeTheory@googlegroups.com" , constructivenews@googlegroups.com, logik@math.su.se, Categories list , types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="0000000000009f600005be1f4072" X-Original-Sender: p.l.lumsdaine@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=LBmDnLBE; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::235 as permitted sender) smtp.mailfrom=p.l.lumsdaine@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , --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. --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAAkwb-%3DHUbq3ucV4EMtshU37F8eefs6bAugDzcCo7N9ktLu2-Q%40= mail.gmail.com. --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.


--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://g= roups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-%3DHUbq3ucV4EMtshU37F8ee= fs6bAugDzcCo7N9ktLu2-Q%40mail.gmail.com.
--0000000000009f600005be1f4072--