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 30456 invoked from network); 2 Mar 2021 19:55:36 -0000 Received: from mail-lj1-x23f.google.com (2a00:1450:4864:20::23f) by inbox.vuxu.org with ESMTPUTF8; 2 Mar 2021 19:55:36 -0000 Received: by mail-lj1-x23f.google.com with SMTP id d16sf4896086lja.12 for ; Tue, 02 Mar 2021 11:55:36 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1614714935; cv=pass; d=google.com; s=arc-20160816; b=n9jkIZRkHmk/nHQGIw0Qst0CTydgImJE/YrgnC5uYPzCMBJT8ZpLdxxOelyafp8tUR egCtC2Pym2n70NPlaXWQUWUALet2/14QXJDy4CdOJ74Yu7Wj0tgLPKoUqJytOCYLbWjv qP+ay5repAlFWX0N1toHC1VzmPiMl0irxPW0pJKAU49VOlROUr1UVXN8lCvak3uqDNFj Rov4dbRtOSCACqoRyLTpD26YxJYgeRzWW51JBx97hYjDaPwsYWvfJ58xO0fXOfkLqp/3 WGzVaXVRwyvDoepXP74HtretkARPdZtn+maXwPxJW4Mez5VsR3dVM747mJEoM7eyQIOB 5r1w== 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=+NmknrVcgaHYqjLoh6fGZztTnGRrsT1qSfcOMDsVOwI=; b=rtMaEuPOUS9pqKQCt3NfjwyVlY4fyUg8V9fo/ko7cxaF7B2ObaCJK0m2Hb9/iy+Rg/ hqe9/xoYNQO+7TlyGXJf04chNAYa/4Yf3bve8bv8IKImbIF1tukdiFFHygHb95OCrn9K dZsaf2NlmN+/cypVOwxCGqoXja8ojGINm1XFMD+mJAt3I78Y6ked6DwkU/KlGZTm8DjA pF9fBu1OhnO1mVL4vYKU5cufx4cF+Icvkpye/trfzzyC5wdv8ukjLeI18eHrDkzwstDH yKc9u9DHOP4xunjasbunrOgVj8Cg4Akfc6Kwr8uqRSjvW0aZVSAOrtle/tSKe4KxBaF9 SCgg== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of eriehl@gmail.com designates 209.85.208.175 as permitted sender) smtp.mailfrom=eriehl@gmail.com; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=jhu.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=+NmknrVcgaHYqjLoh6fGZztTnGRrsT1qSfcOMDsVOwI=; b=Bpi80PylbSA3VnIImHy2pDfi7Gu6OtreDXs7L3W7dA4z8r3ZHswfQjRs7GX0bC78EK caKgjIB/hsqDUqkVidowZaJzZ2OKgpCjlAYsYcNHlD1shQIorqMCBrWsV8w9LGzI53XW IkyAGWkL/aF6pCtUUKvp75yPpk3tgBVWwUPowj6pomPcwY6gqx3QN4FvFGARvuyJbNLY GDYAsWPbrm5nyXoh0Y6mn8l0NeWa+kLcoFn7ihl3tJkx4ESWJcWvCJe3fqdeJy8Dgh/t KwxhbTvCVHVUXwcum1rk20ejzuVRgGvKOq1GihyxjfiUOlluymbxNnBCeuSJvFGpU9KF hm7Q== 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=+NmknrVcgaHYqjLoh6fGZztTnGRrsT1qSfcOMDsVOwI=; b=LQHYIHRgQPntMMJRM4D6R7qlaZQLEXC7KY3i9NPrPmH1+wgoTnb03sg5W2UODVJbjO p+w0jgpFzgKbrVd0VOxGwWXYGckiK5eOGOPUeYlH2tvqJg9cU49wcYZDe9JbQkFsxlZs XlGsXVU9IxuggdOYIgdLqe3lI5xKAljTowSUytSiHJYObvOFx9YYKQB96Q9na4LlgxBz qRgjK2sm6Hvj9NfpygoWGHlPOPZQowYlsgOlRsXrQlxyR4KBsPF+FX9+IqU4K2sS0J0H UW25LJdYaO+0pfZWW3U5Zu0/RJlwXYMu22aLlrEvaxKv3wagN3k+lJaXEOdKSLncMFra JBSw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533Oyv7CmpnP6sCe8R514VKmw3pFQjD11nLCNTwyALF4Vnb5jMIW dq34RJGPkiS9+D7JMX9axi8= X-Google-Smtp-Source: ABdhPJz+5iidtOjUgHKX9QNsHE8s0yUcqEw05dUM31v+lrGbdPzKEeOzKbDq/qqE5KA15y0jNexOWg== X-Received: by 2002:a19:48ca:: with SMTP id v193mr9940950lfa.323.1614714934851; Tue, 02 Mar 2021 11:55:34 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a19:e86:: with SMTP id 128ls1600678lfo.0.gmail; Tue, 02 Mar 2021 11:55:33 -0800 (PST) X-Received: by 2002:ac2:42d3:: with SMTP id n19mr12992865lfl.616.1614714933356; Tue, 02 Mar 2021 11:55:33 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1614714933; cv=none; d=google.com; s=arc-20160816; b=t5p9PFQnR3HMFBOJRbOgKziYhdNDAsjIyH4mOx089uawFMmBNvF240VUBv8WM4IBwQ ysYdcrrua0weKLURIMvQnpHaHPss7nCX0SCXu9RVZe+M/mMFv8YrmGmuOf+++pDxVBYa O8CJa9qLvgiFd8JR2eKZoIb6BHdcJWgI/DVGWOfRWFDAW9DNfUuzGjH9JJPMRiMmfDne /0iYjlyIKIODeuW8II8nGav/jPj3+AXn4Ym+1k7aztNk32rzJoKjlJ01gtsdbgacXghS pxMNJB1dI1COnes8gPidil/+E7JejwwnUuz04L/kPLKUZNXS4IEo1knHS6zUi2iPSudx ELtw== 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; bh=jxE++Ar2bdorGEj20+Lmu56MpuRnyRdMKqEJAYm1SDo=; b=vBS+ZW998b0l2lDdYKm6F9YXIXDDyzxRRKH9OOUUG5SLP+wY6kYHgJlgJxQr1HyXoZ 0Uu1zNmYcB69i2CfJVVrvXiVhM67bej0R+iih/pAQg6YJ3XM3T+zhX4WR/nzx9Kh1BTw HwQbE4MmQZPuGKImPt6D3kv8bk763TCB6UQNOP9hPWmPjnoqqUBcmzzhtYPv0wdKwIVS xkt6IEBJttCPB7jb2Pd8l+zZyGdH7yS2rIV/GFI0MWJvDz5o+3F343d575R3/vOor6PT XCT9/8vuiOx+woO0ukVQP2uEMyyRXk7l9tJAyuX2OAKgiTSGhH3IVwrbV0jf9ZbLibMn +lqQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of eriehl@gmail.com designates 209.85.208.175 as permitted sender) smtp.mailfrom=eriehl@gmail.com; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=jhu.edu Received: from mail-lj1-f175.google.com (mail-lj1-f175.google.com. [209.85.208.175]) by gmr-mx.google.com with ESMTPS id y3si992572lfb.6.2021.03.02.11.55.33 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 02 Mar 2021 11:55:33 -0800 (PST) Received-SPF: pass (google.com: domain of eriehl@gmail.com designates 209.85.208.175 as permitted sender) client-ip=209.85.208.175; Received: by mail-lj1-f175.google.com with SMTP id k12so16547504ljg.9 for ; Tue, 02 Mar 2021 11:55:33 -0800 (PST) X-Received: by 2002:a2e:9f54:: with SMTP id v20mr12974546ljk.261.1614714932994; Tue, 02 Mar 2021 11:55:32 -0800 (PST) Received: from mail-lj1-f181.google.com (mail-lj1-f181.google.com. [209.85.208.181]) by smtp.gmail.com with ESMTPSA id v18sm1182792ljg.85.2021.03.02.11.55.32 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 02 Mar 2021 11:55:32 -0800 (PST) Received: by mail-lj1-f181.google.com with SMTP id 2so21043215ljr.5 for ; Tue, 02 Mar 2021 11:55:32 -0800 (PST) X-Received: by 2002:a2e:9198:: with SMTP id f24mr6348558ljg.32.1614714932701; Tue, 02 Mar 2021 11:55:32 -0800 (PST) MIME-Version: 1.0 From: Emily Riehl Date: Tue, 2 Mar 2021 14:54:56 -0500 X-Gmail-Original-Message-ID: Message-ID: Subject: [HoTT] Postdoctoral position in Higher Category Theory at Johns Hopkins To: HomotopyTypeTheory@googlegroups.com Content-Type: multipart/alternative; boundary="000000000000fa2f4f05bc931d22" X-Original-Sender: eriehl@math.jhu.edu X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of eriehl@gmail.com designates 209.85.208.175 as permitted sender) smtp.mailfrom=eriehl@gmail.com; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=jhu.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: , --000000000000fa2f4f05bc931d22 Content-Type: text/plain; charset="UTF-8" I'm delighted to announce that we are hiring a postdoctoral fellow at Johns Hopkins in higher category theory and homotopy type theory, especially as relates to quantum field theory or quantum logic (broadly defined) funded by the ARO through their MURI program. I've described the position and the application process on the Homotopy Type Theory blog while the official solicitation is on mathjobs: https://homotopytypetheory.org/2021/03/02/postdoctoral-position-in-higher-category-theory-at-johns-hopkins/ https://www.mathjobs.org/jobs/list/17392 Please feel free to get in touch if you have any questions about the position and please send me an email to alert me to your application once it's in. All the best, Emily Riehl -- Associate Professor, Dept. of Mathematics Johns Hopkins University www.math.jhu.edu/~eriehl she/her -- 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/CAAjZwAaySodXJfa34tfFKK%2BD%3DmBSfNiViYU7SN76wkJuvpws%2BA%40mail.gmail.com. --000000000000fa2f4f05bc931d22 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I'm delighted to announce that we are hiring a postdoc= toral fellow at Johns
Hopkins in higher category theory and homotopy type theory, especially=20 as relates to quantum field theory or quantum logic (broadly defined)=20 funded by the ARO
through their MURI program. I've described the position and the applica= tion
process on the Homotopy Type Theory blog while the official solicitation is= on
mathjobs:


All the best,
Emily Riehl

--
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/CAAjZwAaySodXJfa34tfFKK%2BD= %3DmBSfNiViYU7SN76wkJuvpws%2BA%40mail.gmail.com.
--000000000000fa2f4f05bc931d22--