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 20773 invoked from network); 14 May 2020 12:35:29 -0000 Received: from mail-ot1-x337.google.com (2607:f8b0:4864:20::337) by inbox.vuxu.org with ESMTPUTF8; 14 May 2020 12:35:29 -0000 Received: by mail-ot1-x337.google.com with SMTP id e26sf1494175otr.4 for ; Thu, 14 May 2020 05:35:29 -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=jZisZrN2dIK1p6icBcTm9WEljenokOkNWRTzpPjX6ps=; b=ICeg/XcyO6uDFnwo6N1C2YLa8Qg+08eSrMIX3rmEBIYC+SMFhQhvdC1FOwO2x5y2PR p1fBHBBL+dzJoVlxQp6kRAip8CKQ3zUC+wGsd5dAYJOCx0BjIIyVwsZkVA5yadiurK0v i/4BKkiyYLFBHasjiC9el0iGe5tHcxdN9P0BKrke+baJt/ZXv7D2lKu3BaQnbKQH4GAb XV8yMWVIpgw2I/HkEaPVpwUyz4TRes7K7t863Jt850pxNg+9pvZjom6qpO6KUNmLAjZq DiVQVgWQYdRWeQxZwG8/gTv+xzTmz5oluKj7uB1HCnxZp9Ak/qvzqlkjJsyJw9EFBnTJ ak+Q== 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=jZisZrN2dIK1p6icBcTm9WEljenokOkNWRTzpPjX6ps=; b=llBq57McMeXThDR3Rxl/p63gtPvxleSJR10SSpWNfAtE/yciNlvZe9dC9bgxKhRDJL CrYB5FVsoEzYgKMaw6GrD4I01Q4dF0HOBWxVNR7AqRcNoNYS57h22zWVPVwG5b92wb8F 0BG0eHibQ7e6URlXEogV/QTaBif6CDmwPXnySNorj649Le4OLvj/FcGONRFuAGKJkgK1 pd7Iyfu30a7SsfYtHwV23LKNr6wCvAVscfwz1+LQz1y1RsNdwTYzV5DF8WSj5kkUGrXD A5rtISPPdagi2Zc5Fk5pMuQsv1/c7WBpAZJ/e5ThZUIHnRC/zLHr91n1/zmHK0I6Wiid 6NhQ== 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=jZisZrN2dIK1p6icBcTm9WEljenokOkNWRTzpPjX6ps=; b=D/Rxc8fJGTyBjyIziOUEJQrBBC3uuFE2vzhgPG/jRH/zt7Py6PxWiKwRL2EyYw0qSj UDTKqqAI3Ofo0gdyT++xPSzTASvrPAaVsCmOGilgxkupj1Wfx8pLWPB2wmgvnSmMlsAQ EQR2vd0FVy5V8Yry4IhFrNMma4XcvcPyP3OSoKbYZwlYnLFcxTdARrGN5lCTckIcVmuC UpS5OJZ3NorNZZqVn2Tzn9DNqA0HHKPd7+t7hvpKvhApL67D87UeNwLVXop8YJTITYu2 2WpakenyvC5nGlJWSVBg+BR9VjHiFf6qAwACGBjDgTSQwefjm25C+6AIrDm/FnFn+K61 ecAw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5304lY+90bvGqrHEoC1N27cCVjut/DH/xS+wvDVCkrlCEr/CSx7F UDP86JVeIhQgIvrgMa3T91U= X-Google-Smtp-Source: ABdhPJzZB+yXwZp1KAPmZfJFNRNPBtlhsjSFLR8AnH9vXeapNoX29g3O7q6KcbBXlCt1954lgV2P4w== X-Received: by 2002:a05:6830:18e3:: with SMTP id d3mr3214138otf.117.1589459723875; Thu, 14 May 2020 05:35:23 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:524f:: with SMTP id g76ls840296oib.6.gmail; Thu, 14 May 2020 05:35:23 -0700 (PDT) X-Received: by 2002:aca:3883:: with SMTP id f125mr8251251oia.28.1589459723359; Thu, 14 May 2020 05:35:23 -0700 (PDT) Date: Thu, 14 May 2020 05:35:22 -0700 (PDT) From: =?UTF-8?Q?Mart=C3=ADn_H=C3=B6tzel_Escard=C3=B3?= To: Homotopy Type Theory Message-Id: Subject: [HoTT] PhD studentships MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_599_367865053.1589459722905" X-Original-Sender: escardo.martin@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_599_367865053.1589459722905 Content-Type: multipart/alternative; boundary="----=_Part_600_897368509.1589459722905" ------=_Part_600_897368509.1589459722905 Content-Type: text/plain; charset="UTF-8" We have funding for PhD studentships in mathematics and computation in our Theoretical Computer Science group https://www.cs.bham.ac.uk/research/groupings/theory/ If you are interested, please approach an academic from the above web page, with Cc: to Martin Escardo, briefly explaining your research interests and academic qualifications. After you approach us we will give you further information and instructions. -- 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/bf67c90a-2fa6-404a-9213-fc498f862be1%40googlegroups.com. ------=_Part_600_897368509.1589459722905 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
We have funding for PhD studentships in mathematics a= nd computation in our Theoretical Computer Science group https://www.cs.bha= m.ac.uk/research/groupings/theory/

If you are = interested, please approach an academic from the above web page, with Cc: t= o Martin Escardo, briefly explaining your research interests and academic q= ualifications. After you approach us we will give you further information a= nd instructions.

--
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/bf67c90a-2fa6-404a-9213-fc498f862be1%40googleg= roups.com.
------=_Part_600_897368509.1589459722905-- ------=_Part_599_367865053.1589459722905--