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 24361 invoked from network); 28 May 2021 09:36:22 -0000 Received: from mail-yb1-xb3f.google.com (2607:f8b0:4864:20::b3f) by inbox.vuxu.org with ESMTPUTF8; 28 May 2021 09:36:22 -0000 Received: by mail-yb1-xb3f.google.com with SMTP id w130-20020a25df880000b02905327e5d7f43sf871889ybg.3 for ; Fri, 28 May 2021 02:36:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=h3CZKmYOaS+H+rrKUoAbhr6C29f/Oxlc4rES4fQuX3Q=; b=UggiIkE9YEQKxl+6S1ylffWi4ww9xMcp5fDKorMFMPX3odEGRmdo8+FKKom5syRZiJ h1HmPhPwCrLtvKIOXUh34ljbyuK9wCUhe1RuBsTyBbljxKxWFGJbcKVPDjT0oTbpxDaF EYx4MmdkPq7RrPUqLyBfHh/YDChQIrEnCPZMACB4E2X+i9PpRoLKUQXerjR/pMFUz8tv mBT3TYTR89820AkGndQVZvcLJK9KXIPqEqHlmaeJ8+27bLzRQW8jl8aMUAi6gyzMIZ9L dCP1xV460sQmaFgpvux/05kl0zh8KCID8bPUvjfu8TI5SuOUKyruAkDyPem02kKd7x1P 6/bw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=h3CZKmYOaS+H+rrKUoAbhr6C29f/Oxlc4rES4fQuX3Q=; b=MvwUliSx6ZEaFdKFoXmBIFhz4xy+5g7jqVHde6cfZykER09G2QpUUWxuxgsN9lp9Up rynOxq0w1oZdPr8UIXduiPG12q+EppyF26fKOiZZLDZG3EmvDWGJfic6PdRyPIzQek/h TvUa4/QY6AMdfySV2zQv+bUZswMkpGagjBzn++7ugjci9laHx5HeWz50jN5FVSAV9XpB axSzLL8Z5c32Yv82T66g0hFBzIOATM6gCUPXsQVE5+QLh2wbxfZPGD62Uqw9tM+LQPtj lvqTKSLdIavT+xHv/MmKwN/dc52mYw3ONXaEytuSFLQueOUy216TY7SkJk4eprNiJ292 Otww== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=h3CZKmYOaS+H+rrKUoAbhr6C29f/Oxlc4rES4fQuX3Q=; b=eNvS39ilq055MjCkcfjzdB9fl6tbV/njcjs+Zn3sciGPdQcnvBsyIirSV6efpNtDdp J8pGPy/t4unm3vameQjL2x5vUz+N2g5Sz1By1zOcI+2hDGkAzoO+RBpCCqR5VvuVCpGO AAK981tZZ1XpCOWP0HO1MzQcJkLNscrMfYFARbMhLjCKj/chaCqF5JaZbcrcmvmMHcqU sGJqVDcpNrfu+kv28sw9XPhx+q+SdNWDvo3pWk4xYfYfNyi4p+z3Gg1+0tSrexF8s7wA p3hN/6N88bo/05i8GlXMt1v8i9tO//bZ3bmRm98a1KDYCZAEImbF+1qDm9CWpSD9uaY9 Drng== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532FJmJVZ4ffCop6ANq1fB3uT/tbDPYwMnIuhiXWz9DnhiCfQ4eR iTT/xDEdlkTs0pLzE9ubEbM= X-Google-Smtp-Source: ABdhPJzU/31Iq6B+FDtSSC+amAX45kZ1rxARzwCFcfXhECTXeTMzbedohKRQMQURwB/ApAfIed5jkg== X-Received: by 2002:a25:b9cc:: with SMTP id y12mr10680326ybj.369.1622194581124; Fri, 28 May 2021 02:36:21 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:702:: with SMTP id 2ls3098583ybh.3.gmail; Fri, 28 May 2021 02:36:20 -0700 (PDT) X-Received: by 2002:a25:b89:: with SMTP id 131mr1201874ybl.299.1622194580403; Fri, 28 May 2021 02:36:20 -0700 (PDT) Date: Fri, 28 May 2021 02:36:19 -0700 (PDT) From: Benno van den Berg To: Homotopy Type Theory Message-Id: <2c0e4b11-1859-4bde-bbaf-550c2f6115d4n@googlegroups.com> Subject: [HoTT] PhD position at the University of Amsterdam MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1264_2102673906.1622194579639" X-Original-Sender: bennovdberg@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: , ------=_Part_1264_2102673906.1622194579639 Content-Type: multipart/alternative; boundary="----=_Part_1265_57522135.1622194579639" ------=_Part_1265_57522135.1622194579639 Content-Type: text/plain; charset="UTF-8" Dear colleague, The ILLC (part of the University of Amsterdam) is advertising an open PhD position (at the Faculty of Science); the deadline is 13 June 2021. The vacancy can be found here: https://www.uva.nl/shared-content/uva/en/vacancies/2021/05/21-315-phd-in-logic-language-and-computation.html?origin=RrhWo%2FMXSgW7Uzvhwnl%2B%2Fg Please pass this on to potential candidates. And candidates who are interested in category theory, (homotopy) type theory, proof theory or constructive maths, should feel free to contact me. Best wishes, Benno -- 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/2c0e4b11-1859-4bde-bbaf-550c2f6115d4n%40googlegroups.com. ------=_Part_1265_57522135.1622194579639 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

Dear colleague,

The ILLC (part of the University of Amsterdam) is = advertising an open PhD position (at the Faculty of Science); the= deadline is 13 June 2021. The vacancy can be found here:

https://www.uva.nl/shared-content/uva/en/vacancies/2021/05/21-315-phd-in-= logic-language-and-computation.html?origin=3DRrhWo%2FMXSgW7Uzvhwnl%2B%2Fg

Please pass this on to potential candidates. And candidates who ar= e interested in category theory, (homotopy) type theory, proof theory or co= nstructive maths, should feel free to contact me.

Best wishes,

= Benno

--
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.c= om/d/msgid/HomotopyTypeTheory/2c0e4b11-1859-4bde-bbaf-550c2f6115d4n%40googl= egroups.com.
------=_Part_1265_57522135.1622194579639-- ------=_Part_1264_2102673906.1622194579639--