From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10428 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Martin Escardo Newsgroups: gmane.science.mathematics.categories Subject: Faculty positions at Birmingham, UK Date: Wed, 24 Mar 2021 15:03:48 +0000 Message-ID: Reply-To: Martin Escardo Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="23949"; mail-complaints-to="usenet@ciao.gmane.io" To: categories Original-X-From: majordomo@rr.mta.ca Wed Mar 24 22:14:51 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 1lPAq1-00061M-PN for gsmc-categories@m.gmane-mx.org; Wed, 24 Mar 2021 22:14:49 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:49658) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lPAo7-0007VS-Fi; Wed, 24 Mar 2021 18:12:51 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lPAma-00028Q-5Z for categories-list@rr.mta.ca; Wed, 24 Mar 2021 18:11:16 -0300 Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10428 Archived-At: We are hiring lecturers / senior lecturers (corresponding to assistant / associate professors https://en.wikipedia.org/wiki/Senior_lecturer) at the School of Computer Science, University of Birmingham, UK. The official advert is here: https://bham.taleo.net/careersection/external/jobdetail.ftl?job=210000DX&tz=GMT%2B00%3A00&tzname=Europe%2FLondon In particular, applicants with interests close to our Theory Group are very welcome: https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx The interests of this group include, among other things, higher category theory, homotopy type theory, constructive mathematics, string diagrams and graphical calculi, proof assistants, topology and domain theory, game semantics, quantum computation, programming languages, verification and model checking, algorithms and complexity. Feel free to approach me or other members of the theory group for further information Martin Escardo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]