From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.28.190.16 with SMTP id o16mr880384wmf.22.1511122638035; Sun, 19 Nov 2017 12:17:18 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.28.152.145 with SMTP id a139ls608838wme.3.canary-gmail; Sun, 19 Nov 2017 12:17:16 -0800 (PST) X-Received: by 10.223.170.141 with SMTP id h13mr970954wrc.19.1511122636873; Sun, 19 Nov 2017 12:17:16 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1511122636; cv=none; d=google.com; s=arc-20160816; b=jAbzsolOxONQa6AuruMqWAGZPW+c/WdfU0UdcKgTosX2Hzo9ewNhN9gG4kA1ZDCQyG m2HaHzAknFEofDlsACsO2t6N7rIcd64hatnwvhTqd2Y7kt9B+rOci7HFcn9Azy/KcOF5 LvVIfFTGNDTiNbNBlPr9RAv7wxyL7ILKDuHUUqSdLKlA7+ljBXmj+ECcwfWfoj5+K+R6 w44U+psTHZz7cFSiN9xSpeSFiN3MGj3p/8jDm83QhLsL6xPmyedoXxmd6f+PgTWzgvN+ VvU6oEnYAP6a68TncqhexCs40ynBW6C1rIWcUy60uraY2iOctfOVPib8sUzaH1ZN81LX UF4g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:content-language:mime-version:user-agent :date:message-id:subject:from:to:dkim-signature :arc-authentication-results; bh=bhplwv8omqvqKVskwzmxvA2fv6Tyi4Sb8OGCwk99G/c=; b=xbirhNlJILpuoGVn0twb5xKXe5nUfx4/5RjEjcP+RhG7uS92NheHOTjSoAD3UVl3c7 TQGULzs+as3nzOUNu+45CCc5LDsKYI3cZRJSOxZNP0GyD7ua+Y9KD9KqmNEpAxeGvQDC m/aiHsoiFzuEMs5UIgZBtY1Ir+RVuIZA6g9RGlPYo753dK1Y5Qto/U48aHSqGB/tkCi5 ajQUlwuqD9J1/pRUOGq81PfApgKeDhfDVsx/uzGDHbH3/SOacfU1RDgvD0/a4KExpcAE H/p7h4QPH6dSZB5A8fhXAGaPv1Xwx2iUx9xITvHDdztgmd82D3EOGyg53NsXqmTAKeTt OrjQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=t/4zMbRv; spf=pass (google.com: domain of benedik...@gmail.com designates 2a00:1450:400c:c0c::234 as permitted sender) smtp.mailfrom=benedik...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-wr0-x234.google.com (mail-wr0-x234.google.com. [2a00:1450:400c:c0c::234]) by gmr-mx.google.com with ESMTPS id j13si315014wmh.1.2017.11.19.12.17.16 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 19 Nov 2017 12:17:16 -0800 (PST) Received-SPF: pass (google.com: domain of benedik...@gmail.com designates 2a00:1450:400c:c0c::234 as permitted sender) client-ip=2a00:1450:400c:c0c::234; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=t/4zMbRv; spf=pass (google.com: domain of benedik...@gmail.com designates 2a00:1450:400c:c0c::234 as permitted sender) smtp.mailfrom=benedik...@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Received: by mail-wr0-x234.google.com with SMTP id a63so6295152wrc.12 for ; Sun, 19 Nov 2017 12:17:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-language:content-transfer-encoding; bh=bhplwv8omqvqKVskwzmxvA2fv6Tyi4Sb8OGCwk99G/c=; b=t/4zMbRvhdK3iJBtixvLgPca0CzvYXoJurZqtuIQKYxLzz1PU3GikhfWF2jrBJqDel i5d1enQLsOuZMdyRKpbhIJpjpKt3f2mWgMsvZ35pqUE6KvOh32OBVhjzk0qQOX5EweHN d2HgvRO8Ogqw1ApQfU2MpPo2D6TJGj4XqCu96w1ccDRk6DF8zUtMFfSYLKn8WHIVam3E f6wa2/B77iT7W87QXL/zCAICxyDAJh/lfwrv5kmOErOeFopl1QvI6E5lew0PaE55womn XugR8StGtfXu/dDtM5jnG9QoU5y/yHjgRAUvgWMmgle8YBPNBIKJo6R6V7t8ovFizQ3T WKYA== X-Gm-Message-State: AJaThX4+7EAtkaKCib21IKocw3rureLxlKlBYkEky/GQPzC2OWEkd/DN qq+btHO2e0JQxZKELS+TP0yO8ASy X-Received: by 10.223.130.47 with SMTP id 44mr8902712wrb.59.1511122636187; Sun, 19 Nov 2017 12:17:16 -0800 (PST) Return-Path: Received: from [192.168.1.81] (host86-174-90-157.range86-174.btcentralplus.com. [86.174.90.157]) by smtp.gmail.com with ESMTPSA id f10sm8570158wrg.20.2017.11.19.12.17.15 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 19 Nov 2017 12:17:15 -0800 (PST) To: Homotopy Type Theory From: Benedikt Ahrens Subject: PhD positions available in Birmingham, UK Message-ID: Date: Sun, 19 Nov 2017 20:17:14 +0000 User-Agent: Mozilla/5.0 (X11; Linux i686; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Dear all, We invite applications for PhD study at the University of Birmingham. We are a group of theoretical computer scientists and mathematicians who explore fundamental concepts in computation and programming language semantics. Among our research interests are category theory, lambda-calculus and computational effects, topology, constructive mathematics, game semantics, and program compilation. Our group currently has 11 permanent staff and 11 PhD students. We have a weekly seminar, as well as more informal meetings and reading groups. Information on all of this can be found on our webpage: http://www.cs.bham.ac.uk/research/groupings/theory/ Information about PhD applications may be found here: http://www.cs.bham.ac.uk/admissions/postgraduate-research/ If you are considering applying, please contact any of us. We will be very happy to discuss the opportunities available. Best regards, The Birmingham CS theory group -- Benedikt Ahrens semantics of type theory, computer theorem proving, categorical structures in programming Martín Escardó topology, computation with infinite objects, constructive mathematics, intuitionistic type theory Dan Ghica game semantics, heterogeneous computing, model checking Achim Jung mathematical structures in the foundations of computing: logic, topology, order Paul Blain Levy denotational semantics, computational effects and call-by-push-value, nondeterminism, category theory, coalgebra, game semantics Dave Parker formal verification, probabilistic model checking Uday Reddy semantics of state, separation logic Eike Ritter security protocol verification Hayo Thielecke abstract machines, concurrent and functional programming, software security Steve Vickers constructive mathematics and topology, category theory and toposes Noam Zeilberger categorical semantics of type systems and λ-calculus, substructural logic and proof theory, interactions with combinatorics