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-x23e.google.com (mail-oi1-x23e.google.com [IPv6:2607:f8b0:4864:20::23e]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 97dd0669 for ; Sun, 22 Dec 2019 09:05:35 +0000 (UTC) Received: by mail-oi1-x23e.google.com with SMTP id c137sf5245137oib.11 for ; Sun, 22 Dec 2019 01:05:34 -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=qxy7i/TiLJS/IZ3kdytWvkQBNzYbcyeXMAqSR+Ivwg4=; b=Q2dMca7rhrwufSFZQNxZKpX+8MGUXR+08rOaqZSD8uKZjmg45OQvtQb9mM7MEoEy8n PL0K8ALeSWGPUcCeohZrQjaovZ6HhJNpNOFiMzDhahjYBg0kecaAPAyvjkleryPgEgIY gZWTwoWDp4iQrMF7MC53dmq7pVLMlAesgt2sCKH/o8M7uwLnb8ytQ6uMM8bvA3NSS8Mv Y/qseoHO4tAzlV24VcrmxUY1GZj9A4bAloAfLCu9d7BTqhOEoheLcdiXK/iqMaZ0AIFD L2pAC7jpa9NHbhMPEuX1ylEuIXwdw8++yvd97+2L1f/TukO5OsQmPzVkaG1a0xqZ0VrC pveg== 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=qxy7i/TiLJS/IZ3kdytWvkQBNzYbcyeXMAqSR+Ivwg4=; b=vRTCtilC4uNflSNgru9RNzyo1yK+WcrmZ2B3kbA60cbBlkn9xY3IgJfv3OamvsGlll ZXiFglfNhfCw+UfayFWL8SbP/4qACRfGcUl0svaXGI6QMbnGna+dTGkWjVaE5xoyaF0P eZTzByY2EAwTiaXHI7BZJU9cQFI2ljlfHn6Qdb0x/9UMU7Y5AH9Xy6U8qamz/lp55laZ fb5FiuzoEutrdISzZobpScP/yoyUonOjArC8qKNe+oHYThWc1YuhDNAYBA9pwBsBTr/U /LBAvoz47pW4zkyOPcKC0X0JJX5Onq6P/JuKtT9s9YH6uGacmEPZu29Xej2wxnuHlEk0 lMuQ== 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=qxy7i/TiLJS/IZ3kdytWvkQBNzYbcyeXMAqSR+Ivwg4=; b=EmfrEr6t05WRvwNgz4fpqQam+CfugUliDjkDYgllQEq1rBMfpryAO7XKCoLB32SU/v EcBs7psQWNBnnqqwk5TMWedTLqhU/cT9IUT1YEHWW7UjXa/ppPnUaPkMpe+QcaLTYK77 wM2hP8oUfwgkV751SzOiXik5QHkNY6sH1qzuxd3SlWxvlN22H46WsSK0/Zo1I0dOWj+C riQ4Z/Szffk0OIzmAUiEE1CLwvRgQMMUJHjjy9UI9mLK/dmO1iZ3nOwIE1Ut8B+3e2RP O5zvoH3hvsLS5AvZhzF78jtBdd8C3tS62w8vKMirAQ0kvkJ8DhYVuJ6LWWpwGjRT4noC 8qjw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAW87TFjv+V/ckTl6p53d9n+eEnN08Ijl3LrJXmk+FvbneRQda8b mw+tVlxzvAn9yL8SCzHbxEU= X-Google-Smtp-Source: APXvYqyENXZB1dh6X0RolBxMqa2kRuN6DJSq8wIbzELnrBnSPW269A333v0dBmeRdDFN6Iv6LK5HJw== X-Received: by 2002:aca:d0c:: with SMTP id 12mr461463oin.26.1577005533942; Sun, 22 Dec 2019 01:05:33 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:40e:: with SMTP id 14ls761612oie.4.gmail; Sun, 22 Dec 2019 01:05:33 -0800 (PST) X-Received: by 2002:aca:f555:: with SMTP id t82mr5662340oih.103.1577005533149; Sun, 22 Dec 2019 01:05:33 -0800 (PST) Date: Sun, 22 Dec 2019 01:05:32 -0800 (PST) From: Justin Scarfy To: Homotopy Type Theory Message-Id: In-Reply-To: <01690ffb-8b83-4ab9-99c9-f315cfe330e1@googlegroups.com> References: <01690ffb-8b83-4ab9-99c9-f315cfe330e1@googlegroups.com> Subject: [HoTT] Re: Looking for PhD students MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_549_1107998337.1577005532531" 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_1107998337.1577005532531 Content-Type: multipart/alternative; boundary="----=_Part_550_1349918762.1577005532531" ------=_Part_550_1349918762.1577005532531 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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=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 d= o=20 > is math/ programming [for 20+ hours a day] 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/edf8b644-dff8-4d0f-af57-f6e51fe68940%40googlegroups.com. ------=_Part_550_1349918762.1577005532531 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


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 undergrad degree as UBC = wants me 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

On = Tuesday, December 17, 2019 at 4:00:59 AM UTC-8, Thorsten Altenkirch wrote:<= blockquote class=3D"gmail_quote" style=3D"margin:0;margin-left:0.8ex;border= -left:1px #ccc solid;padding-left:1ex">

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/edf8b644-dff8-4d0f-af57-f6e51fe68940%40googleg= roups.com.
------=_Part_550_1349918762.1577005532531-- ------=_Part_549_1107998337.1577005532531--