From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10219 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: "A.Das@bham.ac.uk" Newsgroups: gmane.science.mathematics.categories Subject: Postdoc in Proof Theory - University of Birmingham, UK. Date: Tue, 26 May 2020 11:43:01 +0000 Message-ID: Reply-To: "A.Das@bham.ac.uk" Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="32337"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Thu May 28 15:41:10 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jeImT-0008KU-H9 for gsmc-categories@m.gmane-mx.org; Thu, 28 May 2020 15:41:09 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:54754) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jeIkI-0005Q7-TB; Thu, 28 May 2020 10:38:54 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jeIhb-0008Uf-Au for categories-list@rr.mta.ca; Thu, 28 May 2020 10:36:07 -0300 Accept-Language: en-GB, en-US Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10219 Archived-At: Research Fellow in Proof Theory - School of Computer Science, University of= Birmingham, UK. The School of Computer Science at the University of Birmingham is seeking t= o appoint up to 2 Research Fellows (postdocs) in Proof Theory, for a durati= on of 2 years (with possibility of extension). The theory group at the Univ= ersity of Birmingham is one of the leading groups in logical foundations of= computer science, with expertise not only in Proof Theory but also related= areas such as Type Theory, Category Theory and Mathematical Logic: =20 These positions are funded by a UKRI Future Leaders Fellowship "StrIP: Stru= cture vs Invariants in Proofs", led by Dr Anupam Das. The project aims to d= evelop the theory of 'cyclic proofs' and their connections to automata theo= ry. The principal responsibility of the fellow(s) will be to conduct resear= ch, both collaboratively with Dr Das and other researchers at Birmingham, a= nd independently. The fellow(s) will also be supported in career developmen= t and encouraged to pursue independent opportunities. Qualifications and expertise You will have (or be close to completing) a PhD in Logic (computer science,= mathematics or philosophy), or equivalent qualifications. You will have an= excellent research record, with expertise in some of the following areas: * Proof theory (in particular, deep inference or cyclic proofs). * Automata theory (in particular, infinite word and tree automata). * Mathematical logic (in particular, fragments of arithmetic or set theory)= . Application Informal inquiries prior to application are encouraged and should be direct= ed to Dr Anupam Das . You may find further details on the= positions and instructions for applying here: =20 Practical information Starting salary range: =A330,942 - =A340,322 (potentially progressing to = =A342,792). Application deadline: 24 June 2020. Starting date: As soon as possible, but ideally no later than October 2020. Duration: 2 years (with possibility of extension) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]