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.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 6168 invoked from network); 24 Sep 2021 11:20:23 -0000 Received: from mail-yb1-xb39.google.com (2607:f8b0:4864:20::b39) by inbox.vuxu.org with ESMTPUTF8; 24 Sep 2021 11:20:23 -0000 Received: by mail-yb1-xb39.google.com with SMTP id a23-20020a25ae17000000b005ad73346312sf2982868ybj.18 for ; Fri, 24 Sep 2021 04:20:23 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1632482421; cv=pass; d=google.com; s=arc-20160816; b=SfVCDP17cxi4vSMdN/HyEo2PO2HUB4/eMiAJiuXoQgdnMh+wHku00L5SEkOhU9CNGR 1pmRNrHLy7F8R6mNNasOPumaaxgHVhhYpdNC+En7AtGBayQQ9sQ3Pexmf5NTheVKsJWr tHOGM2Ck+ZKG65F1LBzjnspPSor7rM0I0KoZ0VlAnvTtQEW5SNUOfBiH5/+qF6SwMMT4 Q04yBkQ7x/Vi9w2zo8IhaRscfhrJeqvMPkQ8IYAqImq0bUXY/fNZDB7Cuf86eujJw+xm 2CNU5NX20tNave9dNN+xl48/qF0s48CZsbyhJuNGqMYinlDSPLbQqJqOe6xF08QwGlzc 2EAQ== 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:dkim-signature; bh=r7LNBGKjtly8wcilxw3hatl/Kw2FYqpEnHYBKb9y/qg=; b=UHr2lQKX7bDulm/ogCMUxAnLPnK7XC17SbqQTFGKB616qddFGeurp7lwXLIJ4UHlSp YFTVjezbgYPt+fV4yNvIlfFEeB2pjCmU3F4hb8QVg7dY8+CaRYKBnvXrMnW4NepGMp+V Aaz7GlSxvKEpncL88IwIrdOHbIDVFpEq2Qm6qTyAn6xuNY6u9SALraULBnCc96U0fMQB D8H+uVRRAhPN4AlmZqAA4k8YBmBIu0qb6WFbRyEXJ71vDPprJ6mNrXliOmKe4/2Hq/Dm VI0c0Yx8izKejJUZbEA9r4tSD2uwmolWod/dOvAgT6ZD8bcEsJb0LoGhl6RDnran2GOM dk5A== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="l69/CL8Y"; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::92c as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; 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=r7LNBGKjtly8wcilxw3hatl/Kw2FYqpEnHYBKb9y/qg=; b=ECFarGVMYbrME5HXspMm9BuPUcFajUKOr9PP0yDUkUs47/XIpStGBoEHiqFGCLftxx yLeQaEr8thWlJFl+CXr5W6QzNOZQc2FBfKIH/XaDrYEA3lb/pwUoe9NriWNP/hBrSbnb S+2jp2mDhQ9zVXMPvTZw4/KLE/GztiUpP0lB678Hj9emtAeUazQqKmR+e6yf08JNiF8K QgdsDEMLom4wXBqtoSDJ1Ye1QfJrsMIGs0z6PNK+j27FcveehDDnQ+iU6sSD4SYWT+yp BBcMu9C0Jhx2wYTz0XCB6s2t2CwdB4QcH6ee+8C7nDUP4GoUbM19nmyQ9dkQhOWc8rJT MoZA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=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=r7LNBGKjtly8wcilxw3hatl/Kw2FYqpEnHYBKb9y/qg=; b=jNI/LBGnFOJ1SWkWAfHVcOEoLkRsKcNGSSG6QNaee/TeT/nkvyDfY3+i8JUU69CrRN mmFem/01Nt6XAVSFXFXbf0Vmjw1zyXwpN3lYlmMABK/1CKCTkgYxWw2HJCQwjJ2ZkOWy aAPj7m5vDtdBTouHnqJaQXGt+CxNQ3IUIi6/Wr37ibffW7YUdWNUQLt9BcZXmeRR7oIw 4jHCAmwHNIB5VePgeXx7mn2r/KWRjawK21rAeoPwwi3BPhkM5PzfcwYH3UMmx0F6G72c SddaGl5r2MpTWxhgyp350mEp4JOmmI/R1VmIQZBJrLfjKJ973Kw17WBwd6oIL/MUMa1P zWlQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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=r7LNBGKjtly8wcilxw3hatl/Kw2FYqpEnHYBKb9y/qg=; b=ee4qBdfoO7OCPnWAgH2ahzchi4rTD4I5qs+clWb7c0evoL0yaCsPSx7UNckSu6lmaG KJjVmYW4atP37K7hCo2mNIkGJJU6/cJaZhQ4s3v4K+mU0AC+To0FXg2YeIX6a2XP4ukQ qJ7ZaKWyFGK3wj0ZJOSGYofjtxl95PGUYWK1pP4H6xLp0sb79glrLo8b7ktLSldmyFwt hhA4CV6vrh8bhU6MdiULTZOezFAxEsOFb58Po3gSZeNhIYewJlAKlme8USpyz+MXuq3L XB47/ckSTDAYu9gydTe45mK26dypsjjhUzJFEfCeL7pvGphgRqNPvxqpLr1k3FQzAzjj umEA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM53079ky1zuHlAGKuaAA2IsgRWlUkPBOu+yypbEpNOLMOoKRrn+hg V5HNagMKUByOzPsI+9ZGZyU= X-Google-Smtp-Source: ABdhPJwfiOn6fcB26mgpw3HNKVzsbVArqIOSJoBtnpCtUlxASRIOnaIHoDRYpYX6wbut2cdwq+UnhA== X-Received: by 2002:a25:d455:: with SMTP id m82mr12434344ybf.417.1632482420963; Fri, 24 Sep 2021 04:20:20 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:b981:: with SMTP id r1ls4795948ybg.8.gmail; Fri, 24 Sep 2021 04:20:20 -0700 (PDT) X-Received: by 2002:a25:2d06:: with SMTP id t6mr12699137ybt.544.1632482420402; Fri, 24 Sep 2021 04:20:20 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1632482420; cv=none; d=google.com; s=arc-20160816; b=h7/vBTyj979v/hhif7DzR6RBJdNnTw/VsDarMqJFafWg48J+IrGdreLC0RzPssCd/j w2ibqBowQEnn290Ns3AjD+45l6cULZ8mYEf7NzqtGgbLVEeTWVkA/j0XO8KZNmtll+kt G44xiUNlXC4ARrCmfcQoH1ODprH7a83380l1DIDPO3Lbzq2+UU3SrQFd2FbRxZGARWGg ADfTPfXNaHaeeDoQ+Pk4jiEta8YUcX/y6xhv43TDIFmrsGWHN9UZttyAZSlyX2lwWd+s Osn2i3VwM0lMFpVAZ5iLHSiwljEPs5wfR7jVD5TbrYDlh3ERiIqX6Zvs4pWAIelCnVlB i/Bg== 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=lckiQICW+faamjAjASL3/jHPi+Ac5AuuhBKNT6AKHVI=; b=os0CrJPN83uLm+PLZkexTzqbRfzJaDrhaoxjV0LXpJVrtzYAyVzoyLmUZ0c4jkfWkT 475VN3Oi0fYExYabbDtS1RVk3Qiz2vUd2gXYtD6S//6U97Wf65ua9qNQ+Px57oKclbci g6koh/cMVjSjuhXIFuQ3bTZUmYWwgAsv/ZTQOsCCNcpB69WfMfR9figI68I2qAJXZEUt 9GTXMvlSX3wh1JmLG4U/+SzqHGW3lP0ByZL9fIRW/OpzWo0r5MIdpC1wgDt3t1mvZFZI 6/wZHlq63JR1n9waebnwbgMjMRCpvVRXWcorAP3jmcioIP5BhwgSwARt5BPHT+CtZHsy 2eiQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="l69/CL8Y"; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::92c as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ua1-x92c.google.com (mail-ua1-x92c.google.com. [2607:f8b0:4864:20::92c]) by gmr-mx.google.com with ESMTPS id p10si620224ybl.2.2021.09.24.04.20.20 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 24 Sep 2021 04:20:20 -0700 (PDT) Received-SPF: pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::92c as permitted sender) client-ip=2607:f8b0:4864:20::92c; Received: by mail-ua1-x92c.google.com with SMTP id c33so6340696uae.9; Fri, 24 Sep 2021 04:20:20 -0700 (PDT) X-Received: by 2002:ab0:5542:: with SMTP id u2mr8554052uaa.62.1632482419935; Fri, 24 Sep 2021 04:20:19 -0700 (PDT) MIME-Version: 1.0 From: Anders Mortberg Date: Fri, 24 Sep 2021 13:19:44 +0200 Message-ID: Subject: [HoTT] Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week To: Homotopy Type Theory , types-announce@lists.seas.upenn.edu, Agda mailing list , coq-club@inria.fr, lean-user@googlegroups.com, constructivenews@googlegroups.com, Categories list Content-Type: multipart/alternative; boundary="000000000000be0c5c05ccbbee6e" X-Original-Sender: andersmortberg@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="l69/CL8Y"; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::92c as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com 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: , --000000000000be0c5c05ccbbee6e Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, A quick reminder of the postdoctoral position in HoTT and related topics that I advertised a couple of weeks ago, with deadline *October 1* (midnight Stockholm time). Full details and application at: https://www.su.se/english/about-the-university/work-at-su/available-jobs?rm= page=3Djob&rmjob=3D15797&rmlang=3DUK Departmental webpage: https://www.math.su.se/english/research Once again, please get in touch with me if you have any questions about the position or application process! Best, Anders On Mon, Sep 6, 2021 at 1:43 PM Anders Mortberg wrote: > Dear all, > > I=E2=80=99m pleased to announce that we=E2=80=99re hiring a postdoctoral = researcher in > homotopy type theory and related topics at Stockholm University. It=E2=80= =99s a 2 > year position, provisionally starting January 2022, in the computational > mathematics group of the Mathematics Department. The application deadline > is 1 October. > > We welcome all applicants interested in working on homotopy type theory > and related topics. Potential project topics include, but are not limited > to: homotopy type theory, categorical models of type theories, cubical ty= pe > theories, implementation of proof assistants, computer formalization of > mathematics and computer science. > > Full details and application at: > https://www.su.se/english/about-the-university/work-at-su/available-jobs?= rmpage=3Djob&rmjob=3D15797&rmlang=3DUK > > Departmental webpage: https://www.math.su.se/english/research > > Please get in touch with me if you have any questions about the position! > > Best, > Anders > > --=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. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAMWCppmGdAQmwEc9Uw_%2BC%3DkdZGkvjykMPQgRKChoog5UARcKNw%= 40mail.gmail.com. --000000000000be0c5c05ccbbee6e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

A quick reminder of= the postdoctoral position in HoTT and rela= ted topics that I advertised a couple of weeks ago, with deadline Octobe= r 1 (midnight Stockholm time).


Once again, please get in tou= ch with me if you have any questions about the pos= ition or application process!

Best,
Anders

<= br>
On Mon,= Sep 6, 2021 at 1:43 PM Anders Mortberg <anders.mortberg@math.su.se> wrote:
Dear all,
I=E2=80=99m pleased to announce that we=E2=80=99re hiring a postdoctoral researcher in= =20 homotopy type theory and related topics at Stockholm University. It=E2=80= =99s a 2 year position, provisionally starting January 2022, in the=20 computational mathematics group of the Mathematics Department. The=20 application deadline is 1 October.

We welcome all applicants inter= ested in working on homotopy type theory and related topics. Potential project topics include, but are not limited = to: homotopy type theory, categorical models of type=20 theories, cubical type theories, implementation of proof assistants, comput= er formalization of mathematics and computer science.



Please get in touch with me if you= have any questions about the position!

Best,
<= /div>
Anders

--
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/CAMWCppmGdAQmwEc9Uw_%2BC%3Dkd= ZGkvjykMPQgRKChoog5UARcKNw%40mail.gmail.com.
--000000000000be0c5c05ccbbee6e--