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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 15853 invoked from network); 19 Feb 2021 15:57:21 -0000 Received: from mail-lj1-x23d.google.com (2a00:1450:4864:20::23d) by inbox.vuxu.org with ESMTPUTF8; 19 Feb 2021 15:57:21 -0000 Received: by mail-lj1-x23d.google.com with SMTP id b14sf3431231ljf.22 for ; Fri, 19 Feb 2021 07:57:21 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1613750234; cv=pass; d=google.com; s=arc-20160816; b=YjXXNfo+0i/VvMm0fRQ6f5mV45bawN/ZooCpn6cr9CuRV3drIyJrhvUA7Ou3FWYnl7 5eRwOHuzLOCx4qlyw9GSOdOo/T3DDW0hpfguxdpXsnon8ythW1C5QgHWS4ElE7q8udqX dwZf5cnKX6/a9WQWgrWiiXT+NinJ4L2FWjAMED8n0KoYNKp4A5YYMTyGezxnvCpp8bV5 br1BUYuKF+iEYoD07h50koP6LSBwup4WuUdXNLjXWaz4UFWywixKFCJPxTVTIa1astLJ JpPNiu6Rec84PNZ8BLFS8+kW+2cW4+t0/NbITiekPYRZTqy9Fks+wq84p3Dt4D129xjx E8yw== 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:mime-version:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=PLDWA8644fUrqXU57arFBPbmLz4D7M2EIMQi9xJZGvw=; b=cjJAgYwb2axr3sWDQ2wf83NSryHlWLCQNB8QvNzI1zF8PXRSrQ0TCp9vzi2gfu6RLk yisMpSOOQl1mkVtFmE22WqnVp4O3IoI/7+2Ao1xuMBLO4xdAASn7qZYkZM8MdNsKsRvC sACLMyau++fpiQYxIO+gkNuinp1V8fvv73SbD1WWeLMU7eKC02HbHgIcgRlVGU/xL3Ja YCTFhtgx5j1sVE47EHcsX6SpnIZWGGXceosqpoVGxGf0sCx42dFALr8YNYVD97wdC4Ra hYlns/EkiklrDFitoNCAeORJ4Kk3seKyESGDmCSadFkwghNTSXsJx+zkw/MURJNDnoT0 nUlg== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of thierry.coquand@cse.gu.se designates 129.16.226.133 as permitted sender) smtp.mailfrom=Thierry.Coquand@cse.gu.se DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:thread-topic:thread-index:date:message-id :accept-language:content-language:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=PLDWA8644fUrqXU57arFBPbmLz4D7M2EIMQi9xJZGvw=; b=U4G30MUor8FJb0KXZak43siy6vzJroIbSywpDs1//GppIvZSEy3PaQyeVMRslHeDIc 3iblG1kNg8Evh3QaOdRk0TrPFsRDu3D80T0t7Io8DQ+07nlc/IsV8nt/GOeN5oiymTWh wc3Tgvpe8hcoTrL5RkQaGx2CoFlQo3kw3vHM0T4EODiLQ9Ul2aR5Bh0sbWuNZyDtTHgO NSwgKYwQucIYm981qvNRDqsx1ER4qQKFSA1kITIDWaEm+rWGOGjVWLOj+4i0G1QW50uN FEN/ENkJkXHvxgE26WBIbFmWaPJjtyTjhjHWqV2MpfZ5r1w5mQu2/krTJ5szDEG91kLq P7vA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:thread-topic:thread-index :date:message-id:accept-language:content-language:mime-version :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=PLDWA8644fUrqXU57arFBPbmLz4D7M2EIMQi9xJZGvw=; b=IKuYYNgLHLsF885MMmPV7BDrsVuKpG0FR7kbODXO/Sz+08VfE8fSl149sJmGL8vrkM CB1wMVo96/F+SgLlWqaxCbuXI2ogdOrJhUcTpAE3VrNgMvNQLc7P9IymQ3XW0K+iCXz3 LXPv7UbYM3qImaLwd3frikPdpwYkmwuN5v6cERaSL7JhwCu30yEfOVSjny4vxQkD2W8j oq7r/rle3HKc44/VgvC/bwj/N5rgT8Z5+EKwfxBmqv+xFg9GXtu1lYgI36shuCXLnOSA yKGYTW4hoX1d1xLp0Zzo/2KrFWM1IEXVx80D7TRcrTVten8vZnBfJN+MbQ7q8sFLqd0o aiVw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533A3bV27O42BrPxjtdSK4a7IrK/8G5b+uSxq+ZToB0kLiWRTdb0 WsjIyKkOSz5RlNlwhJXvJHc= X-Google-Smtp-Source: ABdhPJz8MZ/s5stBb5ICdyRmL1djPDLZXgbda/9ga6igS4brPvXhB9n01HT/x3jPncg+Zg4HZ4+0bQ== X-Received: by 2002:a2e:7a07:: with SMTP id v7mr5938685ljc.463.1613750234541; Fri, 19 Feb 2021 07:57:14 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a19:480d:: with SMTP id v13ls552492lfa.0.gmail; Fri, 19 Feb 2021 07:57:13 -0800 (PST) X-Received: by 2002:a05:6512:31d2:: with SMTP id j18mr6131862lfe.661.1613750233338; Fri, 19 Feb 2021 07:57:13 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1613750233; cv=none; d=google.com; s=arc-20160816; b=mP71AP/XAW28CJhx8ntp7vkNWj1DUDg37Jo1zl0IkdCnAiW/2nP2LyTjDKk8Yf3FV1 BNDGmKh+GZ0wqmZ9OWI5jfd9Q9TTxJPMxK/mKxwMjBaFnm/xPKmaSOlISNo6XdXouXFD HHbxrlUkMuF1DcYaG/bfRjDU71jOk8q+doiS7d3k9yyRjH3s11gBvZh0nC37UmKfqo3F E8Zqj6E5Q5W8MtLKNejN7xcHP232egh/fG+8JO0tclu388s43oO2M/ul2Wy6xXCw1n8T 3dFFOKzEjBJdWlXtSr7EFxncxS1eCzjORddgIbuGVryabnpZfvJGHYMd0PKxwWQRWGPw URlw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from; bh=1Vjw/NdJgJ5xmo/notDLxVTHk9IKqZmg4NyLXGGRsvI=; b=t7rocEO6vbu/AanSZ+zeo0IHvZuat3/NaS7Hc/3uGEJg4H11v4ayCO68INK8+/6WOk aiHBfY3TTl2FwygIwMsMy0+a91kC5R+EgFJTN4kTEb8Rn9v+R/RDhLTOO7EhhXRpR/rX /2D7sPOdcQwO/EVpC+3FIYdazPdTkicGd5WPgNVeZZ6sjkJx0g7qR5EVL8JkELfPLVyl jvluu1jUWvwTEZDv5p1tIBig8H2ocKVcFeDC9/tGUMjXuZtIIYsSkN3wSe2TjjKryLNF iaDFzRbxD+5jW4jBSOomDqKlxCkFa1c5mIZQuKYtOYr+LmZdbyG3uJW1XAS6+ibN4WIQ stPA== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of thierry.coquand@cse.gu.se designates 129.16.226.133 as permitted sender) smtp.mailfrom=Thierry.Coquand@cse.gu.se Received: from targaryen.ita.chalmers.se (targaryen.ita.chalmers.se. [129.16.226.133]) by gmr-mx.google.com with ESMTPS id j2si238722lfe.5.2021.02.19.07.57.13 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 19 Feb 2021 07:57:13 -0800 (PST) Received-SPF: pass (google.com: domain of thierry.coquand@cse.gu.se designates 129.16.226.133 as permitted sender) client-ip=129.16.226.133; Received: from tyrell.ita.chalmers.se (129.16.226.132) by targaryen.ita.chalmers.se (129.16.226.133) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P256) id 15.1.2176.2; Fri, 19 Feb 2021 16:57:12 +0100 Received: from tyrell.ita.chalmers.se ([129.16.226.132]) by tyrell.ita.chalmers.se ([129.16.226.132]) with mapi id 15.01.2176.002; Fri, 19 Feb 2021 16:57:12 +0100 From: Thierry Coquand To: agda mailing list , "proglog@lists.chalmers.se" , Homotopy Type Theory Subject: [HoTT] Postdoctoral position in HoTT Thread-Topic: Postdoctoral position in HoTT Thread-Index: AQHXBtfiLRTHZQFiHEKnsw3mYyDl5g== Date: Fri, 19 Feb 2021 15:57:11 +0000 Message-ID: <9FE39FEE-306F-4420-8781-05D3BD8E3071@chalmers.se> Accept-Language: en-US, sv-SE Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [129.16.10.245] Content-Type: multipart/alternative; boundary="_000_9FE39FEE306F4420878105D3BD8E3071chalmersse_" MIME-Version: 1.0 X-Original-Sender: thierry.coquand@cse.gu.se X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of thierry.coquand@cse.gu.se designates 129.16.226.133 as permitted sender) smtp.mailfrom=Thierry.Coquand@cse.gu.se 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: , --_000_9FE39FEE306F4420878105D3BD8E3071chalmersse_ Content-Type: text/plain; charset="UTF-8" I would like to announce a new postdoc position in homotopy type theory/univalent foundations. For details see https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=18963 The deadline for application is 2021-03-10. The call is primarily for people already working in homotopy type theory, but we are also open to considering applications from people working in nearby areas who would be interested in getting into the field. The position includes up to 20% teaching duties. While our department is a joint department between Chalmers and Univ. of Gothenburg, you will get employed at the Univ. of Gothenburg with full employment benefits (health care, pension, etc). Please do not hesitate to contact me directly for further information. Best regards, Thierry -- 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/9FE39FEE-306F-4420-8781-05D3BD8E3071%40chalmers.se. --_000_9FE39FEE306F4420878105D3BD8E3071chalmersse_ Content-Type: text/html; charset="UTF-8" Content-ID: <22B90AEEF4DECB438B1D1D79D7A8CD67@chalmers.se> Content-Transfer-Encoding: quoted-printable