From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9976 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Benedikt Ahrens Newsgroups: gmane.science.mathematics.categories Subject: 2-year postdoc position on type theory in Birmingham (UK) Date: Tue, 6 Aug 2019 11:45:05 -0400 Message-ID: Reply-To: Benedikt Ahrens Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="128990"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@mlist.mta.ca Wed Aug 07 22:34:49 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hvSe0-000XJ9-Ou for gsmc-categories@m.gmane.org; Wed, 07 Aug 2019 22:34:48 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:37953) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hvSdN-0002WT-TW; Wed, 07 Aug 2019 17:34:10 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hvScf-0004ix-Fw for categories-list@mlist.mta.ca; Wed, 07 Aug 2019 17:33:25 -0300 Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9976 Archived-At: Dear all, I would like to invite applications for a 2-year postdoctoral position at the University of Birmingham, School of Computer Science. The postdoctoral researcher will work with Paige Randall North (Ohio State University) and me on a topic in the area of (homotopy) type theory; details can be discussed. The position is funded by the EPSRC grant "A theory of type theories", PI Benedikt Ahrens. The starting date of the position is somewhat flexible; it should be between late 2019 and mid 2020. How to apply ============ There is no official job opening yet. Interested people are encouraged to contact me by email (b.ahrens@cs.bham.ac.uk) in the first instance to discuss their research interests and details of the position. About Birmingham ================ The School of Computer Science has a large and thriving Theoretical Computer Science research group, with a particular focus on category theory and its applications to the logical foundations of computer science. Among our research interests are: - category theory and higher category theory; - type theory; - homotopy type theory and univalent foundations; - formal proof; - lambda-calculus and computational effects; - topology and domain theory; - constructive mathematics; - quantum computing; - semantics; - program compilation. Our group currently has 12 permanent staff and more than a dozen PhD students. We have a weekly seminar, as well as more informal meetings and reading groups. Information on all of this can be found on our webpage: http://www.cs.bham.ac.uk/research/groupings/theory/ We are regularly hosting international events in theoretical computer science in general and type theory in particular; recently, this included CSL 2018, 6WFTop, School and Workshop on Univalent Mathematics, and Midlands Graduate School. Please also distribute this advertisement to others who might be interested. Best wishes, Benedikt [For admin and other information see: http://www.mta.ca/~cat-dist/ ]