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-pg1-x53f.google.com (mail-pg1-x53f.google.com [IPv6:2607:f8b0:4864:20::53f]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id ea2c00b5 for ; Sun, 22 Dec 2019 11:56:12 +0000 (UTC) Received: by mail-pg1-x53f.google.com with SMTP id w21sf3817468pgf.19 for ; Sun, 22 Dec 2019 03:56:11 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1577015771; cv=pass; d=google.com; s=arc-20160816; b=gt17VQvt1ObhAhz8Mj1SXjOBW58WNOIcDVX50mo3W05eKx6OlLhdwHaivnOiPkB0nb rv5p4R3C7KSEiInfojMw8xrklXCbHGx3kGb2lu6yAsL5XWXky8bnxF+6YexdPhHekQtM ilX/WUQiRoJBK1dA0SzlGYsDlw79wb2/3tYgt/4DXNFHGNtOqGf/udtFvFBsSuJVqHkn eQ2r3r8Q9LxlZtJdz6rtKke03kciKjIkZAIcQVdSbeeS/6vzYwkAYaR4AE37ohN48Cst fckwECUR2wtiJM+wBKjyGTp8Hupfz9SgVqPBJUdX2IZUrmHKy5eVXTOWvMgltxw9p41a GNYg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:message-id:in-reply-to:to:references:date :subject:mime-version:from:sender:dkim-signature:dkim-signature; bh=sJQyxEn9SMvQEhxydhBIPZwYcLdOaR5KH+cZ3pJywRM=; b=Nnvauqct7yJ7fnrnsdLCYav3w9rO6sVptg3YShXJvrJyU+jpVzj8xQmBJiWtdMkpQ9 vGyiB7pQ+h7PPAkxpCjKHOgfgMQx/YhMdWRd0kXJCv6udHdEuBV5vBhbObQi73hBpMZw YL9uQ+V8ngcccibkkepuCUXc0YQyGoWTtzaZv3gIUfg1tNUbQcRHLoplNRA6i07q6hW5 QopTmAjXVNEQ3aN5XPBo0rtntH78NWyN1Ug114wNWUFh30QBDbGfVX8lY5/41eMQnNHX qb/amzxdNMAGgsva3P1CDRpl8t/MnezRPDBwzPrW50E9CXHCE4yKif3wn1jvnoRuQKcu 3Big== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="XPTyIp//"; spf=pass (google.com: domain of pujustinyang@gmail.com designates 2607:f8b0:4864:20::530 as permitted sender) smtp.mailfrom=pujustinyang@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:mime-version:subject:date:references:to:in-reply-to :message-id:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=sJQyxEn9SMvQEhxydhBIPZwYcLdOaR5KH+cZ3pJywRM=; b=B/2ZUwTBhMdJRb5Pb1rwdpWMNJFvkm3CsE1da5nZdsD+sHdNQSAayDJ51EDSTqVdwZ sToPinCDmODSpt8vn5qWsfHQhopNlu4gc1LnwMIV3+R0OglAsIikZY4KojdjvveumMNY 3n+mVKZlaYS0htqx/+G1HUM3QdHcpHy/K2jvxO+/A2BL0ebp0MMecbJ9RaHgzI7VM9cm fh8v5PoU7K+KdSS8oJcxAyM57WXrMucDjdh7RZr/QBeF+YP/QMq2Uf/qmcnazNBvxmjI e++HUXwknowP9urrjlaGZ1irxRbEGrbTSxEig8uS4ik0A3bPW/h8nlE4aCKAqo6Z1vaz SvNg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:mime-version:subject:date:references:to:in-reply-to:message-id :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=sJQyxEn9SMvQEhxydhBIPZwYcLdOaR5KH+cZ3pJywRM=; b=WyJ6w/y9yPZUA/07Uz9at1OHEzLvzudW63VMI5fbnyIdvBk7xnyTxtoAdX9BZJR8Ij 8FrxL3TaZ9UmLuzseXGiOb81UiB9Gx/cwPGnNAZogBaVug/f1CkQ3GIsVnFYrEsBi6WU 59VY1PVy9ZKcUEjkFIMlgM1LhVA4QeDYbhLzVEyt6yQw3aW9xv6PIxXW5PQRftBIJK51 x9hQyUcFkn99o5iSZlRC+g8SYiSiOKX9G7w+bmQUuTPZaCrcqdxfZGyPYwC1NHlpzYti vRn8NImg9LuHaMVXencdCQVHXDttByStVwUl0yHfJtK7TTlTtyrOnjWA+vloqurVxXIt B96g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:mime-version:subject:date:references :to:in-reply-to:message-id:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=sJQyxEn9SMvQEhxydhBIPZwYcLdOaR5KH+cZ3pJywRM=; b=F2Mv9KLzMqUD+ZuIUOwyYQlrW4pWUH2OmtjETOSi8xweuCAsNA2BASDeCTnS0URYr7 KEqMx6/KU1kRcUMnqZQTmpaxmQo9hKQfLHyEVKtRVu17FlcxOI6/+hhIGwqD8xVrytWu zDFd393i9cUbsPv6cK5q8PpTpaQDE1RbnnJCbuAdJQoJ89MaGTF3vJE/VGeIEJVL2Q3V POnAUSRwX0wdqXApRgZ43XfFYElaXn0a6uOQv9qqIRREoUuPEzPuhQvdnRuNw8/Vp54q K37+rwai5oh/YoyelCHa+I/flN0ZNbA15A16KMURxkjiKkx888H/NYEJ0GgpcsWXqRGM lvnw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUsuAJYHvriAtBXArzp6+2Hnkn9WoxiSsOmbGl4AFUKHMnmOw23 ePj26dWo06+BzlJqkdrVNfM= X-Google-Smtp-Source: APXvYqyomZzD1L2QgPJuM03XCDiXeNoN9XxaCgrz7VhtJg0fHbbPI22Z/x8xoz4lQOZSkZHKmOXEqA== X-Received: by 2002:a17:90a:154b:: with SMTP id y11mr2141808pja.1.1577015770774; Sun, 22 Dec 2019 03:56:10 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a63:30d:: with SMTP id 13ls1511634pgd.7.gmail; Sun, 22 Dec 2019 03:56:10 -0800 (PST) X-Received: by 2002:a65:68d4:: with SMTP id k20mr26050235pgt.142.1577015770256; Sun, 22 Dec 2019 03:56:10 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1577015770; cv=none; d=google.com; s=arc-20160816; b=zQXsrQjbNnJ8p4nV3bLOtjTBPtpTtqg2ZwUpK1a3dJSk+yzUnxIjZO8rdA8pE1DKCr eHRbZ5fQH6QGKUU6ELGmwgc+jRpFr/KXg+d8gut87Blsx5BiKDFjTtKx6TzgVe3Bh/Sq Xj83W6Lr/XwAOebZl8CtXziin1LNTfrCJSoPD095tk9Xx4tnEUl4Wtcs4Djn5uxixvyf 43ucIA3mjwS/pvJxwGD3nu+R8qVmP/9btAYNzkik12rpRAtF8RRnsssnZTlye1WPaZxU ZWG8kAUgg+lozDhb0jm2uA2yUoOouiEQPCOXz0jo4i88ZjIP+pWIdEIPzJLtjx7a57W9 XBdg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=message-id:in-reply-to:to:references:date:subject:mime-version:from :dkim-signature; bh=U6Ha0c2C3TiE1N17z0Y/PLxDiJ8IaLLYqBHMPK4iYOk=; b=CORdyim2d/21I+YN1CAt9eynaa0OrNvmf4/VogVlMNPOYBtTK5yd8wADzfunKwfCh0 Jh59XFDV7QH1A58de3Oe6ussjbblg9UvRUfUQFxTIjo6AJLbw2VKjX2umBmzxqXqNzbN q4GZz3lrlH6IPPjhoSuyxnGtlJkBnCpsrc8RrXuR59RkSvkAPnt4oVlFFuN1JdZf43rr PPnpevPAv5rYRyG4/Y8MxhTgVp8IwOzhm9EffnDmsSASDWnY1WLyuPMAagDWlYofdTQX XeJtTrmVNoKEBWUb2doz5nC4Gj+3KcaottYzZfCdiOuf78rtdXca/5wCMt4I988yCKGX UxQw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="XPTyIp//"; spf=pass (google.com: domain of pujustinyang@gmail.com designates 2607:f8b0:4864:20::530 as permitted sender) smtp.mailfrom=pujustinyang@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-pg1-x530.google.com (mail-pg1-x530.google.com. [2607:f8b0:4864:20::530]) by gmr-mx.google.com with ESMTPS id x13si672790pgt.3.2019.12.22.03.56.10 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 22 Dec 2019 03:56:10 -0800 (PST) Received-SPF: pass (google.com: domain of pujustinyang@gmail.com designates 2607:f8b0:4864:20::530 as permitted sender) client-ip=2607:f8b0:4864:20::530; Received: by mail-pg1-x530.google.com with SMTP id k197so7355207pga.10 for ; Sun, 22 Dec 2019 03:56:10 -0800 (PST) X-Received: by 2002:a62:be12:: with SMTP id l18mr7009790pff.226.1577015769720; Sun, 22 Dec 2019 03:56:09 -0800 (PST) Received: from node-1w7jr9qtu6hebgkm7ihnvweck.ipv6.telus.net (node-1w7jr9qtu6hebgkm7ihnvweck.ipv6.telus.net. [2001:569:7caa:7b00:cc4a:709c:3f85:dba4]) by smtp.gmail.com with ESMTPSA id q199sm20447839pfq.163.2019.12.22.03.56.08 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 22 Dec 2019 03:56:08 -0800 (PST) From: Pu Justin Yang Content-Type: multipart/alternative; boundary="Apple-Mail=_420BD5F5-61F1-460D-BAB4-17253041517D" Mime-Version: 1.0 (Mac OS X Mail 13.0 \(3608.40.2.2.4\)) Subject: Re: [HoTT] Looking for PhD students Date: Sun, 22 Dec 2019 03:56:06 -0800 References: <01690ffb-8b83-4ab9-99c9-f315cfe330e1@googlegroups.com> To: Homotopy Type Theory In-Reply-To: Message-Id: <5CB8B1AE-98BA-4B4C-8592-C7850892FFBB@gmail.com> X-Mailer: Apple Mail (2.3608.40.2.2.4) X-Original-Sender: pujustinyang@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="XPTyIp//"; spf=pass (google.com: domain of pujustinyang@gmail.com designates 2607:f8b0:4864:20::530 as permitted sender) smtp.mailfrom=pujustinyang@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=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: , --Apple-Mail=_420BD5F5-61F1-460D-BAB4-17253041517D Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" > On Dec 22, 2019, at 1:05 AM, Justin Scarfy > wrote: >=20 >=20 >=20 > On Saturday, December 21, 2019 at 7:06:06 AM UTC-8, Justin Scarfy wrote: > I am interested in this [these] positions- I am a mathematician in Vancou= ver, Canada, but I never graduated from the undergrad degree as UBC wants m= e to follow their rules and do two more none-math courses, all i do is math= / programming [for 20+ hours a day] for the past 10 years >=20 > On Tuesday, December 17, 2019 at 4:00:59 AM UTC-8, Thorsten Altenkirch wr= ote: > We are looking for students (in the moment only international >=20 I am Canadian > - UK/ EU will be advertised later. >=20 > Prospective students interested in Homotopy Type Theory and related subje= cts are especially ancouraged to apply. >=20 > =20 > Please share! >=20 > Thorsten >=20 > =20 > http://www.cs.nott.ac.uk/~pszgmh/phd-advert.txt > https://www.nottingham.ac.uk/jobs/currentvacancies/=E2=80=A6/SCI1918 > https://www.nottingham.ac.uk/research/groups/fp-lab/ > =20 > This message and any attachment are intended solely for the addressee > and may contain confidential information. If you have received this > message in error, please contact the sender and delete the email and > attachment.=20 >=20 > Any views or opinions expressed by the author of this email do not > necessarily reflect the views of the University of Nottingham. Email > communications with the University of Nottingham may be monitored=20 > where permitted by law. >=20 >=20 >=20 >=20 > --=20 > 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/msgi= d/HomotopyTypeTheory/edf8b644-dff8-4d0f-af57-f6e51fe68940%40googlegroups.co= m . --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/5CB8B1AE-98BA-4B4C-8592-C7850892FFBB%40gmail.com. --Apple-Mail=_420BD5F5-61F1-460D-BAB4-17253041517D Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"


On Dec 22, 2019, at 1:05 AM, Justin S= carfy <pujustinyang= @gmail.com> wrote:



On Sa= turday, December 21, 2019 at 7:06:06 AM UTC-8, Justin Scarfy wrote:
I am inter= ested in this [these] positions- I am a mathematician in Vancouver, Canada,= but I never graduated from the undergrad degree as UBC wants me to follow = their rules and do two more none-math courses, all i do is math/ programmin= g [for 20+ hours a day] for the past 10 years

= On Tuesday, December 17, 2019 at 4:00:59 AM UTC-8, Thorsten Altenkirch wrot= e:

We are looking for students (in the moment only int= ernational


I am Canadian

- UK/ EU will be advertised later.

Prospective students interested in Homotopy Type Th= eory and related subjects are especially ancouraged to apply.

 

Please share!

Thorsten

 

http://www.cs.nott.a= c.uk/~pszgmh/phd-advert.txt

ht= tps://www.nottingham.ac.uk/jobs/currentvacancies/=E2=80=A6/= SCI1918

https://www.not= tingham.ac.uk/research/groups/fp-lab/

=
 
This message and any attachment are intended solely for the=
 addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.=20

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored=20
where permitted by law.




--
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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://g= roups.google.com/d/msgid/HomotopyTypeTheory/edf8b644-dff8-4d0f-af57-f6e51fe= 68940%40googlegroups.com.

--
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.com/d/msg= id/HomotopyTypeTheory/5CB8B1AE-98BA-4B4C-8592-C7850892FFBB%40gmail.com.=
--Apple-Mail=_420BD5F5-61F1-460D-BAB4-17253041517D--