From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10375 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Michael Shulman Newsgroups: gmane.science.mathematics.categories Subject: Postdoctoral position in homotopy type theory at USD Date: Wed, 27 Jan 2021 08:42:16 -0800 Message-ID: Reply-To: Michael Shulman Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="14540"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Wed Jan 27 20:24:08 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1l4qQB-0003Zl-3B for gsmc-categories@m.gmane-mx.org; Wed, 27 Jan 2021 20:24:07 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:41362) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1l4qOs-0002KE-G9; Wed, 27 Jan 2021 15:22:46 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1l4qLT-0005Ze-Uu for categories-list@rr.mta.ca; Wed, 27 Jan 2021 15:19:15 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10375 Archived-At: [My apologies that this is going out a bit late; somehow the email didn't get sent earlier.] The University of San Diego invites applications for a postdoctoral research fellowship in homotopy type theory (broadly defined), funded by the AFOSR MURI grant. The priority application deadline is THIS Monday, February 1, 2021. More information and the application link are available at: https://homotopytypetheory.org/2021/01/20/usd-postdoc/ https://jobs.sandiego.edu/cw/en-us/job/494290/postdoctoral-fellow In addition to candidates already working in homotopy type theory, applications are also encouraged from candidates whose background is in a related area but are interested in starting to work on HoTT. Please forward to anyone you think may be interested, and feel free to contact me with any questions! -- Mike Shulman Associate Professor of Mathematics University of San Diego [For admin and other information see: http://www.mta.ca/~cat-dist/ ]