From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.107.134.105 with SMTP id i102mr2633709iod.10.1478539282452; Mon, 07 Nov 2016 09:21:22 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.107.14.7 with SMTP id 7ls403842ioo.47.gmail; Mon, 07 Nov 2016 09:21:21 -0800 (PST) X-Received: by 10.107.173.142 with SMTP id m14mr2852581ioo.36.1478539281797; Mon, 07 Nov 2016 09:21:21 -0800 (PST) Return-Path: Received: from NAM03-BY2-obe.outbound.protection.outlook.com (mail-by2nam03on0138.outbound.protection.outlook.com. [104.47.42.138]) by gmr-mx.google.com with ESMTPS id b21si530202itc.0.2016.11.07.09.21.21 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Mon, 07 Nov 2016 09:21:21 -0800 (PST) Received-SPF: pass (google.com: domain of j...@uwo.ca designates 104.47.42.138 as permitted sender) client-ip=104.47.42.138; Authentication-Results: gmr-mx.google.com; dkim=pass head...@uwoca.onmicrosoft.com; spf=pass (google.com: domain of j...@uwo.ca designates 104.47.42.138 as permitted sender) smtp.mailfrom=j...@uwo.ca DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uwoca.onmicrosoft.com; s=selector1-uwo-ca; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=hxOlpwvAPe1EPRDD0Jk28YGwQqUZ5us28FXmGd8FhcM=; b=RK6UwyajfUohNcoYr7LwmXwRth4wy32dGcAezhuy0qAZSYy3ZixHTyENBQ0kWm3ljbta3QE8kINCvJm2C9I/wktalnUHpnJbW87FZl43xOfPeLsUcT/IucvixFH7VPsbWbqlW16zTyNmz9VUQPMRiJlzNT5mB8uHSF2DVX+glkw= Authentication-Results: spf=none (sender IP is ) smtp.mailfrom=j...@uwo.ca; Received: from speedy (174.116.245.222) by MWHPR11MB1741.namprd11.prod.outlook.com (10.175.52.148) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.707.6; Mon, 7 Nov 2016 17:21:20 +0000 Received: by speedy (Postfix, from userid 1000) id 6D8494C1545; Mon, 7 Nov 2016 12:21:11 -0500 (EST) X-Hashcash: 1:24:161107:homotopytypetheory@googlegroups.com::TdjcQ+wxujfJI6ZP:000000000000000000000000006Lv7 X-Hashcash: 1:24:161107:types-announce@lists.seas.upenn.edu::9iU5QqNqLDHSMeh0:000000000000000000000000005k33 From: Dan Christensen To: , Subject: tenure-track and postdoctoral positions at UWO User-Agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/24.3 (gnu/linux) Date: Mon, 7 Nov 2016 12:21:11 -0500 Message-ID: <87zilbp5o8.fsf@uwo.ca> MIME-Version: 1.0 Content-Type: text/plain X-Originating-IP: [174.116.245.222] X-ClientProxiedBy: CY4PR13CA0083.namprd13.prod.outlook.com (10.171.162.21) To MWHPR11MB1741.namprd11.prod.outlook.com (10.175.52.148) Return-Path: j...@uwo.ca X-MS-Office365-Filtering-Correlation-Id: af9f4959-7a35-4eba-cbcd-08d407327df1 X-Microsoft-Exchange-Diagnostics: 1;MWHPR11MB1741;2:ExM1KRKvwuDuGVLC04rPNCkYUxml/SyGA4/6OpPZwpH8vzUeujIUZDpFcqxibaoURIEiD7bDVzYRrzOpXnBPTy6zKJ1YpewyjQu7V9YO+odVe/ACyreKwzHyZTed4ZX5ct2oiTxC+/Z3TSYskkJt0zcNhXPsqm8FGYsvaQ0ImptGNLeVHQ/jRF0x+++NuKi3W1uN7OPHUtMoZixDWBylkg==;3:BxCRGItduMtQtWa3SaOctR7PpErvdL6qgQjVdCzxcT7Z2qMByZEJVPhfVCTQINciw2Anr/QRWmdlUuYfTE8jonFXYI+oYAullw3EKLJoZ61GRPt2JwERJrk7tT5SyM5DUyvytTW1s7X/Kjl0E+lClw== X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:MWHPR11MB1741; X-Microsoft-Exchange-Diagnostics: 1;MWHPR11MB1741;25:DhQGiqlw3wCwNEDvrx2eDeVBrsTY6faOjG37RVqdHfWZAX17XpV3B0iqBN/P/TPy+hnFkH/F0Jw/Gp5Sgg7m90H7zaDBmK4P/pYMU0q4xk3I6di0MgPeGK7zqLOf9ProWQ2wIznM797qSc0xF3RmRG43fZHWZ+Rnj140mu0E2ez5A+fE2Z9rJjAbJPXc2HOXBdoeR9SGCN3dpH/95oIQdViUrkWizLSfxQQp2AkVBC5kQNACAiMcgat8YTD0an6ZIHBajUXCpmZT0mLAhTDv1aHRSkO335MRsoR4TmAa+Bn10lMrZe8yPG2h/ISFgN9yoj0iYWZZX8WXQhiS0a6ifxRv0ZfsfRez708JVZDeUJ7KXmXlBGUcfM1lME1a4qjsrMdEcl6OOZwOya7m+XLjsPbBxL/F9bauyErosjZoiP2R4d1Uik0rTdSzl/MLycKXfqTnNLi6S9gGIoSApD5nVIx5eJmLT512fyIiBgcpZkw8gkRuNs0kms5aeWtGs9Lz+KRH0LQpJvc1EdKSwntJdHFetMjpSUrOmMcch8ARGS+xqtx4R3gyxhLdOXVL641EGvI2qeP9IyVZ/InNMyMj23HSLE4ZNlkeXTNQJyEDu/MslTigdZFD3VzrDXgyNhhwKsxjV+z+P3h/4imrxIQu1i5VlWa3U/QPF9aiq9tHt4vnF1gPyOwqsQgrkpHsHzXpbZ3AhDb+nCLXOHXJ/aMMObAGjehxcxY07U/BufHWKKOpc8Kpav4n2unm4MSubY0J6bY7mxBVWUTJuRWCZ2p9c1r4rDvkHPPvHRvyAEjUP8cb83tWlF4OI44wUelxRIM28dzJ4I4vLM2pgQ+ZHsX3VA== X-Microsoft-Exchange-Diagnostics: 1;MWHPR11MB1741;31:RwWHt542ZfsXGd7w/fI3zW9enOqHbfd3WwFF8pGEenutzfs60r/cEDeqkrSxIndtEcKkgzR6qI1sjnLzTSZhP9y4HEhRWepezQFK+Sz2oOuhqi7fpfALjS0GQKiERA3DxfcbgBZK3/hrB5C+JrdSkeUuil85jZfJB5g2x1oHfNiDQuCd2TLr778fQF6LrLTt21nGozfcteafKJ5c1a4OdJpJAZg1wWft9BTqQ0HRnu8/KJM/prWakQg5a63uxQK0;20:ZUvU9FoRq903P2jwNvkXf+mhr1dp6eGaYjW0tYWn0JbHOR5XyvadRIQd0N8vCVlZZaKWpD/GDrpCNf5vXr5fIYA3DhWSVVLd/krljmE4qRPOpIkr8qMP46PwEEawqYptxWedGdaHXni7QSEQmPEGykMuV+/MrcxgKATJrX8LyAsLRBUPQSUgkQ7m1SSU2z/NILbRMTMaDLXQTEa/zLnkES+B9jFdNKvMCjrjXUpBIxyck2+P0wkAOIQKgFYxoV0qi6OJrJUWRfDwl2Sryw+matEiJ67Gx/DLWPFqwJY+4kUXUG6yquWp37KTmg/HZntOhQeuNkqnmOJhy2b4stwz/0WHYWDmoTOWsNNNEUUP7keVMjgxP4lIlbvmZURAU5BJTwDhNhuTpuhf+EBOdQYGZSb6k89f8j4k0Q03bYPuLHILg5pGp86cO9MGX+5nc3SyJWCaV0Z/4t8JDZ4IicXV49vKuXq8MlPIxMhb4bl0DX9PyEmGSXmfBmezTI537eTD X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(192374486261705)(171883013301213); X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040176)(601004)(2401047)(5005006)(8121501046)(10201501046)(3002001);SRVR:MWHPR11MB1741;BCL:0;PCL:0;RULEID:;SRVR:MWHPR11MB1741; X-Microsoft-Exchange-Diagnostics: 1;MWHPR11MB1741;4:AbRkgZjbyuD0N+GVOqmBPbZXcTvNj5GVXu+1YS18F5IaahM1Q+ADePJFHNeZZvYSf3wFXJLc+aMOk4egPsPsy1uppMo+vHAZLUBn45NDOtw34Zry2igZgzgCuFG8j79+rzEU8IDcxB3aPWafd/5p/rnMVQR36UO9U5Zw+KnedJrMwG+RhXmFE+EWouMgAW8mwqvg7ZyBSUlANiCtV+pcv0og1MI12yBGOQoxrcI6YfnTIRVLh5liYQgJgl/vht8sElxObiXt1cRHDmfXeUwevo5YGqWLZ+URfzyCc231YJN8/p2Qcm1XZ9I0qcu7wZSS9+Zfou3p+/Ag0BoLvZ6iOuTlJkZ8p+0FskGYQDj8Ki+Pc0+gxptUyquB4UWqwyEVxSLTSbr3h3XI5x3+lLHC4CXY8sQYTqePrThFo9nhS6jmal16DDPBLXoATt11W6SD7uVPeEzNJGi86m6VmxuW2MsIzlgPeQy80xJr1YkErSU= X-Forefront-PRVS: 0119DC3B5E X-Forefront-Antispam-Report: SFV:NSPM;SFS:(10019020)(4630300001)(6009001)(7916002)(189002)(199003)(586003)(52956003)(83506001)(106356001)(6116002)(305945005)(47776003)(90966002)(2171001)(97736004)(4001350100001)(107886002)(48376002)(7736002)(5001770100001)(189998001)(7846002)(66066001)(15975445007)(86362001)(50466002)(92566002)(46386002)(68736007)(122856001)(36756003)(45336002)(8676002)(5003940100001)(5660300001)(19580395003)(81166006)(105586002)(81156014)(229853001)(3846002)(50986999)(42186005)(2906002)(33646002)(74482002)(101416001)(54356999);DIR:OUT;SFP:1102;SCL:1;SRVR:MWHPR11MB1741;H:speedy;FPR:;SPF:None;PTR:InfoNoRecords;MX:1;A:1;LANG:en; Received-SPF: None (protection.outlook.com: uwo.ca does not designate permitted sender hosts) X-Microsoft-Exchange-Diagnostics: =?us-ascii?Q?1;MWHPR11MB1741;23:MjE/g3VcMALa0GgOdwpPYKPQZp3/etYNwFiCLIV+r?= =?us-ascii?Q?7g4oRJwhAqe4+W5yf8QDh6UAEsKVF8pXSh/n0Ajqg1eouSLdFz3m1ZE0+YXk?= =?us-ascii?Q?sP0IalpyCXirHkcI6h4i5BBQEcoN4UYI3Ocr6M0qyJOrTOfnWXzMKMaNMjXU?= =?us-ascii?Q?zuTvuV7097dlgmm4mMSXZRwqTLdn+I8UabBjmrbwYrjzrPYM9iYC1ALSUWgy?= =?us-ascii?Q?eJ86FPzH0aWqrTsT7e6LKmHFlbkVjDOJjYqQAlbxwCiS0xLLwhG1NRXliSDu?= =?us-ascii?Q?adknsERSpiBewtzDO1obuaknhGftzkyLJMkq40MSCT6SIQfr7GZx2MsXCw0d?= =?us-ascii?Q?hh6z8Ni4Q73fGe4NG58kfZeCOeDmlqJryuoVmR+75Ie9dSiAZt178gYGUVej?= =?us-ascii?Q?fTceaOyc5WouLtfhU872TWw4EHwwP2HRk8nwPycHpvvocP/BFJ37P0PohMDr?= =?us-ascii?Q?N2Kuf4YW0HrMMPspBjWGm8PB170/QXhzn6XIvzTsKRUC7GgkeD31k/czp65F?= =?us-ascii?Q?KAr0jE7cnqUbXdOF0gT5rl1SDD3kR4PXloKnwmGK9xLfT6I6zC3qPIdHChrn?= =?us-ascii?Q?mRh0M8/Z8mwsLXBVsAT+ijWrVgISFOY5bDvQUVIphF15BDXcNBZd53yzn82g?= =?us-ascii?Q?xYAlkUUUPPdciZFG4OWYWfR+gcXd/FyYmnBUQiFjpsED3KnaCB1OZqbj65YE?= =?us-ascii?Q?A6H8T3wrbLJFWWHdzO01nSrS31cYgdGjOXjRtgzfCgojdoZWgOM6IQBTbIH3?= =?us-ascii?Q?NLrYgXyeX7fDh8/db1CDwrC2N/xTeBJAAqcwaGtbDdpqU5v/ejXk2Y8es627?= =?us-ascii?Q?VWPe6dzlXNsIl4zOvXZpTALyUvMUc6GEHOijhtCG1L1hrAxrIoIXbxSwICBW?= =?us-ascii?Q?QfD1KRyvMZ84P4C0iH0KYpPtY3Dmm+ldn/BqoDCkdOiXtIJQxYTpbjiAMLZp?= =?us-ascii?Q?zh96O9/tK3u0mJvfFzyuKdAPIaTGLD6jjtOIkio5P2m0IS9bPCcjfVUziMTl?= =?us-ascii?Q?0y3sNGudno4O8gScWfrfhVbVgDR/uNRxzySqnOF+44k7QslvVwipuGFJiUA8?= =?us-ascii?Q?b8hPzZAId/ykGN6JLBZB5zRtclbn8nG2gGkGDZ/jHCa2EYaMm9MB2lq0RR+p?= =?us-ascii?Q?3B6z334TS5NwBd63ynayUwmSyRFVjDwXWD/TrBEVb149Z23zqQ1YXFsPYXhA?= =?us-ascii?Q?4r0jMHAlLed9ZYq/Eoqh1FFKzv9RL2mHVqot9h6iM2uIRCInu9v+oZt7A=3D?= =?us-ascii?Q?=3D?= X-Microsoft-Exchange-Diagnostics: 1;MWHPR11MB1741;6:fGxTCFY+z5ikBjW59nMTf3LGEGLvS7lX4Smad0HHnbIADEW36TK3zX2WZjpks65cE63tT0YAQ2Z+VrqsZb0xKTJ5qR5gTog3E2q0ifWfCSnaMY65KXxz/2vNkLbPz7mJY7VI8vyhwj1VwtGw7Vj0Pjc0je3s5cHCYDWMgq4SWRZdf/bSewGL6n5fiQ9s5FIYrRZdB9aXYCmefmQHXiQTcq55mru/F/8J/A0O6QOTF0w+eXe1gk5nRnIOJI5OwTZYoVflj5DRiuNLf7eBXyMT2IsExtKq5ZUrw+61udsFkJfQ7iiSx1NdAKfMELSFjLZI;5:olQHboffO/v2r8k+e4idToy/zs6seV+DwdDiEApw9SXFX+OYBDy05007AjRAz8JA99moRgBmR+NkqAiANAWa3UC77W3uNIkwu92sijeD25+c6jTboAaU48nZt39awPyyutiovdOmff3Gj3v9LCOjNw==;24:k/ueNc05ibRxZOVlitcyo50k2kIfaNXO9pj4WQjwezaq6idiqzGmUHjmt0NMUgXu4utICBRf5jU+8gyKDZcJwidA3kkjE0ZUhReUG9/2h+8= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;MWHPR11MB1741;7:NSG5Xhx0V1P1bUGXu1w1+59s/i0XAlD3QoHZq24P4Wi+tmzDNX+8DO2WjEdP5PawCDvJHWQcPg59Iw/5IemDvV77GXJpMOWBDMFu+wfHdmCCG3lDYJZB9dVfnhuqC1jFde8Bx+Ycga1raLQR3AiOJH57F+O5l+YNN8IvSkD3wwtuAOw3zu7ZFpa+gb3Mn5QTowbzFQpZ6N8r2LCjh81RyqZxOqvVBcAg0X1fuvdQfq0jABVeOdXT2EhLNqQwYRlczrf5x4o+nnYqdTCELFvthPSIzvLFwmzGEt79r43/NBzaKx2Va1MRPiSC2GulrxThXso5UEikfe9p+/gUmNGturw/QHx+uHqofJ/0f6B04+U= X-OriginatorOrg: uwo.ca X-MS-Exchange-CrossTenant-OriginalArrivalTime: 07 Nov 2016 17:21:20.7759 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-Transport-CrossTenantHeadersStamped: MWHPR11MB1741 [Please forward as appropriate.] The Department of Mathematics at The University of Western Ontario is advertising tenure-track and postdoctoral positions. The tenure-track position is in the Mathematics of Information Security, broadly construed, and the advertisement explicitly mentions type theory and formal verification as potential areas. The deadline is January 1, 2017. More information is available at: https://www.mathjobs.org/jobs?joblist-167-9126 http://www.math.uwo.ca/files/1814/7688/3991/advertisement_ft_tenure_on_letterhead.pdf We also have postdoctoral positions available, in all areas represented within the department. The deadline is January 3, 2017. More information is available at: https://www.mathjobs.org/jobs?joblist-167-9524 http://www.math.uwo.ca/files/3414/7688/4007/Postdoc_Ad_2016-2017_on_Letterhead.pdf Applicants in homotopy type theory, univalent foundations, higher category theory, homotopy theory and other areas represented in the department would be particularly welcome. Our department is very active, with a strong graduate program, a very active postdoctoral program, and a busy seminar schedule with many visitors. More information about the department is available at http://www.math.uwo.ca/ Feel free to direct any questions to either Rick Jardine or myself. Dan