From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.46.82.157 with SMTP id n29mr637786lje.29.1488559324737; Fri, 03 Mar 2017 08:42:04 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.46.71.207 with SMTP id u198ls1066436lja.18.gmail; Fri, 03 Mar 2017 08:42:03 -0800 (PST) X-Received: by 10.46.77.69 with SMTP id a66mr639108ljb.11.1488559323545; Fri, 03 Mar 2017 08:42:03 -0800 (PST) Return-Path: Received: from sun60.bham.ac.uk (sun60.bham.ac.uk. [147.188.128.137]) by gmr-mx.google.com with ESMTPS id v201si207313wmv.3.2017.03.03.08.42.03 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 03 Mar 2017 08:42:03 -0800 (PST) Received-SPF: softfail (google.com: domain of transitioning escardo...@googlemail.com does not designate 147.188.128.137 as permitted sender) client-ip=147.188.128.137; Authentication-Results: gmr-mx.google.com; spf=softfail (google.com: domain of transitioning escardo...@googlemail.com does not designate 147.188.128.137 as permitted sender) smtp.mailfrom=escardo...@googlemail.com; dmarc=fail (p=QUARANTINE sp=QUARANTINE dis=QUARANTINE) header.from=googlemail.com Received: from [147.188.128.127] (helo=bham.ac.uk) by sun60.bham.ac.uk with esmtp (Exim 4.84) (envelope-from ) id 1cjqHL-0002op-Mi; Fri, 03 Mar 2017 16:42:03 +0000 Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk (envelope-from ) with esmtp (Exim 4.84) id 1cjqHL-0008JC-Cv using interface smart1.bham.ac.uk; Fri, 03 Mar 2017 16:42:03 +0000 Received: from dynamic200-118.cs.bham.ac.uk ([147.188.200.118]) by mx1.cs.bham.ac.uk with esmtp (Exim 4.51) id 1cjqHK-000643-T8; Fri, 03 Mar 2017 16:42:02 +0000 To: "HomotopyT...@googlegroups.com" , Types list From: Martin Escardo Subject: Birmingham Fellows: prestige posts available Message-ID: Date: Fri, 3 Mar 2017 16:46:38 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-BHAM-SendViaRouter: yes Permanent appointments with 5 years protected time for high-quality research Closing date: 31 March 2017 ------ Birmingham University has made a call for applications to its "Birmingham Fellowship" posts, 40 in all across the University: http://www.birmingham.ac.uk/staff/excellence/fellows/index.aspx Despite the name these are permanent appointments, but with the first 5 years being protected time for high-quality research. I'm sending this message on behalf of the Theory Group in the School of Computer Science, to encourage applicants. The Theory group specializes in bringing together diverse areas of mathematics (such as logic, type theory, category theory, topology), generally for applications to computer science (such as programming languages and their semantics), but also for the intrinsic interest of the mathematical interactions. If you don't already know of our work, you can see more on our group page http://www.cs.bham.ac.uk/research/groupings/theory/index.php and on our individual pages linked from there. You are welcome to make informal approaches to any of us. Dr Noam Zeilberger , who was appointed as a Birmingham Fellow in 2016 after research positions at INRIA in Paris, can give you insights into how the scheme works in practice.