From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-qt1-x83e.google.com (mail-qt1-x83e.google.com [IPv6:2607:f8b0:4864:20::83e]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 6794a62a for ; Sun, 10 Mar 2019 02:02:48 +0000 (UTC) Received: by mail-qt1-x83e.google.com with SMTP id c25sf1741926qtj.13 for ; Sat, 09 Mar 2019 18:02:48 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1552183366; cv=pass; d=google.com; s=arc-20160816; b=vwl8YKBB1u9XIMRVi9LqQpv8TQImgqzgwvyHX3tUCeim/ZrxgukdI1x38n6v85vXbR +F10LGZ3TeV5eAvLmCNMys8HTvYHYJsEMwgkAlL9nFiK801AQIWRUWfPjiO9t6iry5Nm Jr2yosOhYLOmOSLWqxCea02VyaZtBG+FDeH2qJmccPIaIz3XrUJniNfiocirUflLCqCA qOt3bKZnVHjwe5/5zDkgX3ZD/QjlG6RkiVVk+IZjAUVE5Sdmprv/6NfOjwU3iWxUmMZB PscuAXpjaLJ584XOYzGIiGt63gQFgt4hxNTcQ+8GiYXT8EpQp7XLSstPw+0GNHc/MNyt KcCQ== 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:cc:date:message-id:subject:mime-version :from:sender:dkim-signature; bh=URYmuTLYXdI2y4UvB5bJ8z9/+GqnaosLbfLGe19+NOQ=; b=FuZYZsJy5+FpNWQoR89WNwwri20MrXCIKdKXaVOMNvKT0yqYqf3RViUBHyC8ChBPUA ZCvQR0TT5kUlMdLoYuaUZnWfkC98y++Ksyx9Jl7gOTJXf2BNRuPlCWQhG2irdiK9HO+l JkiY/jdn21o94RIetGBDp39DwuJa9Yaesc+9z1S8tlPQoMc0k3meQGEcZ+yoJYGo0dgq rvFgJLislROpHJo36oWG3Z4keMoO0CTyKvJP6AtGJDTGOvbMx/EtAxGvHass/jctiPvd 9FB1xGMuieXzmndhaIYVeU6+zTc49BiuMvikVaqixUs8eAHeYtwAiJpO8LoYF63YFr5D NgYg== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=neutral (google.com: 162.129.199.149 is neither permitted nor denied by best guess record for domain of prvs=965956ea2=eriehl@math.jhu.edu) smtp.mailfrom="prvs=965956ea2=eriehl@math.jhu.edu"; 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:from:mime-version:subject:message-id:date:cc:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=URYmuTLYXdI2y4UvB5bJ8z9/+GqnaosLbfLGe19+NOQ=; b=FtJtrIYXgPFzakRlTAzuGJ3BldOt60MDbE5q8GcIFlMlt9zVbMGjL60oT7TqUkGqTG Ahm1D2I6kOVYHzBeWTyxVwtXcIFucs9aV0/PSKDto3IAKL9Ux9F6to48qeYs4x62Y3ZU U15E0yNe+PUrk4PJgOR8hVKpa+3L1SwCybkXgF/PULrYJ2T/7ZEFLkQb72zm4tM5m52l FqupbnE2Ua4ONRIdtv7DrHiAKwl5vBEvLlSDPSLzl8wz0faRUBjUM4MwVvidgaQH+YmG krk7lJnSN7QEtBexZhoAC4qm5dSg4MRHnJApQpRyqD2GzFzwsH55uwYlqEHFTdcAbnrg iceQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:mime-version:subject:message-id:date :cc: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=URYmuTLYXdI2y4UvB5bJ8z9/+GqnaosLbfLGe19+NOQ=; b=WJMDSTSFbMhfR9lBPQOjPZNzppkA9J70iGLmu3BfuqvhJsLZwxeYAtWliUKG3EAPCB t9zm+3ucjfcWKMz/7n+lm4j1rvvS60K+jdvdPWMdQGsaaEedBIshzCQAG2TQdHC12Ehl wHnnDPjaA9S07wznvFeoKQmD+AuNRZTLHGbfxDstLaslTRboDgEg5uIYn60VM7H6W6Uu ROqUc3xNiIiWvLdYLh6BW7kPXa0cAzW4G0sVDq38GPjJ16d98T+kdNxuXmdWTQE/nDXP Yy8O29GsNQ5Qdb24wj/JX+mq/wyO3MXp+iYiCU03eS6pYDuxqwE6GhDXJpH7GQRKtfmv OuIA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXn3Jop2aIDCE7MN78+g/50doNYvIhJSQUjPdqc7XduP/xh4AEK KD9gH+Ddu2/fJJoRoSdQMSo= X-Google-Smtp-Source: APXvYqzIHk7w6IxZGcIRjY0HGdM5qPOUy4qn4RaUgwvpDoNXAFHksPCvHk+jPq16f14x7XW1GKJojg== X-Received: by 2002:a0c:aee6:: with SMTP id n38mr20571789qvd.69.1552183366380; Sat, 09 Mar 2019 18:02:46 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a37:4ad6:: with SMTP id x205ls2592005qka.5.gmail; Sat, 09 Mar 2019 18:02:46 -0800 (PST) X-Received: by 2002:a37:4d10:: with SMTP id a16mr5287209qkb.62.1552183366087; Sat, 09 Mar 2019 18:02:46 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1552183366; cv=none; d=google.com; s=arc-20160816; b=MT+P49R/mFEf8UOPRrzMrLDyq9nUVEAR4Il9Gs7LAQW+JJuuXWNUnIVnd4CRTjs8b5 IlVZW+uBfdj9kGFpJFNnhPgbDm+d7VL8RCnfKYKLskyUKeTKHsT7tGGwodwK8FCvuEly eC/fPaRk5EshwzuWianX0lVnU/ALhdDZQOsZVM+pE12NyyT7safPSh/91e7lxs+So9pU A+YF7m0tCTxRb5qPItx96gy2KME6gPUdSdTUtCbkptf9PAXopHTjDh9KjAnpu+VsBJol Q2v8tXjiq/DB7ZdmfBeibYJMGIm5ffZiriZ2kvoGVT1gVLHpNG2jr0xMTYHfXCkqSxI9 WQ3Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:cc:date:message-id:subject:mime-version:from; bh=FPUMzRjbTfmf4lyTiJHlLqhRH7oux8cvVJtyLDj1Oj0=; b=Q3NZ9phKbxlp7B522wZmB5baYkbEnNG9JbR3w3BJ5Yd2fbZBdioDcVOaSkZmeB9AyB e8ArjQNH9VoUjziJVwC3lOxclrCVBHqTT3dEKElCo2oViFCjQTjlVLONmzy/drzevEd/ XCS5Aa7beJr6nLH+ecEFxfUSTXv8Jq8fjWO3R4G5zHep1+j4e5ZLEveKo2YWb6DATVDH oLEx4bbQwCiixx8tLfE4SCrDsL2JK6DtWsSonCTL8QScHozCTth3IlI2Ms7irK+jg+Lx OZJHbPW9xNjy56w3mjZIvdvv0OhRJFsNJ6734ZhmP/SGMz9yPmWaorhHSYwW9Sl3gGUA IQAw== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=neutral (google.com: 162.129.199.149 is neither permitted nor denied by best guess record for domain of prvs=965956ea2=eriehl@math.jhu.edu) smtp.mailfrom="prvs=965956ea2=eriehl@math.jhu.edu"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=math.jhu.edu Received: from smtpauth.johnshopkins.edu (smtpauth.johnshopkins.edu. [162.129.199.149]) by gmr-mx.google.com with ESMTPS id u65si84231qkc.5.2019.03.09.18.02.46 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 09 Mar 2019 18:02:46 -0800 (PST) Received-SPF: neutral (google.com: 162.129.199.149 is neither permitted nor denied by best guess record for domain of prvs=965956ea2=eriehl@math.jhu.edu) client-ip=162.129.199.149; X-IronPort-AV: E=Sophos;i="5.58,462,1544504400"; d="scan'208,217";a="170979525" X-Amp-Result: SKIPPED(no attachment in message) X-Amp-File-Uploaded: False Received: from c-73-128-212-191.hsd1.md.comcast.net (HELO [192.168.1.9]) ([73.128.212.191]) by IronEB4.johnshopkins.edu with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Mar 2019 21:02:45 -0500 From: Emily Riehl Content-Type: multipart/alternative; boundary="Apple-Mail=_81E26847-F5D3-4128-8071-37E35185AFD7" Mime-Version: 1.0 (Mac OS X Mail 12.2 \(3445.102.3\)) Subject: [HoTT] postdoc at Macquarie Message-Id: Date: Sat, 9 Mar 2019 21:02:45 -0500 Cc: Steve Lack To: Homotopy Type Theory X-Mailer: Apple Mail (2.3445.102.3) X-Original-Sender: eriehl@math.jhu.edu X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 162.129.199.149 is neither permitted nor denied by best guess record for domain of prvs=965956ea2=eriehl@math.jhu.edu) smtp.mailfrom="prvs=965956ea2=eriehl@math.jhu.edu"; 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: , --Apple-Mail=_81E26847-F5D3-4128-8071-37E35185AFD7 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" I=E2=80=99ve been asked to pass along this job announcement for a friend. I= t=E2=80=99s a great opportunity to join a research community that I really = admire in a beautiful part of the world. Please apply!=20 Details below, Emily -- Greetings all, The Centre of Australian Category Theory at Macquarie University is adverti= sing a 2-year postdoc in relation=20 to a project entitled =E2=80=9CWorking synthetically in higher categorical = structures=E2=80=9D. It would be particularly suitable=20 for people who work in higher categories, 2-categories, or homotopy type th= eory. Further information is available here http://jobs.mq.edu.au/cw/en/job/505375/postdoctoral-research-fellow-in-cate= gory-theory or feel free to get in touch with Richard Garner, Ross Street, Dominic Veri= ty, or me.=20 Regards, Steve Lack. --=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. For more options, visit https://groups.google.com/d/optout. --Apple-Mail=_81E26847-F5D3-4128-8071-37E35185AFD7 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"
I=E2=80=99ve been asked to pass along this j= ob announcement for a friend. It=E2=80=99s a great opportunity to join a re= search community that I really admire in a beautiful part of the world. Ple= ase apply! 

Details below,
Emily

--

Greetings all,

The C= entre of Australian Category Theory at Macquarie University is advertising = a 2-year postdoc in relation 
to a project entitled =E2=80=9CWorking synthetically in higher c= ategorical structures=E2=80=9D. It would be particularly suitable 
for people who work in hi= gher categories, 2-categories, or homotopy type theory.

Further information is available here

http://jobs.mq.edu.au/cw/en/job/505375/post= doctoral-research-fellow-in-category-theory

or feel free to get in touch with Richard Garner, Ross Street, Dominic Ver= ity, or me. 

Regards,

Steve Lack.

--
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.
For more options, visit http= s://groups.google.com/d/optout.
--Apple-Mail=_81E26847-F5D3-4128-8071-37E35185AFD7--