From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 29401 invoked from network); 24 Mar 2021 15:02:19 -0000 Received: from mail-ed1-x53b.google.com (2a00:1450:4864:20::53b) by inbox.vuxu.org with ESMTPUTF8; 24 Mar 2021 15:02:19 -0000 Received: by mail-ed1-x53b.google.com with SMTP id q12sf1158011edv.9 for ; Wed, 24 Mar 2021 08:02:19 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1616598138; cv=pass; d=google.com; s=arc-20160816; b=bNvRQ70OCBXaGlq7UnYhqIIXhR8nzAcwV4iKqa1bZdR8ZdPE3AJXMCXWKw8GLKsD8a /Gxzwu2SkWLyFFnl3pvRubwdLaR178oXYoTATgL+heewwVXEKRyhSDzuxWZanKBQ1zsu w48Cy3rMSbtE7JEZZwet8pDqYjSz2a31R5yaPGKGn51tsr9CMaYQXbjq6xIvg/pHBTeW AA6A0tlY9tQU9sufl4hLRiKRCPcIf97RWue3ZmPJtKh4DFlfUFA44kxfD+QzzVqwmzFs dQ2I60zAcKbbBibuByuKi7zLY7HqwTTOX2rahIvKoYacE+PcmH9VlBNN8hKUxIayUuof sIaw== 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-language:mime-version:user-agent :date:message-id:subject:to:from:sender:dkim-signature :dkim-signature; bh=Ui3BkvHxrQirr6JFMLhQw4zlrhjvIyD2/VG+GelnJTE=; b=hPMFGjuIuNECVw8u1skljth2XjXAowy1ib+sm6CF6VeZbOXuRrDR3bCNFqEISn7chk 0V+tgUSSLowp0LaHRzaplJZimBWuC4wWby8qKKQwNtOZvwnKY4TIAB8AGbqvS7Titkaq SMEqN4xAh9kU3mpAMqAmm+/SsBZBQCYgb0MNDrIrNf8pqMBvgT+S8fGFllD+oYZ5PSMf nj5Doqm70iZcmESlnv5+Kx6WUZEVSzeJ/gHPGTohyDbvBmNTQCZh1ME2NgDVsf4VR/OA AnvkocJYx2BiNDmdK7GjZ7IUu9tgmFrwod2XCuSpRIHn7DUkMpmA2pf75lcxXL/HN9aW queA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=OMT1ALgJ; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::52a as permitted sender) smtp.mailfrom=escardo.martin@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:from:to:subject:message-id:date:user-agent:mime-version :content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=Ui3BkvHxrQirr6JFMLhQw4zlrhjvIyD2/VG+GelnJTE=; b=CeeMmk2aaiM512JD/RBq7REOkaXULNt+iYHBEnDkamieS3zwlpEyQZLQgki6yznaJE cz+7M6HlfluAyhXf53+EpJVRl1N6XGarWPr53j2CFIL/7ObLsBMKDA+rqXO0HkUmEhuV WCek+EA4S28A1sZGzheDDEuoCE0O4+Wx+YFWH2Jq4r2nNBNpz2VZXFi25GfrlLExuLN7 v8bvSsWL72NEBdCeTDT8pykr7dxBZiIlvrnmZYu5TuD2pqLJ5hL7fNCA2Rkg4M4PaqeO 6Jylrw3J/Wxmxhe1tkOAZX4DMzVJXPesnp8xcvWbwO5Iqq/RfiMnjgRgcCnWa88pDN7N giNg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:message-id:date:user-agent:mime-version :content-language:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=Ui3BkvHxrQirr6JFMLhQw4zlrhjvIyD2/VG+GelnJTE=; b=EvIDOgCriu/WeZPURHSRYQk/3Y3osmwwLIymq+wmIht+B4j6ZbVNtz8T9u6B+f9B3j RzsuofFG0HN57TgzcOryQ/K2KOuuj0y2vZZytfwtl6OkxC+BRXaOMdBaVfppQE/bFi8Z GOvuSV0MxZwj95mgI5p3IGWnl1Lx3/TkE9z7NbW3G/GCc+0Er6367+HrJP0n225vx8d6 hxYHMOUfm3AVDIoToFaxofNvjTRJ/2StnfWs9WbvjJLoyDNdnyGqnpJPamSSN6riZeC/ yjKwikjWIrjnphhKBQfpCZBIdroZ783MB4+y0sYIzc46rRutSm07/Y2+6jbY9vSxxYNt DMqw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:message-id:date :user-agent:mime-version:content-language: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=Ui3BkvHxrQirr6JFMLhQw4zlrhjvIyD2/VG+GelnJTE=; b=W8AbL71D4NGPey/3jX+X9VcxI7zXW68Rr8yf7QbY1ButJuKRccPdo4anXrEQNR+89z yZ/A1KMbOjxBicKK7If7t9CuArBQIzN2qY9ykwsW9f1qACCg6NqhsQs2MMQnZvawaEgb 1zl3LaRGjLbhIqtjiCBFhnI2vszvXeadq7t0BxJ890QgjT6xr2Ht9230kqIF8Jt6x+PK QBZV7+UPUPbYB+WPZTRPgAMzf3SDPy45EoEXdN2dScwr2fe3YSLzVnMpk6RpizpHnZSU tzutKJ7D2dinR3eFfRbqg1HCs3tPHs3KAgTipMwdatYB2/bhlLBZ1ee9W2iP9GU/GIsn JyqA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530hbQvWvkd9yRj3xRm97tDJBnVrTwUJCr3uBruznAIUyjSYilrd tfS7KfSZzNSfdEc5RBB0RFw= X-Google-Smtp-Source: ABdhPJw2+GvpkI6woQ2LlAu5qfDdY+fBYfT1n7qXxhYJpMD0Pbz/AJwRQyBT5lO2y4PDMBO7j7jlOQ== X-Received: by 2002:a17:907:75fc:: with SMTP id jz28mr4182654ejc.490.1616598138526; Wed, 24 Mar 2021 08:02:18 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:907:3f15:: with SMTP id hq21ls1461818ejc.9.gmail; Wed, 24 Mar 2021 08:02:17 -0700 (PDT) X-Received: by 2002:a17:907:3e8a:: with SMTP id hs10mr4198870ejc.267.1616598137378; Wed, 24 Mar 2021 08:02:17 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1616598137; cv=none; d=google.com; s=arc-20160816; b=ZoDY8rAjyf7zlxA2BPlIxpbJzBEvYtkjDc28024uZ2W0/y2MDa8MSuG4DQlHeFQ4pm ebk1wjhmUTICF1nVkMIoahbwArup2PBDvI5AE9r4sWAkmizpEpX5R90fcnKxHPSjkSsr b41PJCr6GzgWVFc7J78WYVQsKPLZ1EfWvU1/3E7Yez/ooWwEloVepRCmK8nfvhtQ2wO/ fikaHQVBct55p4jxy2zPPFuQ8K4Q+Utsj/ZGH7PPY8EefdLOa6xdCpexg0SbyvMx0j2C fPRAJ/pkL4Z/LyLU+hrglGG8WtUiZtPekt6Dn+Y+mIOo+a9EOijh55RxsXijVSN4ArHH ckZw== 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:to:from:dkim-signature; bh=AtRtdnNmMv8kxqt5xK7CHhmUk8wKWXBnZZERv9B6dks=; b=S769bWPE7jmGpr8qdY3bilqsJcPT947e3GLoTfgS0DET6sWbUZojhUmCnyv+tbmgMq c6GgICG78qJOY/cKufi1sZAeQRonWEqKIop8P5TZJBy5U2B5l854sA6o5QKGdPbZRJBv Y6DJ8pf4SsM/WT+CWAVyzGtbn5seo3x3TADD5MlTfjVD528h3kl+nDoMgB/cfDyheQ9u rqiG23cppvCJV2YdWsD1QYL2Q80n78gYuWlrLQqaOzZ590lklJ34lk2yln/1uQkNCeai pMW64Y6kjxrK6Nzw6rft6y57OtQhqhvxLl8I6pOZHd8lkCfSwmjdpzPf74aeM00Cl0qQ RE1A== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=OMT1ALgJ; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::52a as permitted sender) smtp.mailfrom=escardo.martin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ed1-x52a.google.com (mail-ed1-x52a.google.com. [2a00:1450:4864:20::52a]) by gmr-mx.google.com with ESMTPS id df17si136195edb.3.2021.03.24.08.02.17 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 24 Mar 2021 08:02:17 -0700 (PDT) Received-SPF: pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::52a as permitted sender) client-ip=2a00:1450:4864:20::52a; Received: by mail-ed1-x52a.google.com with SMTP id l18so19818721edc.9; Wed, 24 Mar 2021 08:02:17 -0700 (PDT) X-Received: by 2002:a05:6402:12d5:: with SMTP id k21mr3975202edx.318.1616598136815; Wed, 24 Mar 2021 08:02:16 -0700 (PDT) Received: from [192.168.0.13] (cpc1-king14-2-0-cust212.19-1.cable.virginm.net. [77.101.206.213]) by smtp.gmail.com with ESMTPSA id v24sm1050423ejw.17.2021.03.24.08.02.15 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 24 Mar 2021 08:02:16 -0700 (PDT) From: Martin Escardo To: "HomotopyTypeTheory@googlegroups.com" , "constructivenews@googlegroups.com" Subject: [HoTT] Faculty positions at Birmingham UK Message-ID: <7b586bcf-3906-e5ba-d68e-e533d779bfc3@googlemail.com> Date: Wed, 24 Mar 2021 15:02:15 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.1 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Language: en-US X-Original-Sender: escardo.martin@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=OMT1ALgJ; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::52a as permitted sender) smtp.mailfrom=escardo.martin@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: , 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 -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/7b586bcf-3906-e5ba-d68e-e533d779bfc3%40googlemail.com.