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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 8535 invoked from network); 5 May 2023 05:34:36 -0000 Received: from mail-wm1-x340.google.com (2a00:1450:4864:20::340) by inbox.vuxu.org with ESMTPUTF8; 5 May 2023 05:34:36 -0000 Received: by mail-wm1-x340.google.com with SMTP id 5b1f17b1804b1-3f175a24fd1sf7640925e9.1 for ; Thu, 04 May 2023 22:34:36 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1683264875; cv=pass; d=google.com; s=arc-20160816; b=chVOh1FzEv0zf9x82CUSzE6k18wAbH6pG1SAbpkjsOHvJ2G+yW2Mag6hqyNGo7Q7Lg RbwEjuKIXrXevJRbvpOphqeYcfmpMFOaixvqYy+x8qLn2bB0CgZ3ImmEjbPiQTiSQQe5 WiG3JbhfS6jxp+CuC85P5meKSta0Bv3fcJ/irGFNNKNNaDRYvIrUqxVSKlCW4t+7uYjX n1FgadDr2N8K5CjAY/eLNeaIL9i9SK/xtABcf+vX6unqUn599zEekTqpmutcqtScPmZh ruxqZTQ8QTMDaWXnTx5ifRUkjVHfckgWZR7e+evEa3sdBQoqWZNaoL0jS/q/V7kAmepa sqdg== 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=a1UsXmXS15BBFCZUBQ26wwVfeAkSEhQBHRFS4vJdNhE=; b=fa7CTH99NCiSLbN8Ij5uSlC2aV1/Bg3rn09ZsQVcHZlhgAmBP2NfZzwt8MxwGI3Z2T +zoY3H3v6JqjRsMnm9Pc/zMJEHQDcrwzY3G1EBxjgWC7Z9GuG5CfznrX2+tzeIGh5zXm EDA0RAk0Gx4TB7yGppICO0TqtMqh6KYRmLNDSxCnRQH1u9utE8ue6DJOoFRlnUvC73LB LK5fuVP5W3UgZkshInQfm3tF5ocVB0ose5wX5YkqmIFcM3ysRYpJ8WxsU1ztY0BqQvFe T18IX4E86Vta906jNrka7CBkN66aL3PU4yt0g2byOxDEZtQ6cRF8Idi3GN9atIJHjW/9 g9+w== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=REXjMtx5; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2a00:1450:4864:20::52c as permitted sender) smtp.mailfrom=andersmortberg@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=20221208; t=1683264875; x=1685856875; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version :sender:from:to:cc:subject:date:message-id:reply-to; bh=a1UsXmXS15BBFCZUBQ26wwVfeAkSEhQBHRFS4vJdNhE=; b=KBVOHWefilKm+gJdXszHVdzYRjMU4vXOWPYkdVZ+67G17Qp+pDCbNMdf6zWoN8pjIN M0eAho2/I4HC6RfpTaRQdx0wBH9nr8bp1cKJ+pHKpZlmtljx/rxit7iqTEQG4ijZ7t0z PNIx2fD0raPhuX0x2PMePz5j+je5C72OUkbY/cXQiitnDm/4StijrfI69amuTXeilnD6 a7GQ+d1SEZoXkEqXg3TPfWaGEI+22HIp9yJLk2+vq/1yyReX7IQxd5c9h14fLH5RVUhy sElQjcZgLL8snWbYqefXpAkmvDO5m5WaSx76uK/Ki+Km1i84lK2HKNjU+kDWiq6btPjO NPMA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1683264875; x=1685856875; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version:from :to:cc:subject:date:message-id:reply-to; bh=a1UsXmXS15BBFCZUBQ26wwVfeAkSEhQBHRFS4vJdNhE=; b=YNNZjEe1QW7LYZC9eYLAqc32tklXgEUM0EOAZjQrX/9rrq+JIHCFKxr1Q3cHBqol3g sk0Qk8hcFN4/VfrD9gP9v3wnngdH9aAlmjYcVbE9lFUKNB/qudxL8H69tI6vP+fbrj4+ Y/CWiWsfmXAVJIFGrboES61HbDmkduO428ijh247e6lCKsCcsnJmCxSqkuOtvQBG+fMx N3OlCzIz7Vb0kjNJyOfw0njCPg1a/tOtYw/mfx7jSnx0chCAwGRtGCFyJo7M2Qs7mhyx aCIfyLB9E7kRW+M5PCKAeiKaeYOEuAwwKddO6T78BGehD2YKODreZW46ehdU6y/tnyin qVvA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1683264875; x=1685856875; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:subject :message-id:date:from:mime-version:x-beenthere:x-gm-message-state :sender:from:to:cc:subject:date:message-id:reply-to; bh=a1UsXmXS15BBFCZUBQ26wwVfeAkSEhQBHRFS4vJdNhE=; b=fhfEsEiZwX80wUL7M5V8C4Kq2UpQ5jyxgUm4/68VYt2dAYsJmOq+3xPq2yMsQFCy6S Sgl0KMI/c4uk7YPI0ERagx0OL4YRkIu/4DCKBMOnOxB7JxscAZP0b6DD3e9yzEUtJ9da vH0MLxT61XVfuYbtsKHq1LAyxH7Zk1TXmMLmK/WMnEdoL6uFwYQSZo9SLzzAKIjZp3Gr mYkxl8TgZRpVe7jjacQTQNfTqwZodpBkDs8bx6sUmVLtPjTqHWniZhuxb25w1ZGMWm/b YyQP0g/HeX0ug5pp6DAWoTjajvPG0UtR50i+oeH1FhU3zikqwoBdf5d4/Qm39eCwv/vG tVcw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AC+VfDzMzjvSdCV4IURWpwBgS0DqyMM/WwJmjW8qUC3N0lhyTLfJjSKV XMiw2EVIekw8yM00DJNAGV0= X-Google-Smtp-Source: ACHHUZ6Z24aoiCdXTYYssuO3AiO6fRQvSKVELQVNwfqMu+2T5ce5W7okslP0HZpobONoUB1LQR2IzQ== X-Received: by 2002:a7b:c8ce:0:b0:3f2:5004:be67 with SMTP id f14-20020a7bc8ce000000b003f25004be67mr29094wml.4.1683264875326; Thu, 04 May 2023 22:34:35 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6000:1c0b:b0:306:28af:9a26 with SMTP id ba11-20020a0560001c0b00b0030628af9a26ls3275773wrb.0.-pod-prod-gmail; Thu, 04 May 2023 22:34:32 -0700 (PDT) X-Received: by 2002:a5d:4485:0:b0:2fe:c0ea:18b4 with SMTP id j5-20020a5d4485000000b002fec0ea18b4mr372243wrq.24.1683264872790; Thu, 04 May 2023 22:34:32 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1683264872; cv=none; d=google.com; s=arc-20160816; b=PsGkjlPPXWrUCCWXPbPqrfaMyCcGZ396o/aQwu2dz8nIdTrO9KeS83AiN23ZXRBpHG nSFAWoMJgFjgeccmLZLjDJflDRHgdqObdHXVtzjpbeSCsHbOqcmmhEj+rrBhSXFS0Cjm O+86aJ8V71nmgHwSbNRaAKnaFjxCEfPZ4KwGZO7JyNe0AwKITLUTDLbPf4RfUS1kp+l1 UqPqly4WFwwWyd7Lo/sw0or66TL4X/TjYK/2ap5+1SEj6JQOspwK2uKQFwT+es0fzNvO QQsjhZTxFg5g1FNO2GZq6+PZwTPKkTvqWCSvuQpoAcOYv/llCozHnsuCoSag+hYsf/XG 6dnA== 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=WmH4yO5n+78TO9fHmxHfU7IcMZuTapKL/eB7xkV5n7Y=; b=rlJd6zgXyKqNOsHxRt1QWUfcN03OYN+5Bhg9N0NLIBbRl/kCKAWE9uqy11GkOMRUwF nVBWOpLTGNPdo9Y9O+NQH2NPDki4RJsbPniiC5RYEJdOsfjP5OQe3VkXsUzSLqSTCWb/ WYkCQt5G5Z3R8jzAtOFKcdWmaarpM6XtWvXWFyUxaFBFuNiDBwTFtPDSxWbrSGvld/SX Vz07sR5lT9fO4YQXHxW7prQS6tr7u6qLMBtU34uqWIQmGWcklj5/jRbvLsQPIxc0mcE/ FouEgjBbsBM/et5hHdoG3zc0vuZucGrEYohqqR99amef0sJaVUlRaJRyXBZr8TpqZnrk AlnQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=REXjMtx5; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2a00:1450:4864:20::52c as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ed1-x52c.google.com (mail-ed1-x52c.google.com. [2a00:1450:4864:20::52c]) by gmr-mx.google.com with ESMTPS id 12-20020a5d47ac000000b003062830249asi50251wrb.4.2023.05.04.22.34.32 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 04 May 2023 22:34:32 -0700 (PDT) Received-SPF: pass (google.com: domain of andersmortberg@gmail.com designates 2a00:1450:4864:20::52c as permitted sender) client-ip=2a00:1450:4864:20::52c; Received: by mail-ed1-x52c.google.com with SMTP id 4fb4d7f45d1cf-50bc5197d33so2548648a12.1 for ; Thu, 04 May 2023 22:34:32 -0700 (PDT) X-Received: by 2002:a17:907:2d2a:b0:965:b087:8002 with SMTP id gs42-20020a1709072d2a00b00965b0878002mr142922ejc.0.1683264871820; Thu, 04 May 2023 22:34:31 -0700 (PDT) MIME-Version: 1.0 From: Anders Mortberg Date: Fri, 5 May 2023 07:33:56 +0200 Message-ID: Subject: [HoTT] Associate professorship in mathematics in Stockholm To: Homotopy Type Theory Content-Type: multipart/alternative; boundary="000000000000bf711d05faeba464" X-Original-Sender: andersmortberg@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=REXjMtx5; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2a00:1450:4864:20::52c as permitted sender) smtp.mailfrom=andersmortberg@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: , --000000000000bf711d05faeba464 Content-Type: text/plain; charset="UTF-8" We have an opening for an associate professorship in mathematics here in Stockholm: https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=20815&rmlang=UK It's a (tenured) position in mathematics not tied to any specific research group, so it could be for someone in mathematical logic and related areas. Ability to collaborate with us in the department is highly appreciated. Please don't hesitate to contact me and Peter LeFanu Lumsdaine if you're interested in applying and have any questions. Application deadline is June 1. -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAMWCppko6ROaJje3AOmFQo%3D0HtRuCSzviA9Sy%3DWwa%3D7dRG_piQ%40mail.gmail.com. --000000000000bf711d05faeba464 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
We have an opening for an associate professorship in math= ematics here in Stockholm:

https://www.su.se/english/about-the-university/work= -at-su/available-jobs?rmpage=3Djob&rmjob=3D20815&rmlang=3DUK

It's a (tenured) position in mathematics not tied to any specific = research=20 group, so it could be for someone in mathematical logic and related=20 areas. Ability to collaborate with us in the department is highly=20 appreciated. Please don't hesitate to contact me and Peter LeFanu Lumsd= aine=20 if you're interested in applying and have any questions.
Application deadline is June 1.

<= br>

--
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/CAMWCppko6ROaJje3AOmFQo%3D0= HtRuCSzviA9Sy%3DWwa%3D7dRG_piQ%40mail.gmail.com.
--000000000000bf711d05faeba464--