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 28892 invoked from network); 3 Jan 2021 15:40:24 -0000 Received: from mail-ed1-x53c.google.com (2a00:1450:4864:20::53c) by inbox.vuxu.org with ESMTPUTF8; 3 Jan 2021 15:40:24 -0000 Received: by mail-ed1-x53c.google.com with SMTP id z20sf10599398edl.21 for ; Sun, 03 Jan 2021 07:40:24 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1609688419; cv=pass; d=google.com; s=arc-20160816; b=x0TdYEIemNYEt2leEGZrBzDOSpMChxYubiugf1uHc7kjboevra1mLsZcTHitpSxSZ9 RmNgb4Ens1lRi8/btV438BgFQ6228yDAnlwY4Xpd2PVwbkalvnyCALPhYmtc6yqV6jWr WIhsVrfjfvGAFnEWdWKYQFplSwZmksbHCHzx4KztOdKvxsNHi3TvBIBumqii63DSbCWu uIc99diYs1MOIyX7l4fZs6s9uaQpLWmkjC/1wEbTmthZ/fapCF5buWx4ehDPFf85sLT8 YvBFik87TM5WJ6Q7VjOaoH+doOY/dgOyn7Kd7cQ/MCrHEaALYQaKMDz7w/o8CPpNc5G/ E46g== 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=9YvB5FNSi9oy2VpbHkxrXHXfVQgBB/UCthv3LojgNdk=; b=FMHIajF8mOP69gMmtUv6GEmKxmH4ryDfywDvOlY9g51hwmx4n+KyucRPoAzvfhqkqS pbBf9GEfhDHXrcp7OXYxN2paXUXPc8wuYQOF1UcyM7SYT6BHOeuWUr+Ecqlp0H/mOXsX FgYzn86Aj/tsgm2LtYW6PEuq2FnNeRrBQLFUxjr1KjPwYMNi/cRZOf/nInQ7nA5GjWx/ +j8uzc11iFXJtIjo+Nyjp2/DBvNf+1NPvdZ64FB9dRANpLbcfLakCTXWmp0nbXqG+0bA q0zEdbj7ngNkIjkDja241ucm7/zAPWEEJffqmShmdjKcbfOoJfniuZ9amg0Nm4HNjkeo bUXg== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of eriehl@gmail.com designates 209.85.167.42 as permitted sender) smtp.mailfrom=eriehl@gmail.com; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=math.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=9YvB5FNSi9oy2VpbHkxrXHXfVQgBB/UCthv3LojgNdk=; b=QdEjQVlCuQCjDVnPzzwVaCQtOJFVuGxdCcPVpUeedJJdzWJxT1DyNVgRVeWb+JzLHm 4c8Yi2XZKuPw2ETdldOk4ul+Q4re+pCmMd4fh8rvR990+7agTZ3r/ah1+QBZOkZWM/pK lHDULqatHP+DsS8+eXIGk5TbPXwin41fRA85i6vF2Gy7zMofZuoV7M+N1uXO/NBb7lvC mnOW4Eeoldfh1DYaJvOZFGVZjAoLrMQHht5FNwO3ACsVi+4YwD6g65/uFCFmG8Cu0MrY 7TRL+6l+5ejhpf0KywgEG3o9O/ZNR3TRMur9U7fRRWaFC4Ktsj15HpJkXb3oMxbSm8hM nPPA== 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=9YvB5FNSi9oy2VpbHkxrXHXfVQgBB/UCthv3LojgNdk=; b=EPaVT1+3N8UG8I2Dc5v3jF4B6b3dmTmxKFG6gZMrDGC0HbpMvUTnwrNu2AKH/2EJ34 rIWOJ1emMZWglCHHcbdomYI4+wlzXPAd0Fe4S/mCAOQrS+faeF5e0L2a/l8bIhSWeHE+ 7bZg9db4Q+Vxxq48nk+KTZb4j9q/DSzuxY/FWTsZoJ0bFC1eOoL+T0hbMIK2ixPpX00c ZfXU52Okasc1maDjsFbkeuvkMFSQFZSK/lgnNVuQb1wBNf26yZiJWPkWuml+xDdQjcMf rnrihKbkdzR2qYUzq6IImfRDCqSKRkalthSpMBAgTDJu7qLlc7jYa2R1hFog73mWLJXZ Z9ng== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM531wEEV+sZHL4l+5Ea13R9ViqPz7H4tJHkWsojpZNYAcD7XMnMgF BXqfWOsq9S/Umee8T7Tu1SM= X-Google-Smtp-Source: ABdhPJzUYuut5ihWGzDK8Eew46sdnBWH4Yc48lsHEZ6Vkf9Z2kwg7tA0FC26wNgHrvDhMt+8csP2gQ== X-Received: by 2002:aa7:cfd7:: with SMTP id r23mr66641090edy.298.1609688418980; Sun, 03 Jan 2021 07:40:18 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a50:fd15:: with SMTP id i21ls12451226eds.1.gmail; Sun, 03 Jan 2021 07:40:17 -0800 (PST) X-Received: by 2002:a05:6402:229b:: with SMTP id cw27mr66347340edb.23.1609688417775; Sun, 03 Jan 2021 07:40:17 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1609688417; cv=none; d=google.com; s=arc-20160816; b=E2T3Ii+kTNSFSWRBPm9HMgQT6qIafggO3/WWY5h3LPu+VdZaIF3Xt62KWkJrWjODgf oIOOd+WwXYTXvstWTzi8j04dJ58AjTVGvENZI6GhXIAaNGtwuVC0SJkasKJMvlIuPKKP 9vhx5Ta4XXArxwaLwPhSxz/nXZUl6MuJTyZdpNq9183cR+tAdO7Jrwg3nYxDFD4Hxxo1 mvWI+XM0a5vL1zNQJKLaWj6wA35JhHpl2Q8Ag3umYB+weRv0cv3deYxS/8Ar3rJhM24B FsUd6Z7tCShhIG2RHwOcFfy+Lbk5XvfLJnuj9mbEAjMZZv+KHExhFDd/vl56OcX9JKZP 4i9w== 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=le5BABzfWYKm4kQTDnIbfPcaQVa+sZkAxIuaLcT0BsA=; b=IQ9M8gynNBiKFMyL/ANi6vEiOMU4bNUh9jUkYFqWHb3PqNtRvNY18Dr5xND0Ai3jOf /t2CYjMkDAYVxSlnl1SmMNPGU7h92GmiGugdJ9Zg3qrNDociDvecLvTkVhHoGlK/0KAw FNrFH3mw/rjX4eO2dY0ndSjb7IvBqsMNYCJWlfEVGZSbVYyQ0gCX4qUik6sWQ2hRiGXd 7oJOXvd+6bJiW1jnW/0oFi9uHbZjzX6DiPHXmATv3BVtKJl+Uurw3eeig32vyeiIXjt1 7tk0x/SC3DHvF52MeoRljvQKqC74rRuZ9ZiV7j7KNCxel+nvSZvdQL6ww73NoYB/OK6Y l5Xg== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of eriehl@gmail.com designates 209.85.167.42 as permitted sender) smtp.mailfrom=eriehl@gmail.com; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=math.jhu.edu Received: from mail-lf1-f42.google.com (mail-lf1-f42.google.com. [209.85.167.42]) by gmr-mx.google.com with ESMTPS id i6si1539355edk.4.2021.01.03.07.40.17 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 03 Jan 2021 07:40:17 -0800 (PST) Received-SPF: pass (google.com: domain of eriehl@gmail.com designates 209.85.167.42 as permitted sender) client-ip=209.85.167.42; Received: by mail-lf1-f42.google.com with SMTP id m12so58837480lfo.7 for ; Sun, 03 Jan 2021 07:40:17 -0800 (PST) X-Received: by 2002:a2e:87cb:: with SMTP id v11mr33055602ljj.218.1609688417070; Sun, 03 Jan 2021 07:40:17 -0800 (PST) Received: from mail-lf1-f47.google.com (mail-lf1-f47.google.com. [209.85.167.47]) by smtp.gmail.com with ESMTPSA id r81sm7029330lff.215.2021.01.03.07.40.16 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 03 Jan 2021 07:40:16 -0800 (PST) Received: by mail-lf1-f47.google.com with SMTP id s26so58780805lfc.8 for ; Sun, 03 Jan 2021 07:40:16 -0800 (PST) X-Received: by 2002:ac2:443b:: with SMTP id w27mr16861043lfl.361.1609688416773; Sun, 03 Jan 2021 07:40:16 -0800 (PST) MIME-Version: 1.0 From: Emily Riehl Date: Sun, 3 Jan 2021 10:39:40 -0500 X-Gmail-Original-Message-ID: Message-ID: Subject: [HoTT] Postdoctoral position in HoTT at Johns Hopkins University To: HomotopyTypeTheory@googlegroups.com Content-Type: multipart/alternative; boundary="00000000000047ea0c05b800cac1" 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.167.42 as permitted sender) smtp.mailfrom=eriehl@gmail.com; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=math.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: , --00000000000047ea0c05b800cac1 Content-Type: text/plain; charset="UTF-8" I'm delighted to announce that we are hiring a postdoctoral fellow at Johns Hopkins in homotopy type theory (broadly defined) funded by the AFSOR 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/01/03/postdoctoral-position-in-hott-at-johns-hopkins-university/ https://www.mathjobs.org/jobs/list/17122 If you are already working in homotopy type theory, then certainly this call for applications is for you, but I'm also open to considering applications from folks working in nearby areas who would be interested in getting into the field, so if you know anyone in this position, please pass this along. Feel free to get in touch if you'd like to discuss, and please send me an email to alert me to your application once it's in. Happy New Year! 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/CAAjZwAZxfzx7sM54F29tgdmZaGr2Tkhu0PHbfJh9-0eJhB4oGA%40mail.gmail.com. --00000000000047ea0c05b800cac1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I'm delighted to announce that we are hiring a po= stdoctoral fellow at Johns Hopkins in homotopy type theory (broadly defined= ) funded by the AFSOR through their MURI program. I've described the po= sition and the application process on the homotopy type theory blog while t= he official solicitation is on mathjobs:

https://www.mathjobs.org= /jobs/list/17122

If you are already working in= homotopy type theory, then certainly this call for applications is for you= , but I'm also open to considering applications from folks working in n= earby areas who would be interested in getting into the field, so if you kn= ow anyone in this position, please pass this along. Feel free to get in tou= ch if you'd like to discuss, and please send me an email to alert me to= your application once it's in.

Happy New Year= !
Emily Riehl
--
Associate Professor, Dept. of=C2=A0Mathematics
Johns Hopkins University
www.math.jhu.edu/~= eriehl
she/her

--
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://gro= ups.google.com/d/msgid/HomotopyTypeTheory/CAAjZwAZxfzx7sM54F29tgdmZaGr2Tkhu= 0PHbfJh9-0eJhB4oGA%40mail.gmail.com.
--00000000000047ea0c05b800cac1--