From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10022 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Benedikt Ahrens Newsgroups: gmane.science.mathematics.categories Subject: PhD position at University of Birmingham, UK Date: Sun, 13 Oct 2019 12:55:16 +0100 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="134644"; mail-complaints-to="usenet@blaine.gmane.org" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Sun Oct 13 15:27:22 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 1iJdu4-000YuA-NQ for gsmc-categories@m.gmane.org; Sun, 13 Oct 2019 15:27:20 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:60134) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1iJdtj-0003V7-33; Sun, 13 Oct 2019 10:26:59 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1iJdtY-00036B-UM for categories-list@rr.mta.ca; Sun, 13 Oct 2019 10:26:48 -0300 Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:10022 Archived-At: Dear All, I would like to invite applications for a fully-funded PhD position in the School of Computer Science at the University of Birmingham, UK. The PhD student will work me on topics related to categorical semantics of programming languages and computer theorem proving. Students broadly interested in these fields of research are strongly encouraged to apply. Topics of particular interest are: * Syntax and semantics of type theory * Formalisation of mathematics in univalent foundations * Directed type theory * Algebraic specification of programming languages Applicants should hold, or be about to obtain, a Masters or Bachelor degree in Computer Science or Mathematics. The PhD position is fully funded, covering tuition fees and a tax-free scholarship. Healthcare is provided for free. Please, do not hesitate to contact me by email for further details: b.ahrens@cs.bham.ac.uk In addition, feel free to browse my webpage for more information on my research interests: https://benediktahrens.net The theory group at Birmingham's School of Computer Science is very active, organising regular seminars and informal meetings. Many relevant international events frequently take place in Birmingham such as YaMCATS category theory seminar, Midlands Graduate School, and Workshops on Univalent Mathematics. For more information see http://www.cs.bham.ac.uk/research/groupings/theory/. Information on how to apply is given on http://www.cs.bham.ac.uk/admissions/postgraduate-research/. However, interested candidates are strongly encouraged to contact me in the first instance. Benedikt Ahrens [For admin and other information see: http://www.mta.ca/~cat-dist/ ]