From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,LOTS_OF_MONEY,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ed1-x53d.google.com (mail-ed1-x53d.google.com [IPv6:2a00:1450:4864:20::53d]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 62aeb940 for ; Sat, 17 Nov 2018 13:04:38 +0000 (UTC) Received: by mail-ed1-x53d.google.com with SMTP id d17-v6sf13112577edv.4 for ; Sat, 17 Nov 2018 05:04:38 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1542459876; cv=pass; d=google.com; s=arc-20160816; b=PGonzqtMit30Wlugf6GkqTGdlI5uPQaLgfz0RE+VZbMwg0pfzWpM9oViwNy2TvSpSG Ibq8jrfWVdb/Uekn9Zox3ogG0wUX+GamTgfXt8ob7r47jgWxD9t9WZNWgX2bTzimTR8r d9Q6+Mhb84GnoQNoOH8I+ggBDzLEQhYFHKZE9KX2TMcHlKoqObGyuJ3YH/A7mnqlyaDt 5Rv0JxsLt8wKmRF7NuhDSmECE9qJZk4SkwBN/4DN9FUqx4FfSQFdC+vVg5g/GJZNrvZg WJKr/avaDlXQSWBq5AUXDbH5NQStEC1IYBNvuNj7vUy01SEHy3ND0mL7dwUqqVcJHD2r pvsA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:content-transfer-encoding:content-language :mime-version:user-agent:date:message-id:subject:from:to:sender :dkim-signature:dkim-signature; bh=dMHu4d21OQzRX2y855tuVDNYGOwIlKrEoFIbRakRjLY=; b=lGJkDQirOU3buzR7+1jamJ2dWJBEmmoFHtA/EA+nJg9rlbgd4V3u7ZJzQDQ1xZJQQf dFC9hrKlxVh+CHMeg5QpDvWo8Pbu825uRxNsAhj/ftbfXXB9m0cHLEDU7UeF1h02rkHx hrCzzNCJalaRgR8oyeNCXcl6rOFZROE8G3Id0TLyN+cOwIuWKK0FlUzSXP/r0sfeeDXE vxbjirMApqWOGuMVnlAPlAftbKANXAIqmzmSF2Uhij90uyh6ozhW6XE+K0bvinzLrK4e Q9ys1fgtcJLPHzLU2QSgATO7EafkXPWtSMyzE78h/RFnbVM8e3PdonAcFIHMx/AlpgUZ ZV0Q== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=GwnuKXfo; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42e as permitted sender) smtp.mailfrom=benedikt.ahrens@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:to:from:subject:message-id:date:user-agent:mime-version :content-language:content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=dMHu4d21OQzRX2y855tuVDNYGOwIlKrEoFIbRakRjLY=; b=SX9cYiPR/FOLMS/RK8Q2je50tIfeNgMhsOFrAjmSw5f5KKRU+SVIiTxgMLSaJByYRO f0hH4PqGbRyXHE2CROiBr/cjdG7KJBXP4zZB9+DRI3owvZDWRZFoHdw5slpvhpYfo6M+ PC7vvBSei8nv6pmKbSoI2wKuwXZtAmU08Wt4vy5eMsq/7FLqwXRz7Z+0rFNKrcY5n2de fH5NzS2FnO6zFTJ8/XWPxWJ8HR6bi2FCH4GD0vhimMMzAN0SBDwzz9Z7ZpCUxYEX3B4H INxcxd0MF97nx073CKcKKtIcOx/XugpR2Xh1Lqu1R56k32vTaIaVX9yOxNbyFZo10D6g TgFw== 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:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=dMHu4d21OQzRX2y855tuVDNYGOwIlKrEoFIbRakRjLY=; b=onjGCoGcpR+i+1HvNnB+ya8YQCeFnbP9NvfQaMGa1tOL+6wAq68BXHQEo//OYlDXdH d8PEBQnkoDgVqVN4BgmYkWphzf+uELz5gpyan4MeTvi8eZw2VP7lMOEL1uxbddNPhlj7 CztvsaqqiXVd37B3M6NHq07qQD+aqTY9dVJkXf0f23rJrC0kNO1UmOkhkcvgnHQURxey 9mCX1jK/UIGhtnyNHIiGHN8x9B/KXFKjlBElp6U9D45fSF+6LLF+HBa2brj4z7MUKLGn 2dEf6rUa8svGpa/8lhMtx5iN8bdv6ONVULlQcj1yE2rl5CBNplLO357HCDbn/S+/IYWV 5KtQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:to:from:subject:message-id:date :user-agent:mime-version:content-language:content-transfer-encoding :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=dMHu4d21OQzRX2y855tuVDNYGOwIlKrEoFIbRakRjLY=; b=DsFXBiSCMqBoM3dzcan2ZX8YCKH+4P2hBUkk799YCvqwqwctySRx/PxNHOn6ncB1bq jdO00U+CnpUsTSo4ObWj0Xfk1Oc4I7lZQj/SSyNcMTwFB8OOqCTtEq8inZ+SU1CsBBYs 5/hpi6uz093itGwvZ/TDzCvWaO3LFKrtr404TyWzpC+AIamBbM3HaNyQUixQbuY5i0tx i8FT6dDUaoNoLm0tUZYNF2svNX51YR7FEmYcfXD00A5M51D/s9iuizdIZgS/bpLxu7Py mkKEYR4f/47P3JOX53Y4mQ53E4Gbr6CrjcIFFTA5Esmg36/Zj8JHy2QdPQyhPqUjDy8T 82gQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AGRZ1gKbc0A5hpJ5jlKLC8UwSeduYETe33m31k+XChHSgCIk+uPefsJ6 LJtjnCFd6u1gtyT8i/9VKUg= X-Google-Smtp-Source: AJdET5dvYa18Qq/ANzdonbxXo06Ef9pJiaJnN2iJhexYV8n7/F2Vj8xHIdUBEWFqElhG6MVfZjz7iA== X-Received: by 2002:a17:906:e2d5:: with SMTP id gr21-v6mr24240ejb.0.1542459876707; Sat, 17 Nov 2018 05:04:36 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:906:46ce:: with SMTP id k14-v6ls608474ejs.5.gmail; Sat, 17 Nov 2018 05:04:36 -0800 (PST) X-Received: by 2002:a17:906:6006:: with SMTP id o6-v6mr1283400ejj.4.1542459876104; Sat, 17 Nov 2018 05:04:36 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1542459876; cv=none; d=google.com; s=arc-20160816; b=AnyDgRI0mrvlpVjm1w5pBnpzUhkxZu5TxV8zguDZm/oRazso2aB9Uv1SZoC9I4Ccgj veZiwKxJLHo1H5ItHsjCYBuF55kLqhfQL6gpZHeK8zygBY5w+ZlzMRIFPQVyjQu7tOdk 8phEa3obljxwiMsDmf4DkrCK+uQH0FiV6RpjlFE35ncND/Ouz02XVkglZATqdidrKObe MkpvjjBrthFqqFQiap/pYKj6ihLez4ksb1jYLGuDyxcmFq6I3lKqVxFdb9nZYyXqvevu bjzoe2A3a5fouHYWtK4+wzxp9HuesfgemtNabjOcJ41E63Bo/+fR0eHIPi8QyFUue1NP I1DA== 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; bh=HNBg9M2xNRkMKcLbEa73AmVnEJxsDN6TRveFrRlb+WE=; b=jYiDlHyXA8bRZYsk6nYjkAZlkH2LL9E7TU+eS7q+uabCTUgL6/Gz+q5336nrjYhfIe 91oE9qovX4+mYSBjACmyDSSgRN4opn04Hw0SCwX9U8R2gP5XB/Waj0DMbl5ofOFPqMCx HujaCE6gV3+CTNbghbbtoEBEy/wwR3U+voqSsAgFBCxQApItHFRSqQd/JzdNVCUPEcRQ mXkzjZlFu4LN7FAPe2a1jWFGZIYjf+55QgQlLalXuaWmZD/4QvhzfYmbvGg73ozWd6aP oYPGt1qyL+9dHTyXobU7EwqvyQ+hYivaUiOIQ6yoyX7wofWQPePSQxjCtU6Yu34IL1b0 J2yQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=GwnuKXfo; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42e as permitted sender) smtp.mailfrom=benedikt.ahrens@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wr1-x42e.google.com (mail-wr1-x42e.google.com. [2a00:1450:4864:20::42e]) by gmr-mx.google.com with ESMTPS id m25-v6si785942ejb.1.2018.11.17.05.04.36 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 17 Nov 2018 05:04:36 -0800 (PST) Received-SPF: pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42e as permitted sender) client-ip=2a00:1450:4864:20::42e; Received: by mail-wr1-x42e.google.com with SMTP id r10so9985766wrs.10 for ; Sat, 17 Nov 2018 05:04:36 -0800 (PST) X-Received: by 2002:a5d:53ca:: with SMTP id a10mr8562231wrw.159.1542459874571; Sat, 17 Nov 2018 05:04:34 -0800 (PST) Received: from [192.168.1.204] ([31.220.226.147]) by smtp.gmail.com with ESMTPSA id e16sm8184316wrn.72.2018.11.17.05.04.33 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 17 Nov 2018 05:04:33 -0800 (PST) To: homotopytypetheory From: Benedikt Ahrens Subject: [HoTT] 2019 Doctoral Fellowships in Computer Science at the University of Birmingham, Applications Now Open Message-ID: <2fdc0f92-3c03-ff35-5d2c-2dfc04774cb4@gmail.com> Date: Sat, 17 Nov 2018 13:04:33 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.0 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Language: en-US Content-Transfer-Encoding: quoted-printable X-Original-Sender: benedikt.ahrens@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=GwnuKXfo; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42e as permitted sender) smtp.mailfrom=benedikt.ahrens@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 2019 DOCTORAL FELLOWSHIPS IN COMPUTER SCIENCE UNIVERSITY OF BIRMINGHAM, UK =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D We are happy to announce that applications are now open for the Doctoral=20 Fellowship programme in Computer Science at the University of=20 Birmingham, UK, for start in October 2019. These Fellowships fund a=20 4-year full-time programme of PhD study, and provide a elevated stipend=20 of =C2=A318,150 per year (tax-free, healthcare provided for free). Successf= ul=20 applicants will be expected to contribute to the research and teaching=20 life of the School of Computer Science, with a maximum teaching load of=20 1 day per week, averaged over the year. The School of Computer Science has a large and thriving Theoretical=20 Computer Science research group, with a particular focus on category=20 theory and its applications to the logical foundations of computer=20 science. Among our research interests are: - category theory and higher category theory; - type theory; - homotopy type theory and univalent foundations; - formal proof; - lambda-calculus and computational effects; - topology and domain theory; - constructive mathematics; - quantum computing; - semantics; - program compilation. Our group currently has 11 permanent staff (see list below) and more=20 than a dozen PhD students. We have a weekly seminar, as well as more=20 informal meetings and reading groups. Information on all of this can be=20 found on our webpage: http://www.cs.bham.ac.uk/research/groupings/theory/ The Fellowships are available to UK and EU citizens only. However,=20 partial fellowships may still be available to Non-EU overseas students=20 depending on circumstances. Further information about PhD applications=20 may be found here: http://www.cs.bham.ac.uk/admissions/postgraduate-research/ If you are considering applying, please contact a potential supervisor=20 from the list below. Benedikt Ahrens (http://www.cs.bham.ac.uk/~ahrensb). Categorical semantics of programming languages, univalent foundations, computer theorem proving. Mart=C3=ADn Escard=C3=B3 (http://www.cs.bham.ac.uk/~mhe/). Topology, computation with infinite objects, constructive mathematics, univalent mathematics. Dan Ghica (http://www.cs.bham.ac.uk/~drg/). Dataflow programming languages, foundations of machine learning, game=20 semantics. Achim Jung (http://www.cs.bham.ac.uk/~axj/). Mathematical structures in the foundations of computing: logic, topology, order, domain theory. Paul Blain Levy (http://www.cs.bham.ac.uk/~pbl/). Denotational semantics, computational effects and call-by-push-value, nondeterminism, category theory, coalgebra, game semantics. Uday Reddy (http://www.cs.bham.ac.uk/~udr/). Semantics of state, separation logic. Eike Ritter (http://www.cs.bham.ac.uk/~exr/). Security protocol verification. Jamie Vicary (http://www.cs.bham.ac.uk/~vicaryjo/). Quantum computing, higher-dimensional algebra, category theory, quantum field theory, formal proof. Noam Zeilberger (http://www.cs.bham.ac.uk/~zeilbern/). Type systems and programming=20 languages, category theory and proof theory, as well as their=20 interactions with combinatorics. --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout.