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.7 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-lj1-x238.google.com (mail-lj1-x238.google.com [IPv6:2a00:1450:4864:20::238]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id d4ece235 for ; Tue, 29 Oct 2019 11:42:51 +0000 (UTC) Received: by mail-lj1-x238.google.com with SMTP id p14sf3136052ljh.22 for ; Tue, 29 Oct 2019 04:42:51 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1572349370; cv=pass; d=google.com; s=arc-20160816; b=bp0GYu7ndWPLR9sWNSkUEY9/V7TtyLaQXGpZQ4j/7NwRTJjDGCoYiejU4UdRVRt7p/ y7GS5mETz94lmv5V8sSaVfWaTf91ENEZ4TwNLKVSTgkYfCheqKqHT2NawaXTANups5Lt 3/hfCf0cpBAugRDOa2B99hXAxHEtJQlgEaF+UFgrk1NSySRO2OEnObR2s2YVmiakT+8f g/UkcOaOxA9qYKVV3Rh7BcXf8csAT/JculvyyKs9YplPk1WlO+E4zLG/NDQ0bwUnCFFE 5BzSYz9eN6I6PN0nESy747lfBooK8DXcb/jYngoPWmEaAfjTArfCPHF996FJsTHV/vRE mBfQ== 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 :in-reply-to:mime-version:user-agent:date:message-id:references:to :from:subject:sender:dkim-signature:dkim-signature; bh=ApK0BTspdlokpRqdQCCZL83bPCVpC7R3eKqCf7tc3gs=; b=UuDEJJwzkbpqHJFrK0097kFpMZPusMXWNafiGwFdkbb4CLuyuK2w+mo2+8JrV436K7 fuJ2oz/nn7+uJX0+Hz9+jWLp8s7NwRk2Z/nWlXMERy35y/tG48zlqQqBeHW7+w+I/aSC bFvffd4ILkvx1/oFUkWS5Ej8zUZ31OON8xMuVWrP/QJdq0nhaYZtp7l8XPCrWjc5oU1L SPyEZzsjUNTZD6W/jkkPDCej+lVuqIS7pvdRmuewbCR4NGiJrLouZOcVpq2WqlhPY22X h5l0YnMYz1CWf7HhyNQAtBkv/VNnUGjk5jCQ7OkAbtEdsfwae1xA59rWJSQG5yYCf9LT tA1A== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=h29Jt+PX; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42f 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:subject:from:to:references:message-id:date:user-agent :mime-version:in-reply-to: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=ApK0BTspdlokpRqdQCCZL83bPCVpC7R3eKqCf7tc3gs=; b=V3ajo5LdtR7Cggq+a3qA+bXWDz8MGMoY1S18yu6NTJDTEJ1Py/P2lKKpybYBH47fKa PAvaquJvzFbl+iFOM7tC8GEIirIuRoBHizBTrO6o8lvb/5tcO7xOG1voszPstB4RV8Y5 W7CdBlfFF2h+iIieNL53P2kyKsi/8mVHqn5brQFCKo2kvbkg+0TF8042NTxnmLQJ8kwX ULwHOGM4SFpjLtI0Ey0dm5sFGAPWaaN/lcOdFPhruuGDgQsiTE3m9puQC1niTBZ67Ara PQLrDyFaYdtt8zVoxPSNAxsZIg9VIqhGYbiOb09ivvzWIRLyZrYMzbmqpBVArbXxqiTs WNxg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:from:to:references:message-id:date:user-agent:mime-version :in-reply-to: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=ApK0BTspdlokpRqdQCCZL83bPCVpC7R3eKqCf7tc3gs=; b=BPWmjRYEr03cyUmEi4kitMza21mNhEu9dVXLH4VZIxO+zNf9l9eprgmC/8hjnLqWgA G4EI0H8YwxXVbUDusnDZ3ekx3kXiOz4Cw7x7DFYCmkanLazr8n6Wtz1CtclH6MdAf6+K 9fpX0b/mc7Fkj9BP6eyUB8POQBatZONzpvAJF0t3qTXIn1VQXdjMMLHBRBxcc7DdN2e7 A1FBN76GFqj7scMyzikdb6tlI4LK6EaX/ZlkL5OBayL0T7inBjCAWLLLIrweTkeNJHYd 7rsOy+l9byNV6P4FYXi5pOuUYJtxrLO3HxNi702F+RR/4fLvS+pjByk7n8FxuPnQo8rw St8w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:subject:from:to:references:message-id :date:user-agent:mime-version:in-reply-to: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=ApK0BTspdlokpRqdQCCZL83bPCVpC7R3eKqCf7tc3gs=; b=Q6cEgTVu3cKkbcuiNZTEw80ikvB4mR+/VhOmobedBuzSHKWeckiD5z5e8nQkKtWsB3 YraVt+SZcGsGYOFvpbzoTfbibV6pBtev2CeaCCUd3hhkdsZPRRZFEybXTB68H107LWcG c8t8qxQlP1PVLa5P3CwIgSWpzrSCW6EucZit4ew+PjpCRpDn2ble+o9kFsNSUtTlBpC6 EL+lJueKwoXxQg6bksLyug2/gjQvXLrCvaaGQMPG/UO21Dfy1Gbu7f6EBIgnNx2KhmJf FPRStFin8o4R8AJtDwJZnbGBdPiUbp+EUuPFXQV5a6rJi0ssKuIdK4UlwR4MfrO73qXQ 7N1w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAX9uTQvzh7HF66ZeHZwQP9NunHzra6e+1FtmD8J3ld56PtY9rtV 1pcrGrLXkzLJJpeCnSQcJAo= X-Google-Smtp-Source: APXvYqxhj85z5NYJ8BNRDWMkvMQDYvxy7S/tP3BqSfgGpd6uzLdV2iUW/2bEpimRQ1gtCqZuG8qPjA== X-Received: by 2002:ac2:4a72:: with SMTP id q18mr2215403lfp.184.1572349370065; Tue, 29 Oct 2019 04:42:50 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a19:98c:: with SMTP id 134ls2188159lfj.6.gmail; Tue, 29 Oct 2019 04:42:49 -0700 (PDT) X-Received: by 2002:ac2:4d10:: with SMTP id r16mr2250095lfi.70.1572349369281; Tue, 29 Oct 2019 04:42:49 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1572349369; cv=none; d=google.com; s=arc-20160816; b=Uj096oJeFLkAk9/A4aFJuRn60dT47qby+QbEpSASQxsyDbsuFtcRgC7fzXemQzZ8lD Bgdviwf2d11U7mkMXu+qqvp6YJgRc7NgN21hsYZcw1scZqWS4f55nQ40Rs3JVDCdz+Jz Kcas/bMRZ8EpjIcU9tRY7lHdkEnzaSNrElu+NEg4/nfm6xLWqhAwkB8qf6vGmMM/ruVq F0rr+6uYciECCflcfXZwiJv9wANUd41vuUItGOhqDadqCjYAPCT4+rscnWCBrgUeZLIW Ubfua5ShGUkDyTCy8mrZrkiSX7rvBz8RsSIs42f7utGpCMDBbGM9Saur9GiBdvm1Vq9p y5jw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:content-language:in-reply-to:mime-version :user-agent:date:message-id:references:to:from:subject :dkim-signature; bh=eQ4eCc8Zw5dCufcggtryxvuPQu6ZAy2LmO6cYTZ7vqc=; b=YWctWGRYafjVz8eU4OIB60oI4m8r9NN529tU6SUxd0Eu3In435T0AfDPDPrzSRoK9N XN4WRzvOJidJKunmQyF39wtWElCn8CMre/WbXItFVd9lCGSgPekgC3oS+QKh0BqsiElb OS2kpe4SmryRYfYtJPhQArbsfYhMv9seGATsYVhkr5ZuPpFfQddN+w/TGhT/1rLrOd2s ecTmlsXvjtnKtqtRY33kX2ljeTBuWwTnWdK2RVT061xpZdEibLw91bS4bOKpxD9Yakn8 tNsrB+M9Zc0Mp+qWRcQEt0H4wBzh2pF5pGqfx4CiT5jIAnS2B5KiGdOjJYFuduzAKNIe R6kg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=h29Jt+PX; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42f 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-x42f.google.com (mail-wr1-x42f.google.com. [2a00:1450:4864:20::42f]) by gmr-mx.google.com with ESMTPS id s4si138106ljg.1.2019.10.29.04.42.49 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 29 Oct 2019 04:42:49 -0700 (PDT) Received-SPF: pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42f as permitted sender) client-ip=2a00:1450:4864:20::42f; Received: by mail-wr1-x42f.google.com with SMTP id o28so13268478wro.7 for ; Tue, 29 Oct 2019 04:42:49 -0700 (PDT) X-Received: by 2002:adf:f447:: with SMTP id f7mr18660281wrp.210.1572349368335; Tue, 29 Oct 2019 04:42:48 -0700 (PDT) Received: from [147.188.200.206] (dynamic200-206.cs.bham.ac.uk. [147.188.200.206]) by smtp.gmail.com with ESMTPSA id r65sm2490120wmr.9.2019.10.29.04.42.47 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 29 Oct 2019 04:42:47 -0700 (PDT) Subject: [HoTT] Re: 2-year postdoc position on type theory in Birmingham (UK) From: Benedikt Ahrens To: homotopytypetheory References: <16c377b4-037c-97a6-4484-0658baa181c2@gmail.com> Message-ID: <7d8cbc03-17b9-d0ef-c56a-ed2d44a358bd@gmail.com> Date: Tue, 29 Oct 2019 11:42:46 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 In-Reply-To: <16c377b4-037c-97a6-4484-0658baa181c2@gmail.com> 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=h29Jt+PX; spf=pass (google.com: domain of benedikt.ahrens@gmail.com designates 2a00:1450:4864:20::42f 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: , Dear all, The application form for the job announced below is now live, and you=20 can apply here: https://www.jobs.ac.uk/job/BVW996/research-fellow Application deadline is 16 November 2019. Please contact me (b.ahrens@cs.bham.ac.uk) for any questions you might have= . Best wishes, Benedikt On 06/08/2019 16:43, Benedikt Ahrens wrote: > Dear all, >=20 > I would like to invite applications for a 2-year postdoctoral position=20 > at the University of Birmingham, School of Computer Science. The=20 > postdoctoral researcher will work with Paige Randall North (Ohio State=20 > University) and me on a topic in the area of (homotopy) type theory;=20 > details can be discussed. >=20 > The position is funded by the EPSRC grant "A theory of type theories",=20 > PI Benedikt Ahrens. >=20 > The starting date of the position is somewhat flexible; it should be=20 > between late 2019 and mid 2020. >=20 >=20 > How to apply > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D >=20 > There is no official job opening yet. Interested people are encouraged=20 > to contact me by email (b.ahrens@cs.bham.ac.uk) in the first instance to= =20 > discuss their research interests and details of the position. >=20 >=20 > About Birmingham > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D >=20 > The School of Computer Science has a large and thriving Theoretical > Computer Science research group, with a particular focus on category > theory and its applications to the logical foundations of computer > science. Among our research interests are: >=20 > =C2=A0 - category theory and higher category theory; > =C2=A0 - type theory; > =C2=A0 - homotopy type theory and univalent foundations; > =C2=A0 - formal proof; > =C2=A0 - lambda-calculus and computational effects; > =C2=A0 - topology and domain theory; > =C2=A0 - constructive mathematics; > =C2=A0 - quantum computing; > =C2=A0 - semantics; > =C2=A0 - program compilation. >=20 > Our group currently has 12 permanent staff and more than a dozen PhD=20 > students. We have a weekly seminar, as well as more informal meetings=20 > and reading groups. Information on all of this can be found on our=20 > webpage: http://www.cs.bham.ac.uk/research/groupings/theory/ > We are regularly hosting international events in theoretical computer=20 > science in general and type theory in particular; recently, this=20 > included CSL 2018, 6WFTop, School and Workshop on Univalent Mathematics,= =20 > and Midlands Graduate School. >=20 >=20 > Please also distribute this advertisement to others who might be=20 > interested. >=20 > Best wishes, > Benedikt --=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. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/7d8cbc03-17b9-d0ef-c56a-ed2d44a358bd%40gmail.com.