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=-1.2 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-oi1-x238.google.com (mail-oi1-x238.google.com [IPv6:2607:f8b0:4864:20::238]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 7e7f92f6 for ; Thu, 10 Jan 2019 11:43:17 +0000 (UTC) Received: by mail-oi1-x238.google.com with SMTP id s204sf4955669oib.11 for ; Thu, 10 Jan 2019 03:43:17 -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=UYowDASQhXgHEs33R9mdc58VlLcnmctbiZq59cHwTpY=; b=M8OmYo5nOTi8Adhfz4wCtWO0TQei+z9O9a1sGHxX2on/B+tHQMkM7F8GFcyWyjKz8l cOItG5C0k5WRSG51IrF9ylUPX3y7bylcJn6qdOHTQ7GbmFMzF457X3N24bJecrxB7egj hZ4+AkmNZhfoPn4EZKzWScCckEJVgeQCs/H7V/9MnAlpZ3Nqkwn72mTyBFk9l0txKJ87 3SjO7oxhNeGdagl3GX+Eanz4TDlyBGcdRWoV5pMIwj3iLFwYz/YzDie0FgiQNliWbuuw QL0mXG+P5GuAhaIUQx5qdT1wYm8ZDOKazccaEiEouu4owGQ+Zfk0u8o1SFpP7fjVPNHD 6aUg== 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=UYowDASQhXgHEs33R9mdc58VlLcnmctbiZq59cHwTpY=; b=Uf/BhR5HOuZWF+pWl5LlN5ex/kizVcK3Q86veQtAyJBNEXX+KBC9W+7TLMFrUdVsww CAYSsywY9Q/1vvKNFYaWtZgmPvx5LOfsGABVWwjh3H3+O/RyVIF3O+WNnPgkBQBeSgAi BXtT1eTbZk0xoMYzaazylch0YcuG+6Z4DEgvfd15cWafNF/XVSUUO590Im7e5wK2FKFk CqJfxTsqQ2w9sqFn5MYlxv3A4tIkpepNY2x5X795hiAD1WNZQl9SFEqYiPjKuzqCmv7g KNIsQCOQeFEnOlG7CVOsTR5NPEvXCNIn5uehgX/tuXF6+2L9oSLa+p4WW5h1xE3yBIjX aCPQ== 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=UYowDASQhXgHEs33R9mdc58VlLcnmctbiZq59cHwTpY=; b=NUpvssWuHhvE7i9OnfosuZBGknMYRU8RFpdniP88pc6Ca1FZv16FLshHcQzOIVFSsH za/NPxoXrtjAa8KxhEtgMeWUjqf1AtCWoYnFpwJQxiG/3iGP6MvurxbuYdI9GfczRB9h +eNyFtq6imK/Q5R8J5Uv5iJh18fBsrQRM2i8zLwRI1FQLi2RJDJUI+VB8Iu92tAz/7+Y W+8aqpuD9iAGT/4eIpDXjcLxypYppIcoWNAdp+L0VVe/ErF8dQt0IS+kZE/ySeSHVv6q F6XH6qNp2rOltBhDpKTebn4WK6FEJ6ZaK2+aoWl2YY1aAh+MyMUejPJxv+ddcVg8lOgf RoYA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AJcUukcF0E9yGKPtR9AveXH/TWQG5ax9A11eGxkqINu7NtmQAyBJkuMZ RFiEoHHJ2NfUaA9iWBUndH4= X-Google-Smtp-Source: ALg8bN4sEzkWptLh7Ba0LRg3vDBScIH23UkUC6lq2Sb00MVQMqHzVXjM27MB+RXqyXTweBJyzI17pw== X-Received: by 2002:a9d:6f14:: with SMTP id n20mr113056otq.2.1547120595777; Thu, 10 Jan 2019 03:43:15 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:2f48:: with SMTP id h66ls198970otb.4.gmail; Thu, 10 Jan 2019 03:43:15 -0800 (PST) X-Received: by 2002:a9d:7310:: with SMTP id e16mr48332otk.7.1547120595400; Thu, 10 Jan 2019 03:43:15 -0800 (PST) Date: Thu, 10 Jan 2019 03:43:14 -0800 (PST) From: Benno van den Berg To: Homotopy Type Theory Message-Id: <537f2c72-9a77-45fd-84a4-35d299fbe1d9@googlegroups.com> Subject: [HoTT] PhD position at the ILLC, University of Amsterdam MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_260_2126744071.1547120594640" 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_260_2126744071.1547120594640 Content-Type: multipart/alternative; boundary="----=_Part_261_64327766.1547120594640" ------=_Part_261_64327766.1547120594640 Content-Type: text/plain; charset="UTF-8" Dear all, The ILLC, which is part of the University of Amsterdam, is looking for a PhD candidate who could work in the Faculty of Science, starting 1 September 2019. More information is available here: http://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/10431/PhD-position-at-the-Faculty-of-Science Deadline is January 20, 2019. Best regards, Benno van den Berg -- 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. For more options, visit https://groups.google.com/d/optout. ------=_Part_261_64327766.1547120594640 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

The ILLC, which is= part of the=20 University of Amsterdam, is looking for a PhD candidate who could work=20 in the Faculty of Science, starting 1 September 2019. More information=20 is available here:

http://www.illc.uva.nl/NewsandE= vents/News/Positions/newsitem/10431/PhD-position-at-the-Faculty-of-Science<= /div>

Deadline is January 20, 2019.

Best regards,

Benno van den Berg

--
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.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_261_64327766.1547120594640-- ------=_Part_260_2126744071.1547120594640--