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,HTML_OBFUSCATE_05_10, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 25237 invoked from network); 19 Apr 2022 09:55:52 -0000 Received: from mail-wm1-x340.google.com (2a00:1450:4864:20::340) by inbox.vuxu.org with ESMTPUTF8; 19 Apr 2022 09:55:52 -0000 Received: by mail-wm1-x340.google.com with SMTP id c125-20020a1c3583000000b0038e3f6e871asf9037124wma.8 for ; Tue, 19 Apr 2022 02:55:52 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1650362150; cv=pass; d=google.com; s=arc-20160816; b=0ZbsqpbCqJfNOFXgBYQOqIzLqJE7lXJZjEoxGrOwA/VBehfn90HIujOqg1kF4UDgec kdbfaLU/cHdFfl0CDKIKhHDw0yaw2NtoVH0eyd8fJHsH6L1K0jjM2Q0vijlTL+lIgWxq NnA6ZOA9g2Tpj5msH49HL+8zkIvRP1f/aQPfVl0HTI4gKZZbz/Uw8DFIvIa7Mba+f89h BpzVYbD41W+L5oUNfJByxXRI6RefN3uZaI575rL9xgmC72AVnAYS+MmfTaERqZDRdpsR 1+O9klnrr36geCLYtMSv9ksZL8Cct3l6goCPIGdqeNBtPVPMweNBCFN5pE0EcnZyiZef EMJg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe: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=vdNPhZxfFvpqcWC1mUs1w7CT1bcyrKBkAo6djzuFaD0=; b=bk6fXZ3qDz74MbZ00eFk86TW9+EOiiVEGa+RjpeRIVnxNl3NMLWZ1hXyT+cp3/SYCn Bw9rAFn8f4z+SpLMLHHijHEjQkfdymN58al+0BboHxT3zbv4WvjYXdT69TMQ7JN0qB2a eLktE5tVye3r9kyOhplEpxliOHi3Cm/+GuVCfLhStfjGo3nCHS5QG8beEzU488vAIToB 7pDBYZdVKQ93oKxw4MD9wNlUzr1jkVY4wLuroEmI2TI2MpewdddLzogBdvcl73EnBhSV VUbQ9XeSdGL94Ym++2VzZSeLhejhL6Li+tVqUTAw2xfMT/qrdimoxFuCOfmsM4MGZAp3 0sbw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=b37iVEFH; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::430 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=20210112; 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-subscribe:list-unsubscribe; bh=vdNPhZxfFvpqcWC1mUs1w7CT1bcyrKBkAo6djzuFaD0=; b=WFzZ1mIKt4Vo/GwHknhV7snHITd0CC/w2IVVg9QWQLyZ3OvyTHmxanZjIkQi1kGBrQ MJIzgTbJMlxxAvI6vHwzwiGUPPMzkVLq+YklOZLXXPTr2lOXPYZkOdEcZcDVo6hegI26 VAfxZDoaeXlztuGPHsjf2fi2aJYPsSPTgb/jiu9/IAkzf+Z1sw58LZi2+6fzehNdbOmY F+ht+7OoZKCm0kXX3OaaNwFfzazQjw441FkazXG41ZyBh+1yBHbQ+3Xf4vFcx86N0h0p tKj7jjcUlsLhWFiS3RDF+idV9GbSw4g1u9VESk9ADkML4TGJ+eC+HmPz3HKA/yRE7vRe sUxA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; 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-subscribe:list-unsubscribe; bh=vdNPhZxfFvpqcWC1mUs1w7CT1bcyrKBkAo6djzuFaD0=; b=qqstA1Z0ZssiIGDUXIm5eu9kOGYPJTg7jnc8nmrzRauElBn0WnDg1RGJeY8mGNklKZ sMMPAA4xcssb1dhnpQx3/jBBH3ZXp/6yEa8pWD8R9uYWgtndrDI/vYzY/Rs2RxX87tt+ 72sUqad1vwRdZRpMfSMwOQoi5RON5Ez5Vp95O15B0S3lQTIw5sWLcSdaqdYXgmGWdbPN pNoYYlKvVdmUlBeQYDyg6MymJqpIPZgtuj5ASdgV6oI81h+w302rOTT0P374ujYi035X ti6LnwYSE9pCH5hOETsDOvMdjOpOrdeO0lOrd6BwhyAxYAmlVGwG6VBw6AYarhEFD5Nt KtKQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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-subscribe:list-unsubscribe; bh=vdNPhZxfFvpqcWC1mUs1w7CT1bcyrKBkAo6djzuFaD0=; b=7ouerhnk/Pv+l54zaoYqR+Cmh8CifCBZ5DHecrL9nNgc4UO9nvpUPr3qKPVulifxP/ lX67FSYOym4wWJqCY7ZbksN3Vp8MREhjE0NTiBX1DuW1vnOp3vBSIJuo8FvCnRmENDF8 2WC7kgIFgTtqSYE1RFTyynZPTqhJrVjn6EKRUKgjreow3YeaAAZ8nRR9e9kYNmCnOLms pqzhGNBBo5p/DIZCNwQJ3we+NK8H2UVAKGHBF52v5eA4FNTvFOraM4fJMBam7IizHXV7 ci/FqF65brP5EdMKvBLSFLY5yBmloJN66CaMEgwigvX80TZvUjJoWVTMBlLuAeycJE2p ny1w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530OpBh0V/jOsCrJfwJD/0NyqSV4XXGUvOee55E6unM0/PYh62OB fpOV+cWmZVkoiib+88/4i0k= X-Google-Smtp-Source: ABdhPJxu6Dx2nwo+7TFUzhyyF4UUFzPZW2GfgK0398HSCNO/PU9SB0/wfyTYBxe6PP4R8GDsdNIQoA== X-Received: by 2002:a5d:6d0a:0:b0:204:109f:7833 with SMTP id e10-20020a5d6d0a000000b00204109f7833mr11455054wrq.76.1650362150642; Tue, 19 Apr 2022 02:55:50 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:3ba1:b0:38e:b80d:4580 with SMTP id n33-20020a05600c3ba100b0038eb80d4580ls1042301wms.0.gmail; Tue, 19 Apr 2022 02:55:48 -0700 (PDT) X-Received: by 2002:a1c:44d7:0:b0:38e:ab4e:912f with SMTP id r206-20020a1c44d7000000b0038eab4e912fmr14808876wma.175.1650362148780; Tue, 19 Apr 2022 02:55:48 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1650362148; cv=none; d=google.com; s=arc-20160816; b=xJAST8V0KmwA3Ah25BVlfuVS07cnkEaN685PyzqytgqFx5m+N/7HXTe+Jah7A83fMz inWpD/64c3wNfTPpbM5LWsJ04gqWJlooX0zK7Pp5IgFVhBDrOmoubBqB7mYxafomSSN5 fKz1jf3HoNmCYo6JCJgAAmvCjzUiKZUBStL36oZfNp54XPClpnDuxhzYuYF7uomBG8O8 V/wHi5elHh2HT6FVQgtymajwZ/J++wckFVTkt1mPuZ72mLedndv91VOMBZYTUe626ZkM mesew+1PmzYUPeTo9uvMo/9yW4Nw5ae9ynjnErpMm0eqvdEreDRYhw4Ytn6V60a93nmc w7uA== 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=HZRVtm2/xcwVgdnCsOn5zfgSWwgqFeFGhNzov2x1zQ8=; b=Htvx3CLffLO3H9xPxG6/QOVlybYbx/mTOErwgwAl2AgdVsgA+tFtyeNgLqvwvZx9/V N0ItdKW1hngT++vvCKVXjFCc3Wmjj5I1e3qgYgBWsDU0TQ8c/gp2fiPhLBQxf2cj2D8H 96Ud0uQvryj5L6r1eTEAXPw8iQgp71aPsczgUOW00wIpiChaETJfBhQ2gIlVvWu1UNeT LXXrSlubZLh8X+/yDc4oAVci5tggp67fvj7IbXrMY/Lpi25oQeymF1OomnSgJijktjNA kqyRliMGVnschz7+59eGZJkoxiruLbPc/s1slng+eJM3+dwA0ai+G3Ll/GBLZVFRC3HC 5qQA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=b37iVEFH; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::430 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-wr1-x430.google.com (mail-wr1-x430.google.com. [2a00:1450:4864:20::430]) by gmr-mx.google.com with ESMTPS id c13-20020a7bc00d000000b003920a4a27e9si88312wmb.0.2022.04.19.02.55.48 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 19 Apr 2022 02:55:48 -0700 (PDT) Received-SPF: pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::430 as permitted sender) client-ip=2a00:1450:4864:20::430; Received: by mail-wr1-x430.google.com with SMTP id k22so21684354wrd.2; Tue, 19 Apr 2022 02:55:48 -0700 (PDT) X-Received: by 2002:adf:eaca:0:b0:207:b2d1:6487 with SMTP id o10-20020adfeaca000000b00207b2d16487mr11287102wrn.444.1650362148176; Tue, 19 Apr 2022 02:55:48 -0700 (PDT) MIME-Version: 1.0 From: Peter LeFanu Lumsdaine Date: Tue, 19 Apr 2022 11:55:36 +0200 Message-ID: Subject: [HoTT] Reminder: PhD positions in Stockholm, deadline this Friday, 22 April To: constructivenews@googlegroups.com, "HomotopyTypeTheory@googlegroups.com" , Categories list , types-announce@lists.seas.upenn.edu Content-Type: multipart/alternative; boundary="00000000000097c62d05dcfee1c0" X-Original-Sender: p.l.lumsdaine@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=b37iVEFH; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::430 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: , List-Unsubscribe: , --00000000000097c62d05dcfee1c0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, A reminder for all interested in the PhD openings here that the deadline is *this Friday*, 22 April (full information repeated below). (Note: if you=E2=80=99ve contacted me about this before last week and I hav= en=E2=80=99t replied yet, please write again =E2=80=94 at least a couple of inquiries go= t caught in my spam filter, so it=E2=80=99s possible there are more I missed, for wh= ich my apologies! If you wrote last week, expect a reply today.) Best, =E2=80=93Peter. Dear all, We are recruiting for PhD students in HoTT (and other topics) at the Stockholm University Department of Mathematics, starting Autumn 2022. The deadline for applications is Friday, April 22. Full details and application are through the university website: https://www.su.se/english/about-the-university/work-at-su/available-jobs/ph= d-student-positions-1.507588?rmpage=3Djob&rmjob=3D17395&rmlang=3DUK Please contact me 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-nNsDN0midDDxHF0_-xGPAy5AS4gGWSpLQAFLPApSgnMQ%40ma= il.gmail.com. --00000000000097c62d05dcfee1c0 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

A reminder for all interested= in the PhD openings here that the deadline is *this Friday*, 22 April (ful= l information repeated below).

(Note: if you=E2=80= =99ve contacted me about this before last week and I haven=E2=80=99t replie= d yet, please write again =E2=80=94 at least a couple of inquiries got caug= ht in my spam filter, so it=E2=80=99s possible there are more I missed, for= which my apologies!=C2=A0 If you wrote last week, expect a reply today.)

Best,
=E2=80=93Peter.


Dear all,

We are recruiting f= or=C2=A0PhD=C2=A0students in HoTT (and other topics) at the Stockholm University Department= of Mathematics, starting Autumn 2022.=C2=A0 The deadline for applications = is Friday, April 22.

Full details and application are through the un= iversity website: https://www.su.se/english/about-the-universi= ty/work-at-su/available-jobs/phd-student-positions-1.507588?rmpage=3Djob&am= p;rmjob=3D17395&rmlang=3DUK
=C2=A0 Please contact me if you have= any questions about the position!=C2=A0 And (for advisors) please pass thi= s on to any interested masters-level students.

Answers to a few comm= on questions:
-=C2=A0= PhD=C2=A0positions in Sweden are fully funded, with a livable salar= y.
- The position includes up to 20% teaching.
- Swedish speaking isn= =E2=80=99t required, either formally or practically (though learning it dur= ing the=C2=A0PhD=C2=A0<= /span>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.

--
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://gro= ups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-nNsDN0midDDxHF0_-xGPAy5AS4= gGWSpLQAFLPApSgnMQ%40mail.gmail.com.
--00000000000097c62d05dcfee1c0--