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-pf1-x43f.google.com (mail-pf1-x43f.google.com [IPv6:2607:f8b0:4864:20::43f]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 576aafa7 for ; Sun, 22 Dec 2019 11:56:11 +0000 (UTC) Received: by mail-pf1-x43f.google.com with SMTP id g69sf9778705pfb.17 for ; Sun, 22 Dec 2019 03:56:11 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1577015770; cv=pass; d=google.com; s=arc-20160816; b=TeAgVBD9SRG14LYyI3YOjpJ+lZXhSD1q4g90RtY3OUv3UJt199cY2ftdVBP3nXMzZT +yOGv4vDR0aSiYDHVdyLF9cDA5rEJbu9am7euq/JbbNJphfaJGBCJKMSylcy4ow843Mi 0YmXewIWejYI7H7i8Zm55FTTryyLJ0N0dr/641ZPkZuVUV69C7hAtxyaAGGIZfKkc3g1 BmNOTvTIFlo0Q3XNTHHWPhSH35mQF7WqIu2mOsSX2nrRntrjIDABUxTIiIXBeM6hGzJL CG9qAR6X9jHDbFUZvU8csjOYpXMD1O3N6ClFtUhc1wLVDwpJO4OOg7a8TFnufhjjOf92 oP/A== 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=RZGgR6B5kPx+KdrpWz7W4x8FGc+rJITdSO6JRCLRp/4=; b=wDFjggLC6i9KajTmpWgstku1ShEhAZm4dc0opoe9u659Gg3t9aE6cpgb3tG8VoQxrz Uu3yUSbsc/pOYAEnJIAb+WBJoQuzViH6p2mxS8wyG0n4YwxWxL9NmmtF2PWrmb2k1ZWf VnHVpBYhUpCQze3ub3TRRk7ZYlnvkG5gM7vXHPh1ViKr5SZkqjnI4JrBS+l1027kJV+L 8gPeUWACtBTn0PySDLLC7GnyxKa5H/o3OufxX9lo552rS8YdkBV+p3mICw5xOxWdPYB5 5UbmrL1aSs9LytrXeIlLAVy8GTezAvylGlElS3F8odmEczu07sQNE6FhlseVFHQ7GuZs rMAg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=IvIaUhwG; spf=pass (google.com: domain of pujustinyang@gmail.com designates 2607:f8b0:4864:20::532 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=RZGgR6B5kPx+KdrpWz7W4x8FGc+rJITdSO6JRCLRp/4=; b=FlgQIyQBbgimRQREpH+F0+bwgLuiWDUrWDXipjeTSSaAxiWNVYn+iVyyjV5oA6mrTX dS/o7nYma2G0/ff/8lT4quGH948oIcaNZlZSg7ig7m/EHjpvIM3CKFsMnBEoLc5IlCtm 6qSOgA42Jr2IbM+mHSCTm8zIgq+PqzTmjRs1hUqs8eKCinnOvZq3ngTJ0VD1gdhFzP5O zB8EzxS/+23SDe/o5TdbqozRaV4FJiKQu5x5slQ52ehbG77Tz23zvGVUJaezJE+J6O7D DNUTGrhxZ8QEj/HHcWT6iRW7Ary+QxKG4aQPWTvHXv6PUBWsLC71l/xB5tAYZTJLJrYQ 1Now== 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=RZGgR6B5kPx+KdrpWz7W4x8FGc+rJITdSO6JRCLRp/4=; b=GH3H32z4iwJDO8NTrIe1qJc7mLkpcdUC9tlAZWHxQf5RPTT3VfQC9RLu++u+9fSFNf ku2niXGKy+LyJJizxSkFu+1HlKMv7clNrjom2NKsevkBYgaGTerp6ZfSPLqjn7VPZlvU cwmJrz7Zgw1yI6HZfWAO2pmNCNs7RJLigX0LbFPFjXFSmHuOapXBJnfhioqhpdS1DEyz lqa7BACLFYYNGLVuCK+KOSbk0I4r3iwZiFydYkWRFqE0fFeWkTZY8CB/+eoj/2ejTiZ6 L9SpI0wWpfme7x5kKIX6dThvLtAlnkrzU3VgH/QGJ9fTAVrqLymg0MhuicOgQITCtTGk GraQ== 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=RZGgR6B5kPx+KdrpWz7W4x8FGc+rJITdSO6JRCLRp/4=; b=jQnjosjHojzFt+ayu7kNq08QmbKWs/OWgasFWdA5llrvLU8FWGqSAtEtuJWlViHzBj XCrbgo1oecmtij6YD+dZs0ciEgkMJhGi7IGBM/W7xDw4gN0atlWHquVlyY4Q7kA4+D/0 zOOdU4ovJeG96WeCLvHaExZhbvCPGfmp5cggSmJPt92nMZx3KVIckyFh10NtZOzPJAKU GEgsNZR3Yj1l1AYvPnP100rPiV48M4jaK/yfsvr5lvTaH13lOi8AsbcqSapXOyv5laZP hl/yFLXrsD/T0ss2zHUUBbrPFZSR/dMDELQorWXdRcaLu7GcbStmYZIqMZtoZQMVpEwI bEsg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVBNlOFGeGu3R6sQt6u3xWprGed6XMpHjwg2H8oAVu+LwSmXlfN fL6zRfS4G3yV1bdDr4c7Nr0= X-Google-Smtp-Source: APXvYqxztu3iCyXwTYRtnLhHsBHqDs1ZgJmVhxFMVDu34mita8eaLq8GpNIFKFVB7ap1/s7oxMiSIg== X-Received: by 2002:a63:6fca:: with SMTP id k193mr26686844pgc.416.1577015769627; Sun, 22 Dec 2019 03:56:09 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:90a:3421:: with SMTP id o30ls3885812pjb.1.canary-gmail; Sun, 22 Dec 2019 03:56:09 -0800 (PST) X-Received: by 2002:a17:90a:330f:: with SMTP id m15mr27473253pjb.24.1577015769209; Sun, 22 Dec 2019 03:56:09 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1577015769; cv=none; d=google.com; s=arc-20160816; b=yQO46QHBzw57UA04Ox6QBLUcnWqpAD4hzJ4gnVcZuiZ+T5w0j/awxlalBKZiP8BAvc JymaCHLWuO9oAuV1PjvMzyQOPh2l12+KYVeVFMTsXrL4A3ALq8y+FwX9Nz5wXTPhvEYe Z3ejknZQxpJrVtceg8+X0lGUiOTmWhk7E1kqcxeXhzCBiZtFXhedEDebLgJH7b5L41Iz lqAs9iXPloEF3UI6F4ZUfkbnFBI1m64AjkocuhPBie/R9rUcd8zQgtLCguHkMbVBx4hu Isc6HY642GdKl3c1TpU+YpIU83TWbAJy0j5BHjjtVxrCKp+yxBKZG0U8vIwUqj6NNpEo j8EQ== 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=pNNCZBzzLHmc0SnxyFZ2CwINoOLNzuwKQdpmQpycX/c=; b=BJbyvA0YmIlbvbnuH8s4C7lY1H4MKsZqiD4Aot0ZH16iaDj7fGkSjK2WhCab4xnc8Y pfeCio1GKFcQip4rz4vRmy4dptrz7PMJpXIi2aPOoMgxKIcXTICmFuhb2bTZ/qgUd+wz yLynyFbdeR0dyJfc3lfr3H3l/8R3haISuryyam753rbEJ9RjJugIvH38TL3p63L3rIlz Tsb1Q5xAGZ5bcP2buiyr07cvcqHZsWhlGiE2ufo3TVksI7jE1Ne2SlxpAHqz5zeoejWt 7xlzselDbchPBcKUMD0vczLRJyjHl0MZK8raWPjVjXQDth7XVL62i86P1z0Ms1u31834 82BA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=IvIaUhwG; spf=pass (google.com: domain of pujustinyang@gmail.com designates 2607:f8b0:4864:20::532 as permitted sender) smtp.mailfrom=pujustinyang@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-pg1-x532.google.com (mail-pg1-x532.google.com. [2607:f8b0:4864:20::532]) by gmr-mx.google.com with ESMTPS id x13si672784pgt.3.2019.12.22.03.56.09 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 22 Dec 2019 03:56:09 -0800 (PST) Received-SPF: pass (google.com: domain of pujustinyang@gmail.com designates 2607:f8b0:4864:20::532 as permitted sender) client-ip=2607:f8b0:4864:20::532; Received: by mail-pg1-x532.google.com with SMTP id q127so7368624pga.4 for ; Sun, 22 Dec 2019 03:56:09 -0800 (PST) X-Received: by 2002:a62:6407:: with SMTP id y7mr27715234pfb.49.1577015768362; Sun, 22 Dec 2019 03:56:08 -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.06 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 22 Dec 2019 03:56:07 -0800 (PST) From: Pu Justin Yang Content-Type: multipart/alternative; boundary="Apple-Mail=_E67F4A3C-C1D5-4C72-9167-EAECCF94B769" 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:55:59 -0800 References: <01690ffb-8b83-4ab9-99c9-f315cfe330e1@googlegroups.com> To: Homotopy Type Theory In-Reply-To: Message-Id: <863DBD14-383B-4B36-9E1D-296341D79126@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=IvIaUhwG; spf=pass (google.com: domain of pujustinyang@gmail.com designates 2607:f8b0:4864:20::532 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=_E67F4A3C-C1D5-4C72-9167-EAECCF94B769 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/863DBD14-383B-4B36-9E1D-296341D79126%40gmail.com. --Apple-Mail=_E67F4A3C-C1D5-4C72-9167-EAECCF94B769 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"


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



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 Vancouver, Canada, but I never graduated from the un= dergrad degree as UBC wants me to follow their rules and do two more none-m= ath courses, all i do is math/ programming [for 20+ hours a day] for the pa= st 10 years

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

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/863DBD14-383B-4B36-9E1D-296341D79126%40gmail.com.=
--Apple-Mail=_E67F4A3C-C1D5-4C72-9167-EAECCF94B769--