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,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 23486 invoked from network); 2 Feb 2022 15:42:04 -0000 Received: from mail-pf1-x43d.google.com (2607:f8b0:4864:20::43d) by inbox.vuxu.org with ESMTPUTF8; 2 Feb 2022 15:42:04 -0000 Received: by mail-pf1-x43d.google.com with SMTP id g21-20020a056a0023d500b004cc3a6556c5sf10462478pfc.22 for ; Wed, 02 Feb 2022 07:42:04 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1643816522; cv=pass; d=google.com; s=arc-20160816; b=bV5lBrsCBWOPl/jbsL7UXuPjuiWhzMu1Bmdg5oaCpLiYd5F2xZDi+/cbmPWdYCeWLy xpSN7/J8iOh2C2gP1dQILW+xi8Rl3yCcEv6Fozjm7tH4PTRKMziF82RD6uVi18jAhbRS osCgQLripPPLFgyGdGKT/l4KqVw+Nq5EdHq90/tR9rZjhZQIKd6FfzOwtDSLPM9AdGao iWNOrLk8rULC4DCvCQCXhdRDHbFNqOBRflL3zjVoyUhw7xVuyTkpMqd7Xx3g0ZA1LRJa VIuVjDi53R/6/8ZTeo080JNwYUW3VrCXr7w3GNSdoJXbz7VjJCc3f28nHYxb8tDmcqJE Nl3A== 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:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=y0EJWImV1cPT+mNgKXTRhLAYAldLFzWW8kfD4NNZmdE=; b=vthkSLEetXaJyrgvg/ZZtWK1q38P1ubag0mCBmwvp3PhByQbqKVFPQaXpsfyGzH6p6 cWfcqOYg3Jz+Lav4Esx87lFWCfH70Dc6b35BNSzyeRPl1C3u+MPuRkiBnvpsvIUe+sd/ XpbY3UVKtZoEXMVFMRQzq5t1dTK5imQZ6YAjr9zfEmPzucCQACxBDUJFwnaYq4qF1oR1 wddVWv9WGW82+3aSyEGDrtF9NsoPcrAHv98Kfu+x0WqUTNHNps/0MdC9G0wZ1L1VqxuI +kixa4R0yusLccPRuTJ+4TLGXvbOU7WPDulpHYT1jwd+Py3Fb2A1aPwOkj3tVPCtqkEJ FvIQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=MF6toORn; spf=pass (google.com: domain of ericfinster@gmail.com designates 2607:f8b0:4864:20::235 as permitted sender) smtp.mailfrom=ericfinster@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=20210112; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=y0EJWImV1cPT+mNgKXTRhLAYAldLFzWW8kfD4NNZmdE=; b=mYyjJMmMhxtVq2PF4fOXNNH566vSVUkKg4mnbRh8VgJ+7H+1oZq7Y2ikE6sPP7c5P9 CxVywXnBzcD/pC5u0tIaKAQpILobUT1hDJ7pLCLYO8fKCtFtJ0q1yAQTLu371WKpQ6gJ +oy2ULHyixU00SVbBfrQVvOO96llcx8iC7gS0kBRDa1EPKRdkWfKJPGYnFAENu/CiRl8 QN1zF38nYaeSH8UdLdCQ2ppNJI+aAH4T9gnqldl3pGsxwKTgm50xgMhbaAjbCw5vBuwk 3yX9Y/HiMoB4fo82hv4us6DYp6iQ5iXA4scGjHe/VCwQxrAEA4U4ew97Mji5m1vSur6m 1Glw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=y0EJWImV1cPT+mNgKXTRhLAYAldLFzWW8kfD4NNZmdE=; b=Z7hEANjH9LuyedwCyAWtA+xA4TS+d1fbK9S8O3yLDuOSpXiOuGWPcyPtLKNG/rBL+f APpdNfJqz8LJXyyP444ie0Pby/G8REFKiWtIRZl99+oOAOuNnfVK6x7ACyL8bL8v/vn5 Ds/Is1NC2S8/yH4XRMeu+ylVGoTQLBis1g1Sd1X6HzvggfF6G8p7El4hDEtWMbKERWEz kA56MExbpVEtr+NxcUqGQjXzYZ8jzfah3DSmkoYtVuc0/PmtdzJ/hGapDIGyr/0ObbR5 hGI8BNxNHkCdOF/deyT1OO1fEoRm/nO7VF/blAwh+Y4JYgl9m013I/AHb/v5W2JGYqj7 gYuw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=y0EJWImV1cPT+mNgKXTRhLAYAldLFzWW8kfD4NNZmdE=; b=bIBpjVYg+dhQG8w7pwaO9inrVoV3hFgNr4E9ZnUSZtEmRw/ueZSQj/zcxVAyETp+lE tGorL2/k+KbvlD9TMj5evRmTP32OAmLj8Isjc87fViHNX3tekRn7dEfmzdTmdY0C7klM SXFNlDeXXOsRSAV8qIcV/AXeBhCANZBnBj5uzbf7r4kEYrR4VTKwgxbcJpsEE/l/8hEH sDyn3GffYPXwGmB7/Sdda+WqA7PvHHHO/yIVrSG/QBROfTzPEPrXriWGFM8dIfuf69FF C1MKdMOz0H3pNwbkJpvyxZM8K+bjK2raETRNtLM/dSfLMmE3HIH4RLIlb83uBAm/hrvq y73A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530gIxtomsPEGgOMtPgpi69VGQTWSGUYWJNEaMl26WAC6x/K9nPo DFS182ItZmrtk5B2bxjgWE8= X-Google-Smtp-Source: ABdhPJzBXYNiBCo370E9WHz/mmNUssK7dRktLj4pNaA70b/2OOA887ahTKPtb6E9iiZEA61yvibENQ== X-Received: by 2002:a17:902:7618:: with SMTP id k24mr31395596pll.169.1643816522664; Wed, 02 Feb 2022 07:42:02 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:902:db03:: with SMTP id m3ls16262502plx.0.gmail; Wed, 02 Feb 2022 07:42:01 -0800 (PST) X-Received: by 2002:a17:903:1c2:: with SMTP id e2mr31397397plh.154.1643816521147; Wed, 02 Feb 2022 07:42:01 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1643816521; cv=none; d=google.com; s=arc-20160816; b=qmvjOT17PccGUms8skT7OMFL1R+7YPsHiXbj+5wnyvwQzuJgp8GuiSy1unN8HFwVqi QFRLrMyOerDoti9VKd3iOwOGGZ6cwlFcT9y1Ni7P0dJfA8hVekvPezkg40TB2Ee7uGGM yyMBapGdFsD2fbSgaK1SRtiQ7OKFfBRKzyUIEaDytCeKQxVWtDtNU6ASsrFmN73XaAPH QmmOoYuZqMiK4/N9HCWEL04cmNxAr5i8jalizK0QdiLSxLMGxC/PA0ManLLSfjviApRZ b8RNLAfkS4QJLwLIS0X1B620XmlxGJd+4gA4vrzrm3926wATFdURLC7EkpOWbYOc94Hs OK2Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=b0fowUmfrIiXOekQfOzg6RNpRDdR/6C1txWfE0F9Yw8=; b=twPrfZp6k/WtmTiPxceWTOgJPgM7FMaua9LBYb7YoPdGpjlHhiY2tJXMmowDi3wpEO iOer2C+2un4uM8ke3aum2d+cllLLedln9uUXNThMm0eBREtt27+J3RqyCDK+O9LhVhVG 4vVfhk0uhtsNapPzNeO7vsb57OPmg3S8O88LjTB83aywzMwNQV8BEWp2+ivZjBzmSYLf y7ZOLZcIh+or4IbshY7TpfakRWcK5Yrd4OdsImL3JftoXbEzlY7cVaa9ehnrN8Lgg06a Vv1VTb5vBsP3PBlsF9snV1IN6SaOmSQYbO93CrUb5vodVIKCngiYdM0jlm9NrTLRice4 jAaw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=MF6toORn; spf=pass (google.com: domain of ericfinster@gmail.com designates 2607:f8b0:4864:20::235 as permitted sender) smtp.mailfrom=ericfinster@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-oi1-x235.google.com (mail-oi1-x235.google.com. [2607:f8b0:4864:20::235]) by gmr-mx.google.com with ESMTPS id u25si971255pfh.4.2022.02.02.07.42.01 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 02 Feb 2022 07:42:01 -0800 (PST) Received-SPF: pass (google.com: domain of ericfinster@gmail.com designates 2607:f8b0:4864:20::235 as permitted sender) client-ip=2607:f8b0:4864:20::235; Received: by mail-oi1-x235.google.com with SMTP id t199so23744963oie.10 for ; Wed, 02 Feb 2022 07:42:01 -0800 (PST) X-Received: by 2002:a05:6808:144c:: with SMTP id x12mr4858137oiv.52.1643816520469; Wed, 02 Feb 2022 07:42:00 -0800 (PST) MIME-Version: 1.0 From: Eric Finster Date: Wed, 2 Feb 2022 16:41:49 +0100 Message-ID: Subject: [HoTT] PhD Opportunities at the University of Birmingham To: HomotopyTypeTheory@googlegroups.com Content-Type: multipart/alternative; boundary="000000000000c750dd05d70adbf8" X-Original-Sender: ericfinster@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=MF6toORn; spf=pass (google.com: domain of ericfinster@gmail.com designates 2607:f8b0:4864:20::235 as permitted sender) smtp.mailfrom=ericfinster@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: , --000000000000c750dd05d70adbf8 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable We are inviting applications for PhD studentships in the Theory Group [1] at the University of Birmingham to work on Homotopy Type Theory and related areas. The Theory Group at Birmingham has a broad interest in type theory, category theory, programming language theory and formalized mathematics, and both Eric Finster and Mart=C3=ADn Escard=C3=B3 are active researchers i= n the HoTT community. For more information, contact Eric Finster (e.l.finster@bham.ac.uk). [1] https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-c= omputation/index.aspx --=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/CAGYJgtbPs4VMdNOFBdMkRuUA32KJ8hdwPSLenFST7xgFetKMvw%40ma= il.gmail.com. --000000000000c750dd05d70adbf8 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
We are inviting applications for PhD studentships in the T= heory Group [1] at the University of Birmingham to work on Homotopy Type Th= eory and related areas.=C2=A0 The Theory Group at Birmingham has a broad in= terest in type theory, category theory, programming language theory and for= malized mathematics, and both Eric Finster and Mart=C3=ADn Escard=C3=B3 are= active researchers in the HoTT community.

For more information, con= tact Eric Finster (e.l.finster@bh= am.ac.uk).

[1] https://www.bir= mingham.ac.uk/research/activity/computer-science/theory-of-computation/inde= x.aspx

--
You received this message because you are subscribed to the Google Groups &= quot;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://gro= ups.google.com/d/msgid/HomotopyTypeTheory/CAGYJgtbPs4VMdNOFBdMkRuUA32KJ8hdw= PSLenFST7xgFetKMvw%40mail.gmail.com.
--000000000000c750dd05d70adbf8--