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=-0.7 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, 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-ot1-x33f.google.com (mail-ot1-x33f.google.com [IPv6:2607:f8b0:4864:20::33f]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 3a6ec27a for ; Mon, 27 Jan 2020 20:29:55 +0000 (UTC) Received: by mail-ot1-x33f.google.com with SMTP id p13sf6783079oto.12 for ; Mon, 27 Jan 2020 12:29:54 -0800 (PST) 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=UeAXxn836C/jRVvJDnpRrS2TEfnpYMvM0gZP3QbUEWs=; b=afykDODi+Uk1VNodIerNO2Iqpz/XitNqccAE78MtoV7AS48lKC4LOMGSmFD2bpKtjN OC1cV65k9YBEZAiS216ojpVDLPRA0ss2r9AtwgPJs+PFvRxHc0W8Hjifur+2TeM5mu7B 9vKEFKAPJL7HeHMLI1xVf8ZTJXs8FejWh21gZcVvlELeZSKcCTMsBc/38f2j5TSaqX9k YO7HNAIlz7HkYO52QXQxiB8iIjlMRrBhi8gjdn1cY8ivyLhTz+ATHkhhyLw3zzgSR8nm on8tMDKx1IDl9IXX/tx5U4lQdd7iBu+5sTso5ZAzz/GXRGoZrwinAs658pu4GeXSZy22 4cRw== 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=UeAXxn836C/jRVvJDnpRrS2TEfnpYMvM0gZP3QbUEWs=; b=N2MJYkt+zWTJOynZeZaLGeF/lgEC2KgaeEbJnB4grLdpyKumvxCngVx7j9TPrFUeV5 NdUV9SZP4Fo0V9FM/W1DvTvjRvRP+TEV8LVAlOVr7FLuHDH9RQVPz4s6xpKbMhRSbWk+ csD6xG8M9QeBQF0cUbzpL1xk+HfOIA/6dk1pQgvO/EL4UvE3kUXhDHSy1Dgk01U3CY7H VF182+fqBRGtY3O9qpqZ9RjsgAi0qp8oQD0iqFqywEJfNwr8+0WbuQM8vwdhLwazAkqp Wq9o2+l38OGBp7SOiTKrLmWAHYnd6uyBWiXpmYzXjIeBza2hiFZKTkcCQpxkr/dUv/eX nbfQ== 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=UeAXxn836C/jRVvJDnpRrS2TEfnpYMvM0gZP3QbUEWs=; b=m86tFkShyTHdSVJ1JOEjyaILFXK+LycN/9FKXhsoY94aYCbnlc6WPJPA93jLNiqnFl FitVTSIaAT26nxbrouilTSTwX/tdWPGkN4CUnhJHDBwm3fSYZORXT1jthnzse+2JOC+9 GIE7Oh390M6hXdvyvqHODkIgPydnH6yO1X9zJ9aQciR5aTYHE73c9vAU+p2yQHessHYL EGTJMQtsCgXSv0y1YcSYsferiuIqaRVwRZlko5sLT+2eNNTPiuqfe4JdWj3jEtKg47lw /58R/X8KbfZlvBvR3Y0J56iWF9J6IO8SvqEfK1JARWvmQTe6GEYZ2FIJF6b5gC5fvYHw QIug== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXMnY7C4En47FVGl4IIka1WtV3CflkgqeyUk/px6570v56RgfDY 8Xtz7ggyRI2/jLGi9pb8drk= X-Google-Smtp-Source: APXvYqznhTRR9COWH0E2XP870/7x9CiPvUgg+sOKIvNmpeMZtSKkFz8todDGhqHCAgCMjBzk4Uz6OA== X-Received: by 2002:a9d:2647:: with SMTP id a65mr1138301otb.101.1580156992796; Mon, 27 Jan 2020 12:29:52 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6808:3ae:: with SMTP id n14ls617937oie.8.gmail; Mon, 27 Jan 2020 12:29:52 -0800 (PST) X-Received: by 2002:aca:c551:: with SMTP id v78mr596240oif.161.1580156992065; Mon, 27 Jan 2020 12:29:52 -0800 (PST) Date: Mon, 27 Jan 2020 12:29:51 -0800 (PST) From: Benno van den Berg To: Homotopy Type Theory Message-Id: <8de729a0-d7ee-459a-8e49-ee845e1711cb@googlegroups.com> Subject: [HoTT] PhD position at the ILLC MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_12_662263802.1580156991419" 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_12_662263802.1580156991419 Content-Type: multipart/alternative; boundary="----=_Part_13_904855435.1580156991419" ------=_Part_13_904855435.1580156991419 Content-Type: text/plain; charset="UTF-8" Dear all, The ILLC is looking for an excellent PhD candidate who is interested in conducting research in an area within the ILLC that fits naturally in the Faculty of Science. The add can be found here: http://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/11506/PhD-candidate-Logic-Language-and-Computation Candidates who are interested in category theory and (homotopy) type theory should feel free to contact me before applying. Deadline: 17 February 2020. 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/8de729a0-d7ee-459a-8e49-ee845e1711cb%40googlegroups.com. ------=_Part_13_904855435.1580156991419 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,
The ILLC is looking for an excellent PhD candidate who is inter= ested in conducting research in an area within the ILLC that fits naturally= in the Faculty of Science. The add can be found here:

=

Candidates who are interested in category theory and (homotopy) type theor= y should feel free to contact me before applying.

= Deadline: 17 February 2020.

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.co= m/d/msgid/HomotopyTypeTheory/8de729a0-d7ee-459a-8e49-ee845e1711cb%40googleg= roups.com.
------=_Part_13_904855435.1580156991419-- ------=_Part_12_662263802.1580156991419--