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 10660 invoked from network); 8 Mar 2022 12:23:47 -0000 Received: from mail-yb1-xb38.google.com (2607:f8b0:4864:20::b38) by inbox.vuxu.org with ESMTPUTF8; 8 Mar 2022 12:23:47 -0000 Received: by mail-yb1-xb38.google.com with SMTP id x1-20020a25a001000000b0061c64ee0196sf16342371ybh.9 for ; Tue, 08 Mar 2022 04:23:47 -0800 (PST) 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=VZOTCoI/Ssyq2uPbhvK0NPMUpFrl6Ff5QClpEflRZ/s=; b=ihQz0ymEVh6Bv0iF8pOsDc59b9KgAgSj+AbgB05VzpPaJi9puBFHibEKFpJxXrotSP 2hsCUKlwiNcIb/1UH+Uqxu1df7Jf0Djgxz8pgrrcAQKmyZ1FovrEGNebQLcPhs1nLnlI 7qfM6OA1fW3HeTDH23aXGMGp5h1AM7At9z3ZOf86sYZEUHMnUXDlpAnZbIy/ovCdhg2L L3jo0mZF9Z2HBnYa7sJ3j/w95GbaUZurRYhsjIGlZkJr5zYLFlBMHAG52Emrw/77dZnW BLaopeYZhQko04e0OUoUFC/ff0OP3M/uEft2RGbD7B551qyjxLhbFInvbBs8PjrqCxtT Nk9g== 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=VZOTCoI/Ssyq2uPbhvK0NPMUpFrl6Ff5QClpEflRZ/s=; b=VdBzhIPXA8xb7n1IV52fkP3RnVC7KYa9T25K8x5zyVNu76t5jT0Rjx/w5sEia9ZLvE Dw12Yd/nX0kN7002nGI1kHMImT6P6tZ28TjjN0Y14wYq36gdMS1ujgclZiqNSGCajlVO 9y3y8752/6QUQ/ObnUUrTcRQum3zjT8uahea86kf+8EwC6kIrkAUwI3+GMOTA7cFE/JG DAoiEwvh7ShM8FV0aKHUjTclnXdc0BbteGx7I8NrQrJcXPE0Ohk8JAKRzKKsQsXFgIfP q6bO+DHAyNbaUopZNXN+NQiDWw0OtEStFsPMB01p2CFCrykkZgP7gNBosFH/l0fwv5aH owMQ== 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=VZOTCoI/Ssyq2uPbhvK0NPMUpFrl6Ff5QClpEflRZ/s=; b=KwaElsfBDy1UDrZq0cJ37p8vnvp4+xw7RwtfJOoj9KKYbY4JtKWH0R6FFeOC/3MWSm sOa3AyJuSImD+cpGBzX6ZRF32P53e/PpmyFBMQG3VqbHazfXFN4WQW2Feyh8DNX9Mizp vImIaiOSAtyLlXjP2ms0Lgfny8vx0/NwQtIjNibnfBrV80D/LSN42fvr/qSuLzq7Fqsy RYcdPkmMaY8DfA4XhiZNQuT6xiAwfbVG86xAjyNXTUt47Xqygw1GiLjz7Pfnt9YaJnRa Lgkz5BeHoX2V96Z6JsMiVGK5IHYcTgRyUuQfUZa2AB3LQhGWEtJuM9hpwrA7Ao5369f7 gINA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533v5GoPFf7ZLSxVSruKab0w+/TeO9lD4C8qQHHxyUwPJDOpUpaU KT99rhYrgZ2OFTv7K/xYUXg= X-Google-Smtp-Source: ABdhPJw+mL/3+W9BlZWLYUqu8/bEo0TY3Qz4eQvDzZg+SkkItOGVZF5QSP8tybhAG/ijcBzHvihj/Q== X-Received: by 2002:a25:23d2:0:b0:628:771a:9d3 with SMTP id j201-20020a2523d2000000b00628771a09d3mr11697689ybj.215.1646742226045; Tue, 08 Mar 2022 04:23:46 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a5b:b4e:0:b0:629:4406:56c with SMTP id b14-20020a5b0b4e000000b006294406056cls3583577ybr.3.gmail; Tue, 08 Mar 2022 04:23:44 -0800 (PST) X-Received: by 2002:a25:2007:0:b0:623:c848:7b45 with SMTP id g7-20020a252007000000b00623c8487b45mr11621037ybg.555.1646742224607; Tue, 08 Mar 2022 04:23:44 -0800 (PST) Date: Tue, 8 Mar 2022 04:23:43 -0800 (PST) From: Benno van den Berg To: Homotopy Type Theory Message-Id: <86cabf9b-236d-4fd7-bc17-fd4eec54d9ffn@googlegroups.com> Subject: [HoTT] PhD position at the University of Amsterdam MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_692_1279440247.1646742223975" 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_692_1279440247.1646742223975 Content-Type: multipart/alternative; boundary="----=_Part_693_1897970730.1646742223975" ------=_Part_693_1897970730.1646742223975 Content-Type: text/plain; charset="UTF-8" Dear all, At the Institute for Logic, Language and Computation (part of the University of Amsterdam) there is a vacancy for a PhD student within our Mathematical and Computational Logic group. The advert can be found here: https://vacatures.uva.nl/UvA/job/PhD-in-Mathematical-and-Computational-Logic/742421702/ Interested candidates 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/86cabf9b-236d-4fd7-bc17-fd4eec54d9ffn%40googlegroups.com. ------=_Part_693_1897970730.1646742223975 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

At the Institute for Logic, Lan= guage and Computation (part of the University of Amsterdam) there is a vaca= ncy for a PhD student within our Mathematical and Computational Logic group= . The advert can be found here:

https://vacatu= res.uva.nl/UvA/job/PhD-in-Mathematical-and-Computational-Logic/742421702/

Interested candidates should feel free to contact m= e.

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/86cabf9b-236d-4fd7-bc17-fd4eec54d9ffn%40googl= egroups.com.
------=_Part_693_1897970730.1646742223975-- ------=_Part_692_1279440247.1646742223975--