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,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 3483 invoked from network); 18 Jul 2023 20:13:46 -0000 Received: from mail-qv1-xf37.google.com (2607:f8b0:4864:20::f37) by inbox.vuxu.org with ESMTPUTF8; 18 Jul 2023 20:13:46 -0000 Received: by mail-qv1-xf37.google.com with SMTP id 6a1803df08f44-621257e86dasf67970776d6.1 for ; Tue, 18 Jul 2023 13:13:46 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1689711224; cv=pass; d=google.com; s=arc-20160816; b=kvpY7Nv9I/28PKTKocxtxrHTJdaJUiDNFavWBwwGIF/aWlhooRVet8P4CVMwsB5Eqy YrTV8JRwGyEelLiQ6Sn8hAx9bQyMyVPW84GLdst7YhMwoTkIH7s35cXj1SLjMlWKsgLE 6sr5lxOAEATbDWCE0mC7XR5RoFep9UbGr7sZWyY9vGSRbZlAD6XNihH1JoqW3dgJmYLQ FwscU/NcD94kPjH9NvY/w7jc8SDoTRu/971ciBWevbepF5hu2Ps0yt36SNvKY8ZC7aA7 aTx2M3NknBxyG4VPX9jiHzdqDN/FaU7Znq9iJQlFeCBQ+Au4oLrw1eH6/vvxoOEajl3d mySA== 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:content-transfer-encoding:to :subject:message-id:date:from:mime-version:sender:dkim-signature :dkim-signature; bh=f0S6AkkI0whpsYrFCauBydS+mmxl4JE7QHbonkhaK4w=; fh=Au3VXil3Du5V478SsqiAW5rGZ2tBOwWUJNdcWQfumaI=; b=1DRtsk81nXB5cIkkDALFf8u/Ls3ogfAf9EhWVWyWvvkJKeRWGI8fWc251ChyTqj/fq qNBF/9AcdH1kjKt/kv4QfbIdKiXKhtb3iH4oTAA9bSvqibTMFEGtGwiPY4ombbE4CS0E QpeZ5esKpUkLAsX4dTm3r7ZME0ZvJRe3oH/XEZbSNVIzntk5wJEj2yeaylbj2ZKEkbbw 0vA9eiVUmeTJGceCzPlUMiUN1/jSxw9NoZeQj0gZCkuWeNvEKOVl/WbXSTWHuWlBaAC4 qbi8+rQUuvRTQMnHwElzTD0xvjK62PAcqpI0ZbNYGpyrg9kvJzKlX8FuoZ+sbtWGD1kj YdiQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=GTcva0Dr; spf=pass (google.com: domain of sattler.christian@gmail.com designates 2607:f8b0:4864:20::436 as permitted sender) smtp.mailfrom=sattler.christian@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=1689711224; x=1692303224; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:content-transfer-encoding:to:subject:message-id :date:from:mime-version:sender:from:to:cc:subject:date:message-id :reply-to; bh=f0S6AkkI0whpsYrFCauBydS+mmxl4JE7QHbonkhaK4w=; b=P4yDEt2bOXx2/IcXjrjAOIiMrABEa4uD/tBcQzQsEvtsuZqZ4JuQioGYYZsj0MlrUm +C7mm6vM19O0EQsX9EC0f3oVt3XW1/LzFBQX9/aWAu2Vd2ozsIxzs7ZrY7kTRnufHWiJ BP7xFrX7NrnyOeU6xdaaBFJQVvSHJ+/u6AfyvMXtdcPNgE+SuNHmXeYArP/8J2fl/ENi 6yYTnYMw7RuhLzR851x4XvpvJzslaWFjdKkYkS6UJEIaupMXwIe4kJi4pUjJClfDrIra KHZ5PNO6C8xQg3rUqPUmdQG1Ki8LrBdPyznz2kcg7qaHbL+OEjljpKiSrRQU8qYWCHaP mvXw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1689711224; x=1692303224; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:content-transfer-encoding:to:subject:message-id :date:from:mime-version:from:to:cc:subject:date:message-id:reply-to; bh=f0S6AkkI0whpsYrFCauBydS+mmxl4JE7QHbonkhaK4w=; b=pGYwC9bTwCJq9BYeYPf6nE8/7BsMCuSd+IeYDbivyrwMGXpQv3silh8ytGD6wGHjpl wJLcxgF5nhyv2UZZbRcTdsEBUwsElZA/eiHHrOBm/uisHYIZkZIurEyavFJnUMFQ9OYd EC+d344Ygl0nZQpFrFQMPx10m9wesPSYwQ6x7/uvn0P8MRcI9qqloUWrZCbYonL2GQUU k2skV6wrwFWbuLNngx0Z/cy9nwiBg2NV/LCeKjM+uX3S/hj0GFV2lkL7nGvC/jeCZM8w IlO89FnqXfFZ8cmjpMO1qlfk1ZAop4Pd36Bcqewaw+UnDmOsGLjXKIGqqXcanLoEvjoF ETbA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1689711224; x=1692303224; 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 :content-transfer-encoding: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=f0S6AkkI0whpsYrFCauBydS+mmxl4JE7QHbonkhaK4w=; b=Xi4uunzzCDJ9HX2CiG8tgQ7R7Hj50cpPFWMcSGu1fD5cueIy+gHsOpPQlFvzMZenhF NZW2Sfc1DnghZdq0Usrc1sxmb6fd0Zn5wlv6ZrVEQzD+hfMtR/3HpaX2terwKzO8rG06 sgpWGrDxJOBtK5lOERGGFBv8MbNZurYmFsmz7LqbeIk1vcQmfHA47EIxKGDJWgkNoDT9 /CNcqIAqNosECXs4A6z1T4BrHJpdKrpPtCNhLxPjk/7yF/Viy7mWdIkCDikYL4pI1WEf /huiSoy8iFk8vtvXMqT+OwB7Qenqs84CMrExjgJXhhj+CFewwZ+3V8xQmySsuxI2Vk8C 8oZQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ABy/qLazPIPsEk0cmsPZMwJiRwMUnuBB65bdCSHDwT37KHfqq0gmIniQ CtDJJ11nBWFaLBl/P+tkRyE= X-Google-Smtp-Source: APBJJlHmZ2QF0s56f+nC2DEa/mrGPTFn7bzLSiMg+tCH5rXWtxrCpVmLVrYzgXQFBKuSgskCj/Jk5A== X-Received: by 2002:a0c:e514:0:b0:636:47a5:4bc5 with SMTP id l20-20020a0ce514000000b0063647a54bc5mr553892qvm.62.1689711224242; Tue, 18 Jul 2023 13:13:44 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a0c:f20b:0:b0:626:3bf3:c6bb with SMTP id h11-20020a0cf20b000000b006263bf3c6bbls2077954qvk.1.-pod-prod-04-us; Tue, 18 Jul 2023 13:13:42 -0700 (PDT) X-Received: by 2002:a1f:5ed4:0:b0:476:4267:1788 with SMTP id s203-20020a1f5ed4000000b0047642671788mr399802vkb.13.1689711222572; Tue, 18 Jul 2023 13:13:42 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1689711222; cv=none; d=google.com; s=arc-20160816; b=Le0MWD2ScQI4QKrdTjMAlSGQMCepVlUg+ZBi5zcQPB+fW+Ins9VjlTMfFCoR6zdV7r 27JeyB0efFLoLULJf6Dz4pXxLH3MGcf/yK1FrON2u93Ow22hRX2yTawafQsjvq//oiuD GxIoGXV2z8DrJPINHxFrLh54mdlfHQTvED31axeAGGX7L2mEY94JSw4lAyUYeK5TSuB6 TYIDNs//ZNDbVchaKi8L28tYnFIVDWhUQ7LuGjueZX7Qt7/QsKoWN3DLa7annS3NY/zv mcHCNBpy4XhuUdMg7GvZVDb0dZsIZyGiaZsxWcYZNfwrY12eSyusNzqYuZMKuDNrLZmD rn5A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:to:subject:message-id:date:from :mime-version:dkim-signature; bh=kAjeF70kdjzHHlwqzw8sNgugNb6O11pUocLDn7KqniI=; fh=Au3VXil3Du5V478SsqiAW5rGZ2tBOwWUJNdcWQfumaI=; b=BVsfdWHK4oTePZ6bcn3rNqtPdWJ2r6WlHKFtl8tPhNtrR/2mFCV2XUMAHq6SsrOXbL 3RrTxqWdYHcXWCbo7xJh46rLXNl5QWoEXGV60CNsw90IcFzqNCxsJZ871+J1oIp6IMLS vRbVaa0ceeSbf72z4AQD7MU8topx6KyG2O4FGW9cCL0MIuz1JC1LlhbGR7kb1+qr0pni Cg78cMSrv80mbMJyFqTyUH7hWmHQooGGU3G8QFB4+lZaLMjdirJjCPOVolK2wrPxLrYu JRf0WfXK35jVycZzRWJb6iRXL/o4HTCCxw9gnE7L6s835NGhFcJS7d0enFimBcHg92Sd dzUw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=GTcva0Dr; spf=pass (google.com: domain of sattler.christian@gmail.com designates 2607:f8b0:4864:20::436 as permitted sender) smtp.mailfrom=sattler.christian@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-pf1-x436.google.com (mail-pf1-x436.google.com. [2607:f8b0:4864:20::436]) by gmr-mx.google.com with ESMTPS id j30-20020ac5c65e000000b00483e40f083dsi154083vkl.4.2023.07.18.13.13.42 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 18 Jul 2023 13:13:42 -0700 (PDT) Received-SPF: pass (google.com: domain of sattler.christian@gmail.com designates 2607:f8b0:4864:20::436 as permitted sender) client-ip=2607:f8b0:4864:20::436; Received: by mail-pf1-x436.google.com with SMTP id d2e1a72fcca58-66872d4a141so4046025b3a.1 for ; Tue, 18 Jul 2023 13:13:42 -0700 (PDT) X-Received: by 2002:a17:90a:8b05:b0:262:f579:41db with SMTP id y5-20020a17090a8b0500b00262f57941dbmr243710pjn.6.1689711220973; Tue, 18 Jul 2023 13:13:40 -0700 (PDT) MIME-Version: 1.0 From: Christian Sattler Date: Tue, 18 Jul 2023 22:13:29 +0200 Message-ID: Subject: [HoTT] Four PhD positions in Gothenburg To: homotopytypetheory@googlegroups.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Original-Sender: sattler.christian@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=GTcva0Dr; spf=pass (google.com: domain of sattler.christian@gmail.com designates 2607:f8b0:4864:20::436 as permitted sender) smtp.mailfrom=sattler.christian@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: , The department at Gothenburg University is recruiting four PhD students (deadline August 20). Two members of the Logic and Types unit have an open proposal: * Nils Anders Danielsson (nad@chalmers.se): formalising cubical type theory * Christian Sattler (sattler@chalmers.se): homotopy type theory and/or constructive higher category theory Other senior members of the group include Andreas Abel, Robin Adams, Jean=E2=80=90Philippe Bernardy, Ana Bove, Thierry Coquand, Peter Dybjer. We currently have three postdoctoral researchers and five doctoral students. Selected applicants receive full time employment at the university. This has all the usual health and pension benefits, paid holidays, etc. Application link and more information: https://web103.reachmee.com/ext/I005/1035/job?site=3D7&validator=3D9b89bead= 79bb7258ad55c8d75228e5b7&job_id=3D31163 You are welcome to contact us with your questions. Christian Sattler --=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/CALCpNBo4LgP%3DMbiKGcyEXs_3Etq%2BiVwkw1tJj68VuGbhx3Y8Ow%= 40mail.gmail.com.