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,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 29626 invoked from network); 27 Jan 2021 16:42:35 -0000 Received: from mail-lf1-x139.google.com (2a00:1450:4864:20::139) by inbox.vuxu.org with ESMTPUTF8; 27 Jan 2021 16:42:35 -0000 Received: by mail-lf1-x139.google.com with SMTP id o2sf436433lft.12 for ; Wed, 27 Jan 2021 08:42:35 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1611765753; cv=pass; d=google.com; s=arc-20160816; b=E8qzakB5dF+J+HOMY5jmYaiYT1qWgYobmnC2fm67ylBWjJadghUkcqha2kWLhxqwLC 4TsJZxqF8TnnWCgKdDEphnNptIJD/rj7wJECimO9b/KwSvLzpsd82Ql+pnL/ig/RjCwa VDLUt8sqG0aL8kxjA41hctTZT+GF4Il7KC4ycP8q871rVCJ+o2uSl0OeD5icDvDuZjaa ufd/9Dg6aFawCEAOY7y+hPDe/gIKg4CHdeaQ9NlYZGBl0M0+8ANy254T3dKf29QZE9bt +zdVDxttjoB83PCtajvyzg26RYpFDeIOjVEnr+Fhmq6qUHskEC67olsnzL1C0qzjooig xAUg== 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; bh=/if3pM8S/0f//UiYVYq2EXIpHuZeQgaVoGjZbMDH9To=; b=C87G+hjOy+dtv+dihQBWnFr5SJpDmR+J38DOk5Ls97/xn1gIRjX0inM3CiW/3qS2PE wlkpiHmmwfkp+KJZdZhNy2qWNYLPUFDN+RdyBmAgEcYEyGhM+1WX7djpgTfxS5a6o91T EeN0K61epJrF2oxFz7Mf20/OP2xVrpz4wJkJHTgrSGUhPVxyng0aSg5RkortNCMvZzN0 ia6hqElbPIY/1RaWJLCeVomAI8Lc9z8HODGIaURQzm/lSKczPDMn8qAUhMi/5ttxh780 vId1PaNP7qhD70BvVpoVwuo++h9+S3KK9oIHmxq//7QEWiYjOJVCGmC1/Cy1Lb+9jt37 3yIA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@sandiego.edu header.s=google header.b=JY4JN97y; spf=pass (google.com: domain of shulman@sandiego.edu designates 2a00:1450:4864:20::630 as permitted sender) smtp.mailfrom=shulman@sandiego.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=sandiego.edu 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=/if3pM8S/0f//UiYVYq2EXIpHuZeQgaVoGjZbMDH9To=; b=bA9qSsQj+K4KWiYfPEJMntLDR79HKaYy2JoUV6kBrJXRYZpBi9PWE2Ldulatg+ruwA cWMdZM2uCReTEy/dvP38wJIpDUGj9iTGAoSYjlddnmZDzZMq9ViD9eZyqvQcuEZ3Qgrw 9l7IKqDqNR7X4XTChIDK2BxFhlqB1od1D0WQ1r3Jk0qaM0jp8DF+YIMX9/xgNxgI4Cn+ /BnRg9hk2vhDKuqPqa6QTgoRKf/M/EYPgflF56Rd1nPfQ5MUdZjSokGEEg36Ils0lsRe pOz1n07TddAG6qiCMWGv7ydxOCZc84OfnrByfWMR9OPu2QsUJxrvfAnAUs4UIXXHv3cY aAOg== 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=/if3pM8S/0f//UiYVYq2EXIpHuZeQgaVoGjZbMDH9To=; b=p5Tpkb5RN5yPzgywxiSu4uOxnk7HKSdETC192oK45/hqj2Op1Dcs6NAAApd2w3nGg/ HQbAr+/yWLEIzT+Mpqy2yjt4OPraQ/YDrNo+mgL5xD/wSD1zmhIMwpMWE38yS15r9vgA zVnl7eG+c+acaAOCDBg+EU/wsxBO1dgDYSIWR+5haOQeY7x4+Olg16EgXkVvJsAJv/Yi /U2S1/VqFoCvXuBsfsJKHFUHj7+XXLwX7A91g7LH3Sxzc/fnH8BRBb2TVN0btnyniQWv Wv0l5gY8qCucnTDUT9X/T3sVB6/gsyXCjz+RAn7nmPvjm9u9lqOdW446P3wyIxP/H3rT ZR5A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM531ADkgGlXEmRYtDs/l2fTaAw5jNhMO0sNQ5cgRZwY6FS3n2j3OT gDaS4k/Lk62uB1wVHFAUACM= X-Google-Smtp-Source: ABdhPJxgrflMZNBYmmXo2/zKlFLAZwnWo+Gvdrr6OOb66lQn10aS08jc4Il01VM2unZIQaAyAylzZw== X-Received: by 2002:a2e:9dc5:: with SMTP id x5mr6043846ljj.42.1611765753329; Wed, 27 Jan 2021 08:42:33 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:5748:: with SMTP id r8ls488717ljd.8.gmail; Wed, 27 Jan 2021 08:42:32 -0800 (PST) X-Received: by 2002:a2e:7d11:: with SMTP id y17mr1748361ljc.116.1611765752057; Wed, 27 Jan 2021 08:42:32 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1611765752; cv=none; d=google.com; s=arc-20160816; b=X0MUqrNEaBwYzjRO8Ba1R/K6zcO6lLq0XZOcC0qNTGDotWLFmvccKO5UgUKfgXuq2s gb5zFanuBvugS47Yg9ZHZ3JwnMBscir8JisX5Z0wY7J2EFnOKCCA81VMEY4UZsURmdvt G7C7KriZrPytIGPiA8Q8mDl6MA7vL2fhHuLbiRy2R+3ZgOEt7h81ZaL/QBTuTA5hnhbe pWrnCZIMd+1MzXHN02zTegc2eRGfxHX7TaDaQyzxyr9fY3DAs7Tqf77z1AkLLGBGEXlv +ntO43PIfXWB+vKoHjuj0Gj6BgiIWh+i2I0nPOwCoXTQu80PIwvM6Rx43/132GmvE9xe YXvA== 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=E2trIxrKFt/N4alVZCEF0jJuXN+2CQYTznEx4SeAY+0=; b=YumUggVfh9pXDvMFSkLAxHwTPmDMI1fIEgZcCnhTYDm8Zk5gFSbb+uo9UEfhGbBdkO 3F5yqbpR5L2iZycCQLv2NamfUSxYexwt1oo7tYKkv7P57Toa+PryeohxB9qKS8ObnCqB Gg70umvB37Eq8M+pf4pKWM03VELxc8/NBXt2QDY3BlSVaGLBqQAzX0rHjV7xTYYokp+h IrVFxZd2tIym590X3uIDXu/HaOdO5YcxKjBzKgRdwZU6+Rq22bA8GbOpLwxn7n2/wtbP DnkBoBoGcu0Tl+Lg6zS8gkJsKVs3bQgSYMbk7WSW8HdFVShUWxiCHVf7DfBeo9bWSSIP 0eXA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@sandiego.edu header.s=google header.b=JY4JN97y; spf=pass (google.com: domain of shulman@sandiego.edu designates 2a00:1450:4864:20::630 as permitted sender) smtp.mailfrom=shulman@sandiego.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=sandiego.edu Received: from mail-ej1-x630.google.com (mail-ej1-x630.google.com. [2a00:1450:4864:20::630]) by gmr-mx.google.com with ESMTPS id m17si106124lfg.0.2021.01.27.08.42.32 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 27 Jan 2021 08:42:32 -0800 (PST) Received-SPF: pass (google.com: domain of shulman@sandiego.edu designates 2a00:1450:4864:20::630 as permitted sender) client-ip=2a00:1450:4864:20::630; Received: by mail-ej1-x630.google.com with SMTP id w1so3525657ejf.11 for ; Wed, 27 Jan 2021 08:42:32 -0800 (PST) X-Received: by 2002:a17:906:e106:: with SMTP id gj6mr7207687ejb.337.1611765751050; Wed, 27 Jan 2021 08:42:31 -0800 (PST) Received: from mail-ej1-f50.google.com (mail-ej1-f50.google.com. [209.85.218.50]) by smtp.gmail.com with ESMTPSA id qh13sm1088560ejb.33.2021.01.27.08.42.29 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 27 Jan 2021 08:42:29 -0800 (PST) Received: by mail-ej1-f50.google.com with SMTP id a10so3544759ejg.10 for ; Wed, 27 Jan 2021 08:42:29 -0800 (PST) X-Received: by 2002:a17:906:1c42:: with SMTP id l2mr7643121ejg.390.1611765748972; Wed, 27 Jan 2021 08:42:28 -0800 (PST) MIME-Version: 1.0 From: Michael Shulman Date: Wed, 27 Jan 2021 08:42:16 -0800 X-Gmail-Original-Message-ID: Message-ID: Subject: [HoTT] Postdoctoral position in homotopy type theory at USD To: "HomotopyTypeTheory@googlegroups.com" , categories , ALGTOP-L , types-announce@lists.seas.upenn.edu Content-Type: text/plain; charset="UTF-8" X-Original-Sender: shulman@sandiego.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@sandiego.edu header.s=google header.b=JY4JN97y; spf=pass (google.com: domain of shulman@sandiego.edu designates 2a00:1450:4864:20::630 as permitted sender) smtp.mailfrom=shulman@sandiego.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=sandiego.edu 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: , [My apologies that this is going out a bit late; somehow the email didn't get sent earlier.] The University of San Diego invites applications for a postdoctoral research fellowship in homotopy type theory (broadly defined), funded by the AFOSR MURI grant. The priority application deadline is THIS Monday, February 1, 2021. More information and the application link are available at: https://homotopytypetheory.org/2021/01/20/usd-postdoc/ https://jobs.sandiego.edu/cw/en-us/job/494290/postdoctoral-fellow In addition to candidates already working in homotopy type theory, applications are also encouraged from candidates whose background is in a related area but are interested in starting to work on HoTT. Please forward to anyone you think may be interested, and feel free to contact me with any questions! -- Mike Shulman Associate Professor of Mathematics University of San Diego -- 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/CAOvivQw%2B%2BQaL4wpSRu7O_a-0r%2BpV9_2pkZomYa0xC_pj-s_dTA%40mail.gmail.com.