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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 5862 invoked from network); 17 Jan 2023 18:23:41 -0000 Received: from mail-lj1-x23d.google.com (2a00:1450:4864:20::23d) by inbox.vuxu.org with ESMTPUTF8; 17 Jan 2023 18:23:41 -0000 Received: by mail-lj1-x23d.google.com with SMTP id bx14-20020a05651c198e00b0027b58179b0asf8353780ljb.5 for ; Tue, 17 Jan 2023 10:23:41 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1673979820; cv=pass; d=google.com; s=arc-20160816; b=wZUCOcVZdT0AQSGNliAmgNxmMMzsV9HQVSu1Fs5pzwqqIaXwY1CN0VBE0fkKU1vKwA +nVTHgflDUqoONO96HhqBTe95MuIsS2qn8BggWaI3AIFCwDArEe3BVvpK5qLocatEIsl WN+l89MOGKSmex+GromL6liFP9Eap/P9bFW1SlQfsKLnFv/Cb8t+nI4k+vv0puzm2+nV tivlc0wV+Fh5VIkUbzea7vb5DJCjCb2U7mpGAVlGYuKUBOuaVC+k10dSoDwa2QbHL+8R hrf79JsvgQHhBgCD/jup1Jb2PS6anZY+HZ5fWVXp0nBxKat5KQTjoVxQSzGn+W5K7Lk6 sWFA== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:mime-version:user-agent :content-language:accept-language:message-id:date:thread-index :thread-topic:subject:to:from:sender:dkim-signature; bh=VWrOYoCgwU22VFTg8/hc38QZMn2fSU6NpnhjqV/uhiU=; b=tSu3rwefKdpBWU+PW0SfmWWuoTbasAfy72cDPAPuq/rP5Vsuk2bKUCTllaU0kYB+bK OfxJyFe4n9BBdfvsig94xAuX6KfPq4BwUh+oIfiF6qlnlgFB6ezgq+mJJjCCrtM4xkhx nd31Sv7XNtJSbHOifvL9GlLRuH3XASvxk2wG85NCPPM4n4ejgjVNz+t6ARl6oD3p12Li 3yMJJfD4IBM2dBEk/sxdn2YNK9E701wQzq6sUJ0sLiS9O5F0R4veumbzdR6mYh3XZHbY Y2nDSS7FZPpA97ba2KU3uzUl3xY4ZXZ5LpCoelp9dqXYTMs6GAuIHV634Kf7DA8BHYIB 9hiA== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=aM2YoJzN; arc=pass (i=1 spf=pass spfdomain=uwo.ca dkim=pass dkdomain=uwo.ca dmarc=pass fromdomain=uwo.ca); spf=pass (google.com: domain of jdc@uwo.ca designates 40.107.115.96 as permitted sender) smtp.mailfrom=jdc@uwo.ca DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:user-agent:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:from:to:cc:subject:date:message-id:reply-to; bh=VWrOYoCgwU22VFTg8/hc38QZMn2fSU6NpnhjqV/uhiU=; b=K1AUgGNLOpzBmXYJvsuvQxVLVapuz6oUxskqmnmtKlmVxi2S6GPvtA2LZFj2VUovyA PP8WGMreZ1d2exJQTnn3RNc36XTaebHvEA08tNBLIDJUSDPwqncD660tbVh62ZZJQ9Df WNop3y6fRlIY1AsB0WomSwRJ7GRgNLX3nul/OFoIx4EH4kGw7sWt9yF30OggHO90HO3r N4sW+QUrC8fJGAlscDXiv9zOkmL+3auSsLmbsjpoUhbuUucK4OLfZK7C1GL2qSV5eB16 mIECq0ny5pytDtNiITHcvHlfsLfXEw3d/6XlhFaH+xkhv1lvu63uOg0CKXYby4+GlNra IWIg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:mime-version :user-agent:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from:x-gm-message-state:sender :from:to:cc:subject:date:message-id:reply-to; bh=VWrOYoCgwU22VFTg8/hc38QZMn2fSU6NpnhjqV/uhiU=; b=7Ix2zehGpzrCAkyAlfETvjoXXsi3KVUJjdU048yrwLBTCoCFnhkchi+tjbJY+gz75w GDF3s87UR329Ic2U2yYD//pVObPGUsZt6Od6KStcM2LAOI3Xk7Ifp6QQeIuUhcrefbV+ 0+QFh/wZhkVxPePS+1Kq0W98oyIYF5KddXJPmfteXNoKeQthKj3nnaIae8uUw3NleOdq l8spEEku5AKBw9xuA2M/uNVWG0/7z13gO/5WueHpU9BFoqL+DMuQVOqJBbZFRI07M6vY cL2oKT41CDo1sKChByROfCnacAuGl1mrAvZw4vx1xqxHtRbzZElJeONSVnUZVRzhNZmm o53g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AFqh2krhhtuRPWGQ9HCOG+X1UjX9wo9y3uuM34mZnF+xS4MX2/C+WDX0 ndYM1+99A//7kc3CQIpsQ/o= X-Google-Smtp-Source: AMrXdXuLvGfOvvwKD/piMQabMAES2736j+QNYzOv2AdQ1dQ3vKkvw/XTR6SWm3SNa2fAbez10vrlkg== X-Received: by 2002:a05:6512:2514:b0:4cb:3b23:626b with SMTP id be20-20020a056512251400b004cb3b23626bmr228656lfb.384.1673979820740; Tue, 17 Jan 2023 10:23:40 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:9cc4:0:b0:27f:bedd:57d with SMTP id g4-20020a2e9cc4000000b0027fbedd057dls2320960ljj.10.-pod-prod-gmail; Tue, 17 Jan 2023 10:23:38 -0800 (PST) X-Received: by 2002:a2e:9198:0:b0:27a:3d9d:8201 with SMTP id f24-20020a2e9198000000b0027a3d9d8201mr4978443ljg.26.1673979818442; Tue, 17 Jan 2023 10:23:38 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1673979818; cv=pass; d=google.com; s=arc-20160816; b=LHaxH7uHo1Jh3ECLLQ73cPW9GflD8kQAIW6JuzCn9+aZbP3Zq5AuMlpq8nW6aE2nsP IPu6YxdtxpHJ2DFtcTSP4AFL2dd7DJghnM+ypWYPb5AQsDyoI1KOw6Sy7S7HdAjYWoOi eQmWXu9h7JAB/EsYNqk14oZIDBty3UE4qQEXpswDFYWh1uqSXM8Inc6mJclalzF+bTR2 lB8+2HXnYTkMzTl/nzRfre3JiW0dALrN12W2qhegY2hw8sOOZlwXKmuFctMGtDY2eKfe ENjUP044R8k25hDcVrin3RS48QEqRvMHtLl4x0W06kHpKzPuw02qwRdvchi+UXa/1Wyz oG8Q== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:user-agent:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:dkim-signature; bh=Kmu7BjkGteCzNCLxjGLSMWx26pS31IR93Dx1w8sBB18=; b=Vg4uYEyz0tkOe2z6su624MuK/KcRpTPD4dVur8Okz2aqUbNONKeHVCs79vjSkBZ0sc hDu6/hkQdMy0AmtP4W0MqlYkL7ykMxD9g1FPLW1P/dp7R79XZTcpBmGul+zNpi14YeKs ePqB+PLoUO7o7gmafUesXvyl62kkE4BCfunjTKAk5fugNv/pkTidfn5ejQ9uRFRi4ppC 4vWS42/FG5Lofoawm2K4c1rq8KGG52BhMcNUg7AkC1O4nLa43wFiv9uvrWdjCeQJUIhK IQFcz1NtkTUn12MO+kltYL+4KuCYP6jDFkl8I8eHj1v0Br4A6ar9mW0E9MH4JFLUAvD7 XLlQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=aM2YoJzN; arc=pass (i=1 spf=pass spfdomain=uwo.ca dkim=pass dkdomain=uwo.ca dmarc=pass fromdomain=uwo.ca); spf=pass (google.com: domain of jdc@uwo.ca designates 40.107.115.96 as permitted sender) smtp.mailfrom=jdc@uwo.ca Received: from CAN01-YT3-obe.outbound.protection.outlook.com (mail-yt3can01on2096.outbound.protection.outlook.com. [40.107.115.96]) by gmr-mx.google.com with ESMTPS id g28-20020a2eb5dc000000b0027a2a767052si1465836ljn.3.2023.01.17.10.23.38 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 17 Jan 2023 10:23:38 -0800 (PST) Received-SPF: pass (google.com: domain of jdc@uwo.ca designates 40.107.115.96 as permitted sender) client-ip=40.107.115.96; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=eRfbZmkyfwXMs4UEFgFw3rBok9+GJgxeMJx+4cGRP5wTbOrJZ6xtTkInWDCsrCd+INxr9KkCy2mNQwddkRv/YuiHKlaBGUIx+ETxSFp3VdR7xYmOMiJUhI2sYqmYSf2VguAAHkTr6Hita2vbQfPdn+1MAjVT5r/btFp5kSzoG6NkXs05jwBaGnnPI8f27j5E0iQNwOYrr3XFZRF7mPTJQJZFg+WnSxNgBnKSFYW8xzNwfr8XwYOT6ugfQ5EIYNpKK5Ns/r9TJ2aU5iwvUfedNuMYCrxE0aYr2K7/OSmBSZ1WUcacgecfmIjx48aI03UH0tUAYL5CVpkJ3uCa/pUpRw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Kmu7BjkGteCzNCLxjGLSMWx26pS31IR93Dx1w8sBB18=; b=Y4oFleA6MCKo7wlzybCIGT08y1+zdwkRE0UoRaj/e+DUJ4x2P2uUgtBqSv7sQ/CWZzIjjeHnWGs/rh1iISQMI2BSwU0HDnd2dOarY6DlTjgAHXyWBk8HxbF5VVjEh1H/NrE3ap+N6YBnyPAm7ebPQ7zpjRrvKUf0gIW6QL/NAnFgOIhT4HILzz5UbT364tws2pL9NUxVhGkaoYX21Kh32kTdXQ7rDucmSUP/Iaatlhd4tAq8G03fNk9SRMTO2TmWwQMNDsLF56IIzcaNLODTfsivC28xRIjugSCEs4a8anE0Uat/k0DeCEMyDcCTE8XJFChTaN6UDjZqKh4p96N8Fg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=uwo.ca; dmarc=pass action=none header.from=uwo.ca; dkim=pass header.d=uwo.ca; arc=none Received: from QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:30::22) by YT2PR01MB6159.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:b01:5b::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5986.23; Tue, 17 Jan 2023 18:23:35 +0000 Received: from QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::1d1c:283a:2d4e:f5e2]) by QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::1d1c:283a:2d4e:f5e2%5]) with mapi id 15.20.5986.023; Tue, 17 Jan 2023 18:23:35 +0000 From: Dan Christensen To: "homotopytypetheory@googlegroups.com" Subject: [HoTT] fully funded graduate positions in Math at UWO Thread-Topic: fully funded graduate positions in Math at UWO Thread-Index: AQHZKqDQOxnXQOuM1UKubZVqC6hXSA== Date: Tue, 17 Jan 2023 18:23:35 +0000 Message-ID: <874jsprpeh.fsf@uwo.ca> Accept-Language: en-CA, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: QB1PR01MB2753:EE_|YT2PR01MB6159:EE_ x-ms-office365-filtering-correlation-id: 2a361ac3-8f41-43b4-44e2-08daf8b7f292 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 8UtmSnkY2S9afkBJYS8NHUZK0gca+LTPhnWx6iYSLbdAH5SyaMtLjHyhYWujN220fSrX1gkkXfHmJ/KUcrpz1Dbb/bEwwj6mNfrOjr/hH93ps0wc23bi2CYnJLMYi6dALmMqr9Z+UdFRqYnmHVHB6ZAv1o7Vplo5Gxp869040pQPYrqofEckWQzVxcKK/qRffJ39mssD6w50aSXI+vssaaAzYJlSugTJx6bMCWvQTg1J21O0UXZI+5bL/RMZPROy4+8wzY36p/b1a05u/8oSWXmGBrTL1u7l0NxA6vu2GDGIB2xhcA6z+Dzmz3AAZFMkQ1jnLrr3k58PuIny6kwwMN4NB3KhVnggZyiGgNI/gq3rbLuLh4sLlfxv5pbnYrhdHHlgF+mvoAhGxVSKDEy4TSHm/c4zHpAc/Lib5veHOdxh1jEo435w3XZRpdIlclv5l9DgoklzVG98GPsvbuczzh/2hxW1c81xo4JdmIHPLsHPOHznBsIJC+YZo+C0244IdyAhRIgdHMX1psky6/lzlTX0UQMigquNBevj4PWKnqUs+ZkZzOGBmNkH0i8aWS2fGSqlqcxWVsUu5eIPJAmM7xndq6rmv65TZfHG5tOsjM9nlIpLtQk/Vf/BRUx/rHgPDuOnkUAW/YsJzaUdOg/JBWLy+NOGjcv01VkAVJKHwQMrXfCDzS3hbRJAkOdJ0NygD+mW1VRR9xwQXUzcQQDLyWHZ5lqOWdGpk+0yi4SvLqzjbgbrWV5AF4L1E9/wv6ULSlsWxiAzaiE+KcgPY7WDPlVOr8dSAsqg+VJwA+s+IOFXD6Ohoc/MkbjUZWPYOUrqSfzEhYeNhFi+OoNbdjaW0+Fn057fZeLLn10XaN4C04I= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230022)(4636009)(39860400002)(396003)(346002)(376002)(366004)(136003)(451199015)(83380400001)(38100700002)(5660300002)(122000001)(38070700005)(6916009)(19273905006)(86362001)(2906002)(76116006)(8936002)(66556008)(8676002)(66946007)(64756008)(66446008)(66476007)(91956017)(41320700001)(478600001)(186003)(6506007)(26005)(2616005)(6512007)(6486002)(316002)(786003)(71200400001)(966005)(41300700001)(66899015)(36756003)(562404015)(563064011)(10090945012);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?a9VtH8RahFiagiCPVdrFZ0OD7CfdZFgYLxVgjHSD2B9+mOcD9EjyZbQvnm?= =?iso-8859-1?Q?XdkXZ9LaWBTo0AOi4KUlmP/YYSLdnwTK6ONf4X277cYIy0W25m5jxI51W1?= =?iso-8859-1?Q?o5cp0Tg+8bSSntPJxfv/N3hc1h0MRtw5hF9q01Iwu8cE8K4jKUyNkzvRMU?= =?iso-8859-1?Q?7ZHK2oklmuepvJsMnwtXfU+IgM28jIMiMuSfbPRoggzth2rl+P1kVmR29x?= =?iso-8859-1?Q?WaP6N67tuQGYH0URDx3NkrEedzHJtYOxKYbvDHgvTRqOZV5eEKUqM0wQ9Z?= =?iso-8859-1?Q?PVKlJU/ljMLSjFPMN05fWeCT2f3oQzrauW6LDg8qHV3T744Bxhj1/icY4w?= =?iso-8859-1?Q?GTdMsiHtS/T7rb47ca8Ukv9vIPx+EUE9AbmROQLE5IP2dJfXLZzhgJ/0MT?= =?iso-8859-1?Q?r3luJbsnOfep0aAjOyv4RjRc398DYm+jBXn5Fteb3zXwbWiOTZe6SOrNoo?= =?iso-8859-1?Q?3E7waVzvBIKKUY4lAi6JQbeOJrHYKmSByZZsjM1NQ7GLBprQLBOMrp6/ml?= =?iso-8859-1?Q?tjanT0RqssoaiUWILg6LSjN/WLwaRtK9zip6tEM+gf2mFLFS5K+75tmZNQ?= =?iso-8859-1?Q?u/KZcCJjympg0tIY0Yanxh0sawRrMViS8rv4mUvPgDtTl5RCoX0Ury2fQz?= =?iso-8859-1?Q?dkffIMbTmUJXWB+9ETpm3nXxRynsbIM3QYaC9wa5KzXEtu0shnO84c1fX9?= =?iso-8859-1?Q?xcMNmm262I76qlRSCz226kaMRf6wydFAnrjkb5lGBuU74wskACBTmE3lKg?= =?iso-8859-1?Q?9YWvmVbBuwHbUg94GIdRhKV49sBvNnT1aAcS/pAq8p0IN9AxMOHGrz7RAG?= =?iso-8859-1?Q?awJiPA7kL7y9Jy29PkeFV5TmP3jKVzVmUrqQf2Z8kuBd1g4WykSRo+FxSU?= =?iso-8859-1?Q?rOmyywikoT05C7t6Bk8nzthCHbr4kpSHkGVD01Ol280wv4bJ+8GGxSaxRa?= =?iso-8859-1?Q?sqoAVnH0Q5BJEAFLvRtGeforp6PItAFBNF9JDaePCMAxCrYidsDbInAE+k?= =?iso-8859-1?Q?nhU6kcBK3TvYmGPtD8TNHcPXW0a+OdxlcFkMuOWtIi4b9ZmZyh9R8P/Xyi?= =?iso-8859-1?Q?Jci0nA6EagFrqxewR89yL5FkcxBF4LsJ6dce7r1UdAfqhyXX3KqnWP4Auk?= =?iso-8859-1?Q?nrvJCZanySoskTbalICa2yYKaMVNl0fjrUPILsRSuTtQd6XRM35qtNBnK+?= =?iso-8859-1?Q?KJDwLfNof2D/+KI1+X/xJbmNlymQhKJXWYQPHs+DWW2GKUCbHLw0lcBNQJ?= =?iso-8859-1?Q?iG6/sYp6FGfXj32IZ7OOZ5xmRRPiYeZYOx7ojJvwTnN74kSk71CcfjcLiP?= =?iso-8859-1?Q?VOFIiWX0rpBFSDdZ2opLGD9VJ/y9Gf4mQuNBVo2MT9OiSj4/ltWhP9KGCe?= =?iso-8859-1?Q?hIPMSZ7jdZRcfeRN+W1DTR9j7gAEr3EmSH9cUezrrBfLc6o1bVzxfuqXAp?= =?iso-8859-1?Q?I2tvMwhJ+yFUgTQPd+sW8EvqWcHDqrvQ3Wd/7/qdd3eTYQL1Hkqq4NvRGq?= =?iso-8859-1?Q?K5BQ/tePHPRECEN9krd4plW7ivkeOa2yjqRA/6bXpNCBqJMbcXv+lr8DDA?= =?iso-8859-1?Q?seJNcKEikgF2c1Hkqxdi2+dIg4pepxu9JzEliAcuMQvRD7l4mm23FqHh7i?= =?iso-8859-1?Q?PCQUEyIA1PKGGe3yWzVOvoySISHvnhNHwo?= Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 X-OriginatorOrg: uwo.ca X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 2a361ac3-8f41-43b4-44e2-08daf8b7f292 X-MS-Exchange-CrossTenant-originalarrivaltime: 17 Jan 2023 18:23:35.8566 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: ad93a64d-ad0d-4ecd-b2fd-e53ce15965be X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: AoIbq/lGqFPVojOAmAvyoXPyea4oHPICOujpSPy0kvieRIazlDm3PA4TuFw0cgS6 X-MS-Exchange-Transport-CrossTenantHeadersStamped: YT2PR01MB6159 X-Original-Sender: jdc@uwo.ca X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=aM2YoJzN; arc=pass (i=1 spf=pass spfdomain=uwo.ca dkim=pass dkdomain=uwo.ca dmarc=pass fromdomain=uwo.ca); spf=pass (google.com: domain of jdc@uwo.ca designates 40.107.115.96 as permitted sender) smtp.mailfrom=jdc@uwo.ca 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: , List-Unsubscribe: , As usual, we have openings for strong graduate applicants in all areas, and I in particular welcome applicants interested in HoTT, homotopy theory and higher categories. Our department has lots of people working on these topics and many visitors and seminars. Note that the deadline of February 1 is coming soon, but that applications will continue to be reviewed after that. Our standard ad is below. Best, Dan ----- Please distribute to undergraduate and master's students and appropriate counsellors and supervisors. Graduate Student Positions Department of Mathematics University of Western Ontario London, Ontario, Canada The Department of Mathematics at the University of Western Ontario solicits applications for its MSc and PhD programs. We have a large number of fully funded positions available, and applicants from any country are welcome. Our faculty members supervise research in a variety of areas: http://www.math.uwo.ca/graduate/supervisors.html The Department of Mathematics is part of the School of Mathematical Sciences: http://uwo.ca/smss/ More information about our program, including the application procedure, is available at http://www.math.uwo.ca/graduate/ Students normally start in September, in which case applications should be complete (including letters of reference and supplementary material) by February 1. Applications received after this deadline will be reviewed as space permits. Early applications are welcome, and we encourage applicants to apply for external scholarships they are eligible for. Please contact math-grad-program@uwo.ca with any questions you may have. -- 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/874jsprpeh.fsf%40uwo.ca.