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 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 22843 invoked from network); 18 Sep 2023 10:24:18 -0000 Received: from mail-lf1-x13a.google.com (2a00:1450:4864:20::13a) by inbox.vuxu.org with ESMTPUTF8; 18 Sep 2023 10:24:18 -0000 Received: by mail-lf1-x13a.google.com with SMTP id 2adb3069b0e04-5029bd7d9f7sf4924438e87.3 for ; Mon, 18 Sep 2023 03:24:18 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1695032657; cv=pass; d=google.com; s=arc-20160816; b=br03FFQyP/kY6g6kaudU+sW5yVJgXGE+IBlOyn9FWvzzNhYZq1OaX+J1rEaAB1rc5I 4q49hrIaP1RQ42Hgbd5Q0bDoB9MTvghDzrdR7NQWjoeZqWKH8pjXqxZhoQ6fJrIKG2KA n/zVvkZSQsTqyZRvJSF21FuaF8OIAbanZBEtBRA1rngha4Frhzp8rpnpVhxvOmIQ2pbN mPRUUOvufFrjRhN0VuFSnIrkdJQuwEB8q8k9VVXral423yzgupuAcb1tDvstlhZ7Ro1i tcCATkELNKg1LkKOgsL7OQwU7sLXZqexoPnAuuWZU4BYabZ9Ss6gH6UfeUzIEeQFpHiO RRDg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:subject:from:to:content-language :user-agent:mime-version:date:message-id:sender:dkim-signature :dkim-signature; bh=nGwTY+1oM2IFoAufldNWUkiCQ52lrUi3dfOyp7C9RUc=; fh=uP5bnnAKtD6/mbcBVX56Xsh6TPVNKVhZ3G6TEfCAp8g=; b=0kIpDhXiVaMxwM41bmVVICjT4tB7yufjjA6I0W2F6hQFprSM/hoM2ib+ST/EtZSihU CsRm15orBN1hQlH5DyPxlMvBkA8Zpi7rb9x6PFVX5BnPqDLKSmKAOb1u/bqDdVgiSGMT n3b4VVp9f4pEtcUNeXWSaYLhiRgjDABXaX2RAYw09Wz+h+31eUvjjFyWqjRzUP/06nRQ FjUbNAATcMvs+58cPaA5Mv5WNtQ83Nsd18SRXCglbe9fQbkTPAYSauO9RFukY0Yap9T3 T8riPrP74uWro2JFFFIWgb0MblYfplJEDiXJWd9ZuD0n+ZsgPy4qH9I1pi6E6JLxH4q0 Ak4g== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=XCZgdjRa; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::32f 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=20230601; t=1695032657; x=1695637457; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:subject:from:to:content-language:user-agent :mime-version:date:message-id:sender:from:to:cc:subject:date :message-id:reply-to; bh=nGwTY+1oM2IFoAufldNWUkiCQ52lrUi3dfOyp7C9RUc=; b=SYoQY/FU8I/p63bj3bObIVo6jpMGJMqTtLNb5ewhmaoN1Bsga5+mrFHAL8Q3OyqwId IvSfl2ngXaWQzuzs6MXTvSIXaMSdiI69uKDSGXwbAAbsYCAOjYGu1KyrStuxoQlXf6Ts n4EjSY0Zy8ahlhGC/MvsABJvEuBmrYinyYDIuxxAPpNlPOT5eyk7y64Xt0CqApPF+LtI bQLQfJ0qHPOpPltFTK4kFEKoZlBIeL177yPiA2omxtnSYI1pV9g8liNFKsgsVlRUqDMe 64FY9+aWw1l8YZo9c9HjFsqs/l3PE384GtV9HTyN6/jOCq2yoaJCMrWzabNxxmA0ZGY6 PYPg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1695032657; x=1695637457; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:subject:from:to:content-language:user-agent :mime-version:date:message-id:from:to:cc:subject:date:message-id :reply-to; bh=nGwTY+1oM2IFoAufldNWUkiCQ52lrUi3dfOyp7C9RUc=; b=BPqfgzeSdGhO29NXTGzRvXUNrVyBj+AQNj8m1Wune74OcfroXhkzeRWF+7NmOVNoHQ BImNyVBXCZtUTB45+SqnVbrOZKoKLbmjyDr9/MbMrtGYvxfN+kHy6udyKq8iM00jtH46 WYrxFFpXO65S9UFSxvwZ+/2X69+CY8hZmjuSHCFusHjpUF5mavjwZzkx1SecB5aThfBn AM484twnG6IYVT/XJHxTJCxr9ggMQaXRnoML5y2U+VtYmkZ4lwwxmZJOpwDfuAGgLgBJ 59GwlhA1MDQ2T8HzwPoAnupolGKIDZKnz5FmAg2GNH5p5TZh2N0nC3oeOkO34hUing4R jVsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1695032657; x=1695637457; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:subject:from:to :content-language:user-agent:mime-version:date:message-id :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=nGwTY+1oM2IFoAufldNWUkiCQ52lrUi3dfOyp7C9RUc=; b=liTA9ZtnJrvsrSSW7pHKeQSGhDbb8NSWyrN1MwHrAyz8fnn2s7wDbDZCxrz39irLea qvI2nsq44rMJ2zXUr5uDLpmQtzKIXPJiLWsc79GCZ3qYv90j1Ve5ujbrWbwcpcXCEm4V vhq61Sp25Kfw5j1rM+CVVYGeWeTui+SpCvu6COizsHZTNzGreZipkEcX+LyYD4H5W6CZ BuDIGQSzQ9cU+0/RW9CpSEeqQVH7lvXwvhHHdpcpRjcWFrhKbhwlU9RWw5AcBHP6o7kv jXVIiy5EyoVPrCRngn5YjrMeEGL3oxA5RwybrbSaj7APVXpKoqb9IzvGtctLcreaaQ9S sONw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YwEBLke1X4wS0a4UaU+94cR8yKdJErOa0m3UAmdldY2XNAGNeC8 2Q20s2fvEVq0q9m4d88URl4= X-Google-Smtp-Source: AGHT+IGj9Su9E5hEsm2Om52pxXcl8A2XceNeWKUeZIavIwUVG7WwGQNhUccrBp1eQas9TlZikLNcag== X-Received: by 2002:a19:6407:0:b0:503:60e:91f5 with SMTP id y7-20020a196407000000b00503060e91f5mr4315401lfb.36.1695032656548; Mon, 18 Sep 2023 03:24:16 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:3c97:b0:400:5097:70b4 with SMTP id bg23-20020a05600c3c9700b00400509770b4ls1613539wmb.1.-pod-prod-02-eu; Mon, 18 Sep 2023 03:24:13 -0700 (PDT) X-Received: by 2002:a05:600c:21c1:b0:400:57d1:491b with SMTP id x1-20020a05600c21c100b0040057d1491bmr7709054wmj.2.1695032653521; Mon, 18 Sep 2023 03:24:13 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1695032653; cv=none; d=google.com; s=arc-20160816; b=GtasBtALt0yTalWyv4mX8cPm2K7zf+JntRm5IPd5vOHIgnC989WjtVw8X4Q1Cv5q+S zYCyorft+Cjlb4DQnTbhz1bwGVGI4l9t/2Q+iPxuCj1Js/hWOypontay/AeME2ub8lrQ uGFTZmbIaZ6yLX30vvdjMmXhf9l1s1BZwpU/2hITwISM5Ky8qvJdixKftUeM2LT6ncSr BJ+HpAr65eTmPbnbw1726CbUgga2Wvusm64DB0V2fwW4tbzSnKiFVz2viZMk7bijmbgC hCam7YpGXbrJPi8k/MWxW4PCNF9qTjlSkDxzXBNEBG/SRPngMsBfnUf+L3glv/V5PyGC 5ugA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:subject:from:to:content-language :user-agent:mime-version:date:message-id:dkim-signature; bh=aR5pbG0jm2ydni7cyZNzymWKU1K3zHDBG+PfvWYgQkM=; fh=uP5bnnAKtD6/mbcBVX56Xsh6TPVNKVhZ3G6TEfCAp8g=; b=pmm9RxmTsZ9fD1nchSn0pbVK8OCQXNXo9rbHor2CTazXovYNFTvvqXewU3tI/RfqhU T+D3sHuNtqMlRQtw1d1RfBxWy/SZ9aBSP0HvM1qGBNE8QUl8VgRa/Pf2t26x3yx5SVDY 3A6DllfHP21z1CjycIBbnp+D9HeEFV/4dgzH0g1swZujCu1Rei4uTbVBODHbdbjVg60W M161xw2iZCLBufDPMPxN2X5WfOJWNR82EFDR4z7SZ6lHZVK5qrqbwVs6O+Kox6auF29q 7I6y0i1FujsKD4ae8pAm+ACrKf5wi/kVBA7SgkRDBcyoMrZl7nFV4myf3+urqmerZND6 2KFw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=XCZgdjRa; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::32f as permitted sender) smtp.mailfrom=escardo.martin@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-wm1-x32f.google.com (mail-wm1-x32f.google.com. [2a00:1450:4864:20::32f]) by gmr-mx.google.com with ESMTPS id bd17-20020a05600c1f1100b003fc39e1582fsi841270wmb.1.2023.09.18.03.24.13 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 18 Sep 2023 03:24:13 -0700 (PDT) Received-SPF: pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::32f as permitted sender) client-ip=2a00:1450:4864:20::32f; Received: by mail-wm1-x32f.google.com with SMTP id 5b1f17b1804b1-402c46c49f4so46457475e9.1 for ; Mon, 18 Sep 2023 03:24:13 -0700 (PDT) X-Received: by 2002:a05:600c:2311:b0:404:4b6f:d705 with SMTP id 17-20020a05600c231100b004044b6fd705mr6879443wmo.17.1695032652566; Mon, 18 Sep 2023 03:24:12 -0700 (PDT) Received: from ?IPV6:2606:40:61:694d::1260:3e45? ([2606:40:61:694d::1260:3e45]) by smtp.gmail.com with ESMTPSA id y19-20020a05600c20d300b003feeb082a9fsm11976624wmm.3.2023.09.18.03.24.12 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 18 Sep 2023 03:24:12 -0700 (PDT) Message-ID: Date: Mon, 18 Sep 2023 11:24:11 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.15.1 Content-Language: en-GB To: Homotopy Type Theory From: Martin Escardo Subject: [HoTT] Faculty positions at Birmingham Theory Group Content-Type: text/plain; charset="UTF-8"; format=flowed X-Original-Sender: escardo.martin@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=XCZgdjRa; spf=pass (google.com: domain of escardo.martin@gmail.com designates 2a00:1450:4864:20::32f 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: , List-Unsubscribe: , Dear colleagues, The University of Birmingham is recruiting a number of academics at assistant/associate professor level in the School of Computer Science: https://www.jobs.ac.uk/job/DCA296/assistant-professor https://www.jobs.ac.uk/job/DCA300/associate-professor The Theory of Computation group at Birmingham is world-renowned, and we have been actively recruiting new researchers for some years now. More information about the group is here: https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx Please encourage interested students, postdocs and colleagues to apply! For informal enquiries, please contact me by email, or Dr Anupam Das and/or any other member of the group if you intend to make an application. Best wishes, 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/a8500dd2-454a-751a-821d-e66b123c2d75%40gmail.com.