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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 3115 invoked from network); 21 Mar 2022 11:02:58 -0000 Received: from mail-yb1-xb39.google.com (2607:f8b0:4864:20::b39) by inbox.vuxu.org with ESMTPUTF8; 21 Mar 2022 11:02:58 -0000 Received: by mail-yb1-xb39.google.com with SMTP id j5-20020a056902020500b00628ab64be30sf11678565ybs.16 for ; Mon, 21 Mar 2022 04:02:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; 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-subscribe:list-unsubscribe; bh=djRqcg6deiUr2xWLlNJYZyCNmKQowBtP6bxINZt4Sbo=; b=Pfkp3P4nzZVxNCZ/1hcqgY9uUiepcNKcjU4wibkR8KcmX3B2a/AdTuta2H0BGt82uP c33YikgPt2R958131QiN2/WtNK0a4SPmgWcjd2/2DyU4Sj+97cCSev4YWdj5fRaNecsk D00lB9tHrE2xfS7rE03ejn5AbNx2y70VkOaMJsx5g63YfM0yA2RpAd1YiVXYvoDLGOJR BNzyYGvph66GQJj/eYX0NLLToDCCB8S63oLSjAVjUX0dGDvlwsvnLeTO7YarNbA1rF3l 4r9zHHpnJ1QWlSIw1DKIrLA2NxFq0gK6Eqc2t4UlDD8nSvgEn7Fcq+aBATweSvWKa40x wdDg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=djRqcg6deiUr2xWLlNJYZyCNmKQowBtP6bxINZt4Sbo=; b=fJoMPFH9eA1irij/EQojYHn0f7zNYHGsdMdGcspn50jRSW+VMBAL48JJbem2+tmviD Ufu9SlCq5QrSldOP0hc8g+1BFgknZWMtCGPkxkwg512mHJhwqwO9G4L/CtvHJg+KMB5+ fofbWnGCENK8SVwrAoHelHS9JR8EWX1Yyn39EcfEOcQ0U93E/Cl3+HUdh7XWlVp7OXIx Sot6evsbsYUltIgbTR28HlExU42o9fOS9mJXjQeQDJ0hKl/NZIgJ05Ij62zMfOJ1WFR4 7B5mZLmnRyDgx/JFEf7iC7P3DImwpgw9wk5HbkCw4nAduu6VBnGGvfSv6p2CmtWsEFTw sg6w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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-subscribe:list-unsubscribe; bh=djRqcg6deiUr2xWLlNJYZyCNmKQowBtP6bxINZt4Sbo=; b=OagDZLHdCUGkpoV8nAkeMMUwoV2Q25Zh/mfGzooH8ZPrZw97Ei2m5hH170d1BRhE18 Wvsis9+oTwlhUB+dMwoF3ue5px8TY/pv37WTV+Tqg12/2yYB9qEt6PObOxzyLV4p78rc qUX7JqmUepHi46T+XS5t3J1Xq143BZGixNQYzbiEt1UtQc8wrQe+536Y10GL5FpkSgh0 Xn8qk96nLRpRG4ZqpbRdQwAzU77R2ynUSZf7vlmh/ymAHqhsfAUqmkD3chQNNB35UoKA Cd/q1NPbn0/jVEERvaZuJAODwJm77p2OOQvylJysuwcn0kHttQ0v9K9fnhq3+Dy9E39C oAiw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533nnsMmbqsS/C77Tm9ZXj4KEsqOn83lhBkTTSuW2DLfVVD75KIV uFDnPUBn8HhhhS90EaXFDTQ= X-Google-Smtp-Source: ABdhPJynQl6QmmEQK+3ynHEkJovH2BBoLXBsdBfWof5hF98q2YPnNJYn2ZQ9wBwurk2sdC/1oZdQIg== X-Received: by 2002:a81:1182:0:b0:2dc:4e58:da41 with SMTP id 124-20020a811182000000b002dc4e58da41mr23059945ywr.268.1647860576716; Mon, 21 Mar 2022 04:02:56 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6902:120d:b0:633:9804:16ae with SMTP id s13-20020a056902120d00b00633980416aels9697256ybu.0.gmail; Mon, 21 Mar 2022 04:02:55 -0700 (PDT) X-Received: by 2002:a05:6902:ce:b0:624:e2a1:b1d6 with SMTP id i14-20020a05690200ce00b00624e2a1b1d6mr20927753ybs.521.1647860575449; Mon, 21 Mar 2022 04:02:55 -0700 (PDT) Date: Mon, 21 Mar 2022 04:02:54 -0700 (PDT) From: Benno van den Berg To: Homotopy Type Theory Message-Id: Subject: [HoTT] PhD position in Homotopy Type Theory MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_2060_1388657479.1647860574847" 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: , List-Unsubscribe: , ------=_Part_2060_1388657479.1647860574847 Content-Type: multipart/alternative; boundary="----=_Part_2061_1787188194.1647860574847" ------=_Part_2061_1787188194.1647860574847 Content-Type: text/plain; charset="UTF-8" Dear all, At the University of Amsterdam we are looking for a PhD student who wants to work on homotopy type theory (preferred starting date 1 September 2022). The advertisement can be found here: https://vacatures.uva.nl/UvA/job/PhD-in-Homotopy-Type-Theory/743389302/ Please feel free to forward this to potential candidates, who in turn should feel free to contact me. Let me also remind you that there is also this position: https://vacatures.uva.nl/UvA/job/PhD-in-Mathematical-and-Computational-Logic/742421702/ where students who want to work with me on topics related to category theory and type theory can also apply. 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/d4842e4e-a9b0-4a97-bd5c-4981afc23f18n%40googlegroups.com. ------=_Part_2061_1787188194.1647860574847 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all,

At the University of Amsterdam we are looking = for a PhD student who wants to work on homotopy type theory (preferred star= ting date 1 September 2022). The advertisement can be found here:

https://vacatures.uva.nl/UvA/job/PhD-in-Homotopy-Type-Theor= y/743389302/

Please feel free to forward this = to potential candidates, who in turn should feel free to contact me.
<= div>
Let me also remind you that there is also this position:=

https://vacatures.uva.nl/UvA/job/PhD-in-Mathemati= cal-and-Computational-Logic/742421702/

where s= tudents who want to work with me on topics related to category theory and t= ype theory can also apply.

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/d4842e4e-a9b0-4a97-bd5c-4981afc23f18n%40googl= egroups.com.
------=_Part_2061_1787188194.1647860574847-- ------=_Part_2060_1388657479.1647860574847--