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 1245 invoked from network); 16 Apr 2021 10:23:59 -0000 Received: from mail-lj1-x23c.google.com (2a00:1450:4864:20::23c) by inbox.vuxu.org with ESMTPUTF8; 16 Apr 2021 10:23:59 -0000 Received: by mail-lj1-x23c.google.com with SMTP id a14-20020a2e7f0e0000b02900b9011db00csf2801725ljd.8 for ; Fri, 16 Apr 2021 03:23:59 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1618568638; cv=pass; d=google.com; s=arc-20160816; b=ow2wdq7vhtE5S8XLwhLI/nDb7pFcETT0YHRZYFHNMVltXB3EVNQLRTQxO0QORzMVng RFTp1Wbg9QuB1uGliq26bAV4g0paByDfLZ9y+gPUopgq7EY8BUC+QCxo0bhcuwCDTBk9 xHcLa3sdb/jSUDOQspPsSHVvc4keOOvIP3eE9GgwmovgfXvsKj0XtBWA1EEzmr+OSJr3 hY4iV7SohbfoFZhGLhNtjHiZEkJJAAQBlLlknMYn6tQrNzZrC19iQFe3jccIrjkUupLJ n0LaGrFWUdaW4975HCGEJ8FkyaiIqsfZgFYNZcswTcHzqHJKhHLdDJPpYgpPdwQ1Baiu 7V+w== 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=DUCLZX/yHNLahapkwhB39VgQOiTXDM0FPnoXWvcNAOw=; b=h3I36KlHnQPLzC7VKeX/IELbGzFOxKEQiDZaJyuWi4GBTOZMaULUdLGvUSzIHeatYM gVp1+Rw6g03fN7j810qIzEY5tvqgXiw6O03dSzaHI0cIYHrBrWoVkmEkt8StLjh9A9bc NdHFf+1ovtwEZHgC6Uxa1UK4sBNXLDMz1TRGPA5yNudw3QjKHCQ6Xa4VeqKZ1oNa0OrM GVmc7M/QWwoYDTkPyKEeScjiksHfV0lHqQj0Bt1SVhbNHzXksSlraEAEeTC7BuPoEfho /AHd5iEuCC1AT1za+Vsosxsoev/cLfpWcPqaeZ6N+nSg/wlZ7+mDCh2s+UHHxB43pfHM noYQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=OyQVDvZQ; 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=DUCLZX/yHNLahapkwhB39VgQOiTXDM0FPnoXWvcNAOw=; b=aW7v53cmghTJaYuxRbAIXg9vcWqYcEkLpf+Dt4Pzy0EzcdToWlKPHrkkuBMbYvApUE RGMbT7N88Hjt2CFpnWiN4gbilqOCoTU3GvoCMVFPdNNGNZoq65BWfNjXopBvw4c/mruj a/Jghw5mmXU0ND1SNCkHZwc+HB5iVID72PFbZQSf/0Z6RWoNDWT3qPd0xfOPcAVspk8j wTG/oWCC0odb7Z1RaYgSdRp1rNQxOrE9r43Bp7VJS702WGiuMjCVBJ98kxTQAp5YDAaZ AdSY5lR5oCTs7AWIqW6p2dQtXN1D+nmLt+5qFknn96G/A0olHvngmzwC+1VgvkjrzG+v agVg== 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=DUCLZX/yHNLahapkwhB39VgQOiTXDM0FPnoXWvcNAOw=; b=LG7zmBNrpfYOX8vaZx+li5/9ctmVtz0yzbsudA8DRkkVAbqFRtw3/gpCivYZ6A9mSX gZiVBKXLnGUpU00m9nNdDLCUVl9ehjMKQW9O77MLsIRRpBRlGsNIKNWHnI0CaL0jFkqR /6I1a2k2vPPVEKbJBMPqxgPG3z3pWLOC+tn19zBKsgL8Wt3VJD9NNVjHIftZYYnsSJT1 y1ggTZzzmim8mQrK21DnqwxVDWYT4NG1NEkh8CHabiBBPCZaR7ujkB9BlncQAYJe15Fq KMpt9i7/cDzZUZG2u7T0X+tkNov+2t9DrIPIPkNfTYEka3B2TSX9e2HJSSrnNwrzpafp PWOA== 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=DUCLZX/yHNLahapkwhB39VgQOiTXDM0FPnoXWvcNAOw=; b=MRakVFhxWOPvsNIvSjx4BtFj2jWMAUpsZYQUUHzItjepz8gzlFrYEQ3/hpXwSHRVAa OoP1DlsJNyYEKvgzJeISSl2dsgXTeA5OPBTYxMERsAVc5iffqSHCg9EZ9YZR+2C0GMsc PYn8F9nDW/IXUDKl2KxwxHnRwOIz+E3GhGUB1/cauKFim7kPu5WUX+0aKvdsb/7eNbq/ msSa9kj8t5Vndo2E1ZrjStB6UBTmqQdi5dVJjNjecDZNTWmXR/czQkdBrjdUOANVLCFl FYq5EWTnHzMPAbR/nwABiHDeKy13jwIHX+2KEUig2Foj2Pzh8tLr9alMDax/EFuc96gx Su6A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5325v8zLmbVc/kmwcmQN3423x8Zk+nkBP+l/Vv/9yETWa7hjxpf9 59P9u08+9PmGqlgpdYeVrQs= X-Google-Smtp-Source: ABdhPJxuEKPAKRB+7J6fh53bIHjsqlpHq63Rz4bWsTxZx0Qi5eDm5LAMbal729vt7eCkRbNlMth+Hw== X-Received: by 2002:a19:484b:: with SMTP id v72mr2650831lfa.429.1618568638004; Fri, 16 Apr 2021 03:23:58 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6512:6c2:: with SMTP id u2ls429904lff.3.gmail; Fri, 16 Apr 2021 03:23:56 -0700 (PDT) X-Received: by 2002:a05:6512:3ce:: with SMTP id w14mr2483358lfp.90.1618568636843; Fri, 16 Apr 2021 03:23:56 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1618568636; cv=none; d=google.com; s=arc-20160816; b=U6+4vPGRkqCm1jGZQYzWqfJXAbbMOqWpl/MxyFN52cRj0Buv0LPBrrOnEmNvFXV1zL Z/vXXPh86G+T+ULakVOCC+9vWStjj5FWG9uedwu8g+48Bh5YmHwoSFqQNfMIwC2P7TEY ZW292d5aqhi7f2uYkZhOsGlRqmVUG4OgH/dlVfsCkeYKoJzj8pgZ+84Cm6Z3+FfLKwq8 /qAJVQ6Xcjwfu48NHpeaojujPf/t3rq7GsD175rwj05oa3ZyvVrjrFrVj7d3rEc/6416 RAC1C1Zrff2vguUUnSHiPLS4gwyzf4SKUpFA04AxmO+Ub458upx+q9gP5b/2uCt+ZY6y NsoA== 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=YaBMMwwnPHDIkGdHdV2h1JH2I5noeIaLqlglfGZEBJE=; b=RMbtzUFSc1e6c6odSH9eWbvJpbu/17XpfkcXjKhlSPLGK2S4HHnLAsGPJyY+wyxTgd RytP/pIdr+d0e2IebGaVpTotfny4RY2d7bQj5bOmlYR+IhQcsH8OMVxUu6LQt0CFxgqQ Mr+rtQlvdq5pz09vxUefIiwCbviAVFa9BPGXyDrU1x5P/1tbAwvX+rVe5Rcf+YSwDC6R HJOt1qSZM3bAZIciPn4iQmFWqx6I1WW+juwJoxd10+0paSMXpm77ktRlVrq/7hVsPeVg xA6tBu7IUbzk3FVhrrzMXJ25W30hYbkcNUO5IYsbq5kMEpl6D4tPUwN0/tynnkWfGcKW kofw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=OyQVDvZQ; 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 r2si38741lji.7.2021.04.16.03.23.56 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 16 Apr 2021 03:23:56 -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 x19so13565341lfa.2; Fri, 16 Apr 2021 03:23:56 -0700 (PDT) X-Received: by 2002:a05:6512:23a3:: with SMTP id c35mr2474580lfv.65.1618568636454; Fri, 16 Apr 2021 03:23:56 -0700 (PDT) MIME-Version: 1.0 From: Peter LeFanu Lumsdaine Date: Fri, 16 Apr 2021 11:23:45 +0100 Message-ID: Subject: =?UTF-8?Q?=5BHoTT=5D_PhD_opening_in_HoTT_at_Stockholm_=E2=80=94_note_clo?= =?UTF-8?Q?se_deadline?= To: "HomotopyTypeTheory@googlegroups.com" , constructivenews@googlegroups.com, logik@math.su.se, types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="0000000000009edc0205c01460b4" 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=OyQVDvZQ; 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: , --0000000000009edc0205c01460b4 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, I=E2=80=99m happy to announce that we=E2=80=99re recruiting for PhD student= s in HoTT (besides other topics) at Stockholm University, starting September 2021. Note that the deadline for applications is next Friday, 23 April =E2=80=94 = sorry I missed advertising it here sooner. Full details and application are through https://www.su.se/english/about-the-university/work-at-su/available-jobs/ph= d-student-positions-1.507588?rmpage=3Djob&rmjob=3D14472&rmlang=3DUK Please let me know if you have any questions about the position! And (for advisors) please pass this on to any interested masters-level students= . Answers to a few common questions: - PhD positions in Sweden are fully funded, with a livable salary. - The position includes up to 20% teaching. - Swedish speaking isn=E2=80=99t required, either formally or practically (= though learning it during the PhD is encouraged) =E2=80=94 all higher-level teachi= ng is done in English, and most administrative business (including all necessities) can be. Best wishes, =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-%3DQCO9fw1BVjTtyihBphuoOaNbuviygm%2BaCMg8K5bTfjA%= 40mail.gmail.com. --0000000000009edc0205c01460b4 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

I=E2=80=99m happy to announce that we=E2= =80=99re recruiting for PhD students in HoTT (besides other topics) at Stoc= kholm University, starting September 2021.=C2=A0 Note that the deadline for= applications is next Friday, 23 April =E2=80=94 sorry I missed advertising= it here sooner.

Full details and application are through =C2=A0https://www.su.se/english/about-the-university/work-at-su/availabl= e-jobs/phd-student-positions-1.507588?rmpage=3Djob&rmjob=3D14472&rm= lang=3DUK =C2=A0
=C2=A0 Please let me know if you have any questions= about the position!=C2=A0 And (for advisors) please pass this on to any in= terested masters-level students.

Answers to a few common questions:<= br>- PhD positions in Sweden are fully funded, with a livable salary.
- = The position includes up to 20% teaching.
- Swedish speaking isn=E2=80= =99t required, either formally or practically (though learning it during th= e PhD is encouraged) =E2=80=94 all higher-level teaching is done in English= , and most administrative business (including all necessities) can be.
=
Best wishes,
=E2=80=93Peter.

<= /div>

--
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-%3DQCO9fw1BVjTtyihBphu= oOaNbuviygm%2BaCMg8K5bTfjA%40mail.gmail.com.
--0000000000009edc0205c01460b4--