From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7570 Path: news.gmane.org!not-for-mail From: Alessio Guglielmi Newsgroups: gmane.science.mathematics.categories Subject: Post-doc in Bath on the semantics of a bureaucracy-free formalism Date: Wed, 9 Jan 2013 17:18:47 +0000 Message-ID: Reply-To: Alessio Guglielmi NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" ; format="flowed" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1357770694 30533 80.91.229.3 (9 Jan 2013 22:31:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 9 Jan 2013 22:31:34 +0000 (UTC) To: categories Original-X-From: majordomo@mlist.mta.ca Wed Jan 09 23:31:51 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.32]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Tt4BX-0004pj-ML for gsmc-categories@m.gmane.org; Wed, 09 Jan 2013 23:31:47 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:35878) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Tt44a-0005xA-FU; Wed, 09 Jan 2013 18:24:36 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Tt4B1-0003Bh-JB for categories-list@mlist.mta.ca; Wed, 09 Jan 2013 18:31:15 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7570 Archived-At: Hello, Please note that the closing date for this=20 post-doc, which might be interesting to types=20 people, is only two weeks from now. The link=20 provided should lead you to the application pages. Don't hesitate to get in touch with me for any=20 questions regarding this position. Ciao, -Alessio Research Officer - Computer Science (Fixed Term 3 Yrs) Salary: Starting from =A330,424, rising to =A336,298 Closing Date: Wednesday 23 January 2013 Interview Date: To be confirmed Reference: VH1457 The post is associated with the three-year EPSRC=20 project "Efficient and Natural Proof Systems".=20 The project is about developing an ambitious,=20 modern semantic-motivated proof theory for=20 representing natural proofs of minimal complexity. We are looking for a researcher who can work with=20 categorical models of proofs and who has an=20 interest in geometric proof representations such=20 as proof nets and atomic flows. The main focus of=20 this position will be in the semantic aspects of=20 the new proof theory, working mainly with Guy=20 McCusker, Alessio Guglielmi and Paola Bruscoli. The post will be available for up to 3=20 years, with effect from 1st February 2013. Web site of the project: This is our group: Paola Bruscoli Anupam Das Alessio Guglielmi Willem Heijltjes Jim Laird Guy McCusker John Power Cai Wingfield We are part of the Mathematical Foundations group=20 of the Computer Science Department of the=20 University of Bath. We study the mathematics of=20 logical reasoning, of programs, of processes and=20 of programming languages. In our research we use=20 and develop category theory, game theory, model=20 theory, proof theory, type theory and complexity=20 theory. Our department has an outstanding research=20 profile: in the most recent national Research=20 Assessment Exercise our research output was=20 ranked fourth out of 81 university submissions in=20 the UK. This year our university has been=20 recognised as third in the country in The Sunday=20 Times University Guide. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]