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 10785 invoked from network); 5 Apr 2021 10:31:46 -0000 Received: from mail-ej1-x638.google.com (2a00:1450:4864:20::638) by inbox.vuxu.org with ESMTPUTF8; 5 Apr 2021 10:31:46 -0000 Received: by mail-ej1-x638.google.com with SMTP id a22sf4092687ejx.10 for ; Mon, 05 Apr 2021 03:31:46 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1617618705; cv=pass; d=google.com; s=arc-20160816; b=pGeP15nHQNoYjKo3iSvErTPPMDC8QoxcFR87029mfGlTIZcih2TzMANoo7M6mQaKTi V2uAyUg8HH4A5BpM0qQOXF7QHBV5s5Qqbm3+yIiwShbDgD/v4+E8zWwomwhyj7YD5MbN p2WUFs6oZAbzHu0kzrM+l1wt/Xnq3V4rTWxQt+66Zwz3pakJ3zeO+nFuDSKOJwT7VeVJ wC8YByjLU1mgTU031/vtHLqAXRz0nfE3X4izmw0Rdydroo6bSJzJIhuhrkjua14JQ8wD LAfCfnrFv6q/5w3Giyxy2hpbpKqq+Nvo4drTDt1r4KYvDnD61r01xZt22LgGtvhRJvZK 2tpw== 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=PtIKuuEfeSOylrkTF2C6Fx2EMg1iQDWQkWGiZT+fka4=; b=e/vSuD/VRpxgMl1nz4glxX9iBHnRxPjaA1/CMyTOxiCzAa0zgrVOBjR9P53ATjClJB urf3tLIxJkjN5HyCCBTP2Zxl4pVCtDMkkiWo4hK281/Eo3tUItR0Hzop4ygk+h8luOGw TLNJOhbeZRniS7RBFlq019OYyJam1wJCQNlVVOqRlCVzEzghcaxNQJM7Yo6l/gO+DFE2 /RuQ6LTnZb5e/S4pUld6J43ArSTWzPncqCHA6E/Yv5qLGbPJ6HAahwma42jtzzEPjy3C SenUuu7np3Umwc1fZBohB9EfWCT8TXFu3gvwNmOWJ2wRi00Y8PaV9OrJjlnWIfwrgmhd scIA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="boDrEM/A"; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::12a 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=PtIKuuEfeSOylrkTF2C6Fx2EMg1iQDWQkWGiZT+fka4=; b=han/LoI5tlyHKFyqJDglgXzw94ZuVgdXCfKCJn/WVRrT1XDbm6ifBQo+dvTPm3SSbx n+OiYOZuJJB49ysT04jmz3AQg4GF1D5aw1+0rpJHGEg61jM2BoilxGaps+LSETghYTb+ ZS1h1F1fMxMe2Fjr3fH0khiw2Hc9OqndB2q20FSHIeoP8Y9U4z7RZG/yJZedHiTkll5D ifhbmVaqlz6tALYkcq2eqwV+q6IuRTnSWDlzpPWfEGz1IvCrvIpCu+sYBVWaWW8QMWOr KgNgPLd8IsUTz5T4A87HHCqCtnElMQnaKfyNPxwSq/F2ugtPQLchPDZcrZoTIhn+m6lb oP/A== 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=PtIKuuEfeSOylrkTF2C6Fx2EMg1iQDWQkWGiZT+fka4=; b=Mc/paND6bR0WYmWGrUKcjFfba2aJNs7PA2PJUhNjpqKHnawqUzxC02xM+KHmgByVzz axSyZnBC8PHHD8DbQPQr0+/f7q2aywVLYJ48MyrQlP7/ngV1Nw/roWsBTCvEGRZwWixd PGJtBF4/3L0FmZG/RwBLGkFushF+3J/J61p3dwz9ZAMBqAao9AjcIOBvGIQohTdF7WBw iDk+K6TZHTmoYJR1m/jObcibtjzKMt6QsHKNE/1vfR7YiOcXMMnv3ujv3I4Wdrty6tjv EPL3ymqnc8KSGg1UL/g7+g78rxlpSQYY3UIXesNFkA55XAk0pAimmAzKfT6bzF1NBIoX SwUw== 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=PtIKuuEfeSOylrkTF2C6Fx2EMg1iQDWQkWGiZT+fka4=; b=OSSzNs7V5r9tmry4R1O/c9qWajKCr0cNNWCL+dHhidryrY2cZ1gk4SCeI7iE2IM7ms OZQ4XT1v5XHL/fxgzpaqu/x9zYTltA19LBFqrDFs16g7uw6ZoiBTZX/RyTI7L6FLh1Ro TWOSp67Bt4GwUYdSbn4/FnBB9H2CDQOWQpAt5I0uyECfqPgTdYOvq4PCNlLkYYOfZRvv gXoMUz0sN9Ko4ObayN1K45Ed1PW+cIufwSW4rc2WqvuKfL6kj/Ks9DjT/uoD2v/g3aep sK4EweTnosapwP3RJbdBDOKGenc2e68z4Xqx24b2DIAnkC00BDBBw1WarNb/3qXdhYXY hrDg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5331Yv87IZNXT2QxWZ5+cvDW0rySyL1Adq0JJtNmlUVAwquPEu4/ v9+db50q6Jn7GNFqA+R1WxY= X-Google-Smtp-Source: ABdhPJzjV5fWSD/vOjn8vugk+jNPwTRPikJ1oM+GDEDR+HDRrKnrHUbWSeFpALlVxOHBlhHsSe5S9A== X-Received: by 2002:a17:906:360c:: with SMTP id q12mr6236969ejb.519.1617618704783; Mon, 05 Apr 2021 03:31:44 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6402:50cd:: with SMTP id h13ls7163989edb.3.gmail; Mon, 05 Apr 2021 03:31:43 -0700 (PDT) X-Received: by 2002:a05:6402:344e:: with SMTP id l14mr430908edc.184.1617618703719; Mon, 05 Apr 2021 03:31:43 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1617618703; cv=none; d=google.com; s=arc-20160816; b=Jl6CwVq/hUDN7IXtSdCC+HIAJrXQEHL1VafeIRVDguH5LbmPi7l3JYzloIhQq0MPYW qVRueYxg5Q5/UlZBxyigRzJP90YlVV66eSKzIRqdo4cB7hWIOc+ml3dTOWQCIFgVmvyb LPDKzotDvGplsOSxqKcdMUKKHiK9qlL28//7paTQN3HRzRvEMLgkEnf/rb6Ax8OlViH2 yzcoEud8yfGSvq2YfSeAJ1Fuyc5hu1+tGju3DKdwUoJRmHiXODdmo+amo06mvv/rlHQt ByPKixeoKESLEVJfQI4NXgESA1uQ1gIuyq7HMgsaTMyJa9GA0Ip9fBMpu5zC4zZv+zZt lQ5g== 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=mYOYxUncISh5WOAYHLk8lMWhIiKkSu2VezCRQu0cIFc=; b=z/9PjlqvMbTgGKaLzAhXM5hg97i4MwmAr5A1SCuREPcYiK0u1pfvbjsE2YXLfihhPs MmU59nzwRgHwZpAn6LRJz/RUP4EAfQHunLODIkpxi+SAa7alRA+ASXRHbpsAArMepk+O b/jbDjCqouqL1YYO9wWpDrc1AUM52Iki93/x3uEER/ECXE2H/96qtxqVxE3zCpRe5HII pBmF+N+yz6lI9md0oxR6qbKdOvbfaLfFATXfeSiTsvd+RU28/ZccEfmgb7ga8C1UMNTr yySZ8IWc0ax+nHQkpDCtXsFzmegFTpELi8UDIBqxbWvca4Ys1rYOTbihzlCxmHmv4vms j9GQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="boDrEM/A"; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::12a 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-lf1-x12a.google.com (mail-lf1-x12a.google.com. [2a00:1450:4864:20::12a]) by gmr-mx.google.com with ESMTPS id m18si1538710edd.5.2021.04.05.03.31.43 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 05 Apr 2021 03:31:43 -0700 (PDT) Received-SPF: pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::12a as permitted sender) client-ip=2a00:1450:4864:20::12a; Received: by mail-lf1-x12a.google.com with SMTP id b4so16746202lfi.6; Mon, 05 Apr 2021 03:31:43 -0700 (PDT) X-Received: by 2002:a19:2258:: with SMTP id i85mr17232907lfi.516.1617618703013; Mon, 05 Apr 2021 03:31:43 -0700 (PDT) MIME-Version: 1.0 From: Peter LeFanu Lumsdaine Date: Mon, 5 Apr 2021 11:31:32 +0100 Message-ID: Subject: [HoTT] Reminder: 2-year position in HoTT at Stockholm, deadline this Friday To: "HomotopyTypeTheory@googlegroups.com" , constructivenews@googlegroups.com, Categories list , types-announce@lists.seas.upenn.edu, logik@math.su.se Content-Type: multipart/alternative; boundary="0000000000002cdca205bf373403" 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="boDrEM/A"; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::12a 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: , --0000000000002cdca205bf373403 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, A quick reminder of the researcher position in HoTT that I advertised a couple of weeks ago, with deadline this Friday (9 April). One point a couple of people asked about: Yes, this is effectively a postdoc =E2=80=94 it=E2=80=99s formally called a =E2=80=9Cresearcher=E2=80= =9D position here for administrative reasons. We are interested in applicants at any post-PhD stage (or expecting to complete their PhD before the position starts). Application link: https://www.su.se/english/about-the-university/work-at-su/available-jobs?rm= page=3Djob&rmjob=3D14506&rmlang=3DUK Once again, let me know if you have any questions! Best wishes, =E2=80=93Peter. On Mon, Mar 22, 2021 at 12:31 PM Peter LeFanu Lumsdaine < p.l.lumsdaine@gmail.com> wrote: > > Dear all, > > I=E2=80=99m pleased to announce that we=E2=80=99re hiring for a researche= r 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 wi= th 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-mW5%2BPShAxP1duTdB%2BFNZ-2Hfys%2BSEFDwWvv3gShMEPW= g%40mail.gmail.com. --0000000000002cdca205bf373403 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

A quick reminder of the researcher positi= on in HoTT that I advertised a couple of weeks ago, with deadline this Frid= ay (9 April).

One point a couple of people asked about: Yes, this is= effectively a postdoc =E2=80=94 it=E2=80=99s formally called a =E2=80=9Cre= searcher=E2=80=9D position here for administrative reasons.=C2=A0 We are in= terested in applicants at any post-PhD stage (or expecting to complete thei= r PhD before the position starts).

Application link: https://www.su.se/english/about-t= he-university/work-at-su/available-jobs?rmpage=3Djob&rmjob=3D14506&= rmlang=3DUK

Once again, let me know if you have any questions!<= br>
Best wishes,
=E2=80=93Peter.

On Mon, Mar 22, 2021 at 12:31= PM Peter LeFanu Lumsdaine <p= .l.lumsdaine@gmail.com> wrote:
>
> Dear all,
>
= > I=E2=80=99m pleased to announce that we=E2=80=99re hiring for a resear= cher position in Homotopy Type Theory at Stockholm University.=C2=A0 It=E2= =80=99s a 2 year position, provisionally starting this August, in the logic= group of the Mathematics Department, supported by the Wallenberg Foundatio= n 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.<= br>>
> We welcome all applicants interested in working on homotopy= type theory and related topics =E2=80=94 either with previous background i= n 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?rmpage=3Djob&rmjob=3D14506&am= p;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.

--
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= ://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-mW5%2BPShAxP1duTdB%2= BFNZ-2Hfys%2BSEFDwWvv3gShMEPWg%40mail.gmail.com.
--0000000000002cdca205bf373403--