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-oi1-x23f.google.com (mail-oi1-x23f.google.com [IPv6:2607:f8b0:4864:20::23f]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 67e6031d for ; Sat, 21 Dec 2019 15:06:09 +0000 (UTC) Received: by mail-oi1-x23f.google.com with SMTP id m7sf5613624oim.14 for ; Sat, 21 Dec 2019 07:06:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=/05QgmBAbdNKi+1sm78nJjvprwcVB2oI2gUiXA5h8Vg=; b=lK0Nzh/T6IxQvyIqtuyNFC+BvS2fofTnRmR6o7sUvQmlK7TO/3mDWH8UIL9wtoTHJn /Sga9yBABrS+qr6NsD7LvHdf1d/8XhiUx8NGxgrG9Q9VbsvQp/OPmFXH1U9CW8TefSHc jB72v3iN0X9dsX83HKbgvynLEm+i4dqUzKwAeJi0KSIXvbqT3gez5SBU6/Xtxxd/OAw2 FNwAf+n7QSN2lnfp6xsYBvg/HfWgTfI4uPFetHklq8PU0YhH7NW225teGrervWAgbPNh 1QBs/gtiHwlR5HQlJl6ge1rM2+TFUFBkwKg0KKm6RUmxNB3TD+wGz3grnd/lEk7eSsdY ssOQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=/05QgmBAbdNKi+1sm78nJjvprwcVB2oI2gUiXA5h8Vg=; b=g0MJokkqUhR7ZvBM3q1MjbrQs9FCqqvEGBobZuEPXwdzRdHZrWJSebHJvixO3Gp8x4 8TicJ5aS0gwW00bJq0qc/jIIjoNMdPeQoHovt8yTQ+6ef269bPU2qd1jRIYKMw51YmP4 /1JwIDGFGpTXz41omtTLZQSyZaUl1QLZ8xI73iIu3tGYU9T0cubxbEBC4ygPkj7K4cV7 MmHZ3D0t8Pjh61Hl0xhoAIt+tAbbwkWfwe95ME4tkdFclieOYQxTpkE7sRph2sswwd9/ ABE9xXGI3WMd/YNDTQrF4/6wKP1fiJbkPQG1oWA9xEH3bwdSoau5NHOcD0hgLXTa5YIN 1bAg== 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:in-reply-to :references: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=/05QgmBAbdNKi+1sm78nJjvprwcVB2oI2gUiXA5h8Vg=; b=fQ4Utnr36hSzf2Sz0M0AsTO/2YIeVB4eY/myoddYxBnqa9CgZYyD9nOZr4VV39lJtp MjITyla9fwLqX7TihFG6qahAssfdAoCD0H1EY93vb0bxRDH9Sgp/Onugnud0afgl08eg YDTv7y6/rFmv+ZpFZkJDraqYjRMLIgZJYiRJDKDDm0kBvJVQMIV6hpsuKAiuwOrIV/oa nk0FMKR3WsNIBDPdcB4xU+Yed0+5zZY+YVMmBogudyKi0S5bsd4sMLcpKPMI/HiH0nBU Gg2a5nHoz7KDJHn5ruB4qNPfUY67cjM/fUV9aWX3O3hdaw6l59Z4ZRkcAPfWM4+twCwa DzdQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAW5Rw38GXL8j6FEApuScec7ANPoAe5Qh3N+HfuHPVxAAy59+qAi h0v+IK2YEkHMyNQYMyiQnyY= X-Google-Smtp-Source: APXvYqwpEtV0envhdNd1z+jnLg1zTMS8iGOdWOjkCqMTR4993Zan3zdkd80ic8s1yzg9nrJr3gNSYw== X-Received: by 2002:a9d:6b12:: with SMTP id g18mr20670857otp.211.1576940767321; Sat, 21 Dec 2019 07:06:07 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:7198:: with SMTP id o24ls1548716otj.10.gmail; Sat, 21 Dec 2019 07:06:06 -0800 (PST) X-Received: by 2002:a9d:32e:: with SMTP id 43mr21222990otv.301.1576940766778; Sat, 21 Dec 2019 07:06:06 -0800 (PST) Date: Sat, 21 Dec 2019 07:06:05 -0800 (PST) From: Justin Scarfy To: Homotopy Type Theory Message-Id: <01690ffb-8b83-4ab9-99c9-f315cfe330e1@googlegroups.com> In-Reply-To: References: Subject: [HoTT] Re: Looking for PhD students MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_549_1064851457.1576940765968" X-Original-Sender: pujustinyang@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_549_1064851457.1576940765968 Content-Type: multipart/alternative; boundary="----=_Part_550_887938867.1576940765969" ------=_Part_550_887938867.1576940765969 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable I am interested in this [these] positions- I am a mathematician in=20 Vancouver, Canada, but I never graduated from the undergrad degree as UBC= =20 wants me to follow their rules and do two more none-math courses, all i do= =20 is math/ programming for the past 10 years On Tuesday, December 17, 2019 at 4:00:59 AM UTC-8, Thorsten Altenkirch=20 wrote: > > We are looking for students (in the moment only international - UK/ EU=20 > will be advertised later.=20 > > Prospective students interested in Homotopy Type Theory and related=20 > subjects are especially ancouraged to apply. > > =20 > > Please share! > > Thorsten > > =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 > > > =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 > > 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 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/01690ffb-8b83-4ab9-99c9-f315cfe330e1%40googlegroups.com. ------=_Part_550_887938867.1576940765969 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I am interested in this [these] positions- I am a mathemat= ician 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, a= ll i do is math/ programming for the past 10 years

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

We are looking for students (in the moment only international = - UK/ EU will be advertised later.

Prospective students interested in Homotopy Type Theory and re= lated subjects are especially ancouraged to apply.

=C2=A0

Please share!

Thorsten

=C2=A0

htt= p://www.cs.nott.ac.uk/~pszgmh/phd-advert.txt

https://= www.nottingham.ac.uk/jobs/currentvacancies/=E2=80=A6/SCI1918<= /span>

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

=C2=A0

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 &= 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/01690ffb-8b83-4ab9-99c9-f315cfe330e1%40googleg= roups.com.
------=_Part_550_887938867.1576940765969-- ------=_Part_549_1064851457.1576940765968--