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,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,THIS_AD autolearn=no autolearn_force=no version=3.4.2 Received: from mail-lj1-x239.google.com (mail-lj1-x239.google.com [IPv6:2a00:1450:4864:20::239]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id a4f0cc26 for ; Tue, 30 Jul 2019 15:08:34 +0000 (UTC) Received: by mail-lj1-x239.google.com with SMTP id e14sf14280229ljj.3 for ; Tue, 30 Jul 2019 08:08:34 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1564499312; cv=pass; d=google.com; s=arc-20160816; b=iDL3uneQe3a9iIArT0Th4vk8YMJq5aRCOcPeis9Gzs/D035XeMcWq2YDomuuHY2ZCf VEAYC/mLti9LpcwXPMtXZ0IPom2C8gPZhRPEx0vnAO5+KXp0p1wHvXZz5EgG/mUKAhF6 /12JUdHOMNML9z55/VBfFTWAt3FTDVGBFrpxLuywfKOz6QvOPJWouhJo6UVYlP7DMr4p BFwYKIRosIAOrVDtq2j8WPUfSHcARWvkul0Aw0qXYyE7X9zWqS/tNdC8QU1osyB9D2qs tUHTRxGlsU/2duuq/PmcmzVxaYahOTeSgplSOUMTkkz34jnhmM0lx78BuYmZd/PnlLy0 h6Mg== 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:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=dcYt/hj/QwkZ0v5dPtdR+jnd69fWaoAvx2oOKC9HGbI=; b=RZTv4nkoKq7nnI/gjxwTu2ngZJof/3kKd45DkXObdvkXgHggO2QSGXvHtXEm8NTNZq xF/KVA8yKfHiedFdtpjTxzZvI7vpc+G0M94bw1k8IyssKOSJFgMW1QtQx2jpRXwXlzOf RD52vJkz7IAap5CDMK/5ftVwK4alFeuNUDBSEhx0xQI09xJO70mzX2vvGGv7/j8vnF7A L/lzmizyO6td0B0bMGq0bd89KCUhWFqnMliRDmoRWpAG4GoWP3AZv2yUIp9kHAfHS2sh XWHQrWG2hQsfUC34MvpLmZwrB+sZJUwud3Q1DOuuAIBfVX9Cnl21lIG+NEF6VGjZ3iV3 5d3Q== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=L0+CT+1v; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::130 as permitted sender) smtp.mailfrom=nicolai.kraus@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: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-unsubscribe; bh=dcYt/hj/QwkZ0v5dPtdR+jnd69fWaoAvx2oOKC9HGbI=; b=FAd7KI7O2ynjBEpusoQCFPMhmZKKlaU/fqxDs3F9DHpmkolo2v7U2rcrn8asc54xhh ntzuHYWiLfXPflTFLc2s+iDDb4kHOltwZ9ToREuUWAB7qIhkRIGf8qmOOefu4MEmr0HA 5Xlq1RlLzpYPeUcZayRA1YtovLh3V513IDk76N9Dxm7QWEkQkgiC8AzsLNuT0du5Uj+/ 3KG74E1p3jNKTcihXdKI6i8cqpmaqyFJqUuAVDiGiCBlnYUHGjLxzlL4hVx8w3hmMsB5 laJJe0GJ4yABy1ldYlnYs3jr0TIs2+iDtMNKVxJ4WMUj5jEFqC0FlPlle/LCCsaX3yMZ Vj6Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; 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-unsubscribe; bh=dcYt/hj/QwkZ0v5dPtdR+jnd69fWaoAvx2oOKC9HGbI=; b=Y71VN054KW1aTYA9qOSleBZm4Mo8zvvih7/RFGilGGy84UbvpRCVe0Flrwe2Glk8xa Xuc4dglzbcQJwh4S5ySNLwXEt7GkKAAD/LYb8gzDmN2hxCVdvANaVsPqOkN291eYHK8O Z/SERVFixa2SVS8x0jz2v2/0ytdFpJm4X97hX0QdodUGMa9WQEvdVxdw9JYwT5sMTXxC 5tyibAr3StGHTPBeNfCeVpfNBmv368vZqkeVaed+jNaE3tBfpVVDIoVJdX2i9tzIWpMQ cLJeuHMNqlCV9otG4U6ps+dyDIdg8QN8rFL4iImX8C6s/qISKfdX+n5CGj5/GsZHKlD5 ez1g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; 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-unsubscribe; bh=dcYt/hj/QwkZ0v5dPtdR+jnd69fWaoAvx2oOKC9HGbI=; b=PllBRcrizmXRzclfsAoF7enDMwwoMM7mHXLRDTu0jyC1VzwNcmdxLULRMTGKmS0919 gm5y+HyPU7OqRFGDRhLm1D/3UjYnaU+WJBln3i69TnKbWb6mGXs9LXxi2VXKzf31hPgw AqznRB80DrPOhyBeKhVkCoT7eYt4OFhBvXvc38AYr+ZnynlgyTjr0NAFRWtaW+t/e4bi iy1Jx8lebKxgogrGPa9VE3bbehAgGseR4+8d3EN8iq4pV4mQMsAy2XnujG/riX8pSwUL hvnEu8LkOfkTAdmU/iaXtPJh3tk6dODgMQPBasxqvPSTTfa9xZicBuhE2khuJf0IkCh3 X+WQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAVhPWY9UAofrHHrbdY55qQ0eXLCMysrkMhlqapOKUbuLAoYRP3I mlv1N3jKiJVydZ5qJUME6kM= X-Google-Smtp-Source: APXvYqytE8IurEun6RSETKga0rQExxak9zjFYjxqhCQ4v6N2ndCH1sYQ3FcYcqVCxRcLXkIKsbbxVg== X-Received: by 2002:a05:651c:150:: with SMTP id c16mr11531924ljd.193.1564499312325; Tue, 30 Jul 2019 08:08:32 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a19:640f:: with SMTP id y15ls5365287lfb.14.gmail; Tue, 30 Jul 2019 08:08:31 -0700 (PDT) X-Received: by 2002:ac2:5b49:: with SMTP id i9mr54383135lfp.116.1564499311678; Tue, 30 Jul 2019 08:08:31 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1564499311; cv=none; d=google.com; s=arc-20160816; b=xGOO8Az2i3zrRdaWURZekOKetemubH0GNrpCNBF8/3bLLPUAwVxIKnXk6xGP2oQXBW dNuKtOnoAuMl9ZEaezh4pwxUT2IY/ZkY2J8KUu3+HfaZH5NVbMomnFho3IMNvrp6ZVuU u+ns1BGcPxyk6zavqAiuaTTjWaSc5KdHJc3Oog43NyKIieC5R5u0XJl03b36wXsI2H3x 1iFfSLMPFkykkP+K2Ds6tL8VOsv7CJe+5btS/zY/KVp0Ow2iChaHoAG1KnWVYKhtNCTs ETjCU5IBb6pEEyE1Mn3COXIN5cv823EZ25nkaSpKtdlrdL6nDPpi1omQp/v06rsmfikc r8Cg== 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=HwQWgij/YoJOjN0QZvffktf9G1u5+rhxnyQe8gA5ov8=; b=OEDJx8D642YWDENBYUX9vcWRavXhJxE4nUr5INL4gJsV22uqyVoXRbJyysZya9V0RZ L6UqLon2kd5gcqx2uQQpfxvzZ8UF49vribEPBjBBxQ5mrsSnI3Aw/2g0JilOiH5bItAT /KG1YzIIA3/f97mzwEjRKhuM9SwLmk8Lw2QEuXtxN623Y1ZrqSImrBHHv/tNP9jVOUzd X5SLq4WXyaueuCnWek/0y3d4lBddomf02MkBLbk60qBE3VT7D65NO8XYQFZ42AYlhAi9 rNmnFeRwOtkFUFREPJe5ATaIvLWCbcq5h198J3BpTEVdQjmANHNimC5jMlxoS1DjwgoJ HxGw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=L0+CT+1v; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::130 as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-lf1-x130.google.com (mail-lf1-x130.google.com. [2a00:1450:4864:20::130]) by gmr-mx.google.com with ESMTPS id h13si99287lfm.4.2019.07.30.08.08.31 for (version=TLS1_3 cipher=AEAD-AES128-GCM-SHA256 bits=128/128); Tue, 30 Jul 2019 08:08:31 -0700 (PDT) Received-SPF: pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::130 as permitted sender) client-ip=2a00:1450:4864:20::130; Received: by mail-lf1-x130.google.com with SMTP id p197so44951262lfa.2 for ; Tue, 30 Jul 2019 08:08:31 -0700 (PDT) X-Received: by 2002:a19:4f42:: with SMTP id a2mr15012324lfk.23.1564499310831; Tue, 30 Jul 2019 08:08:30 -0700 (PDT) MIME-Version: 1.0 From: Nicolai Kraus Date: Tue, 30 Jul 2019 16:08:19 +0100 Message-ID: Subject: [HoTT] PhD position in homotopy type theory at Birmingham To: Homotopy Type Theory , types-announce@lists.seas.upenn.edu, agda list , coq-club@inria.fr Content-Type: multipart/alternative; boundary="000000000000ac6c51058ee761ba" X-Original-Sender: nicolai.kraus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=L0+CT+1v; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::130 as permitted sender) smtp.mailfrom=nicolai.kraus@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: , --000000000000ac6c51058ee761ba Content-Type: text/plain; charset="UTF-8" *** PhD position in homotopy type theory *** Dear all, I would like to invite applications for a fully-funded PhD position at the University of Birmingham, School of Computer Science. The prospective student will work with me on a topic in the area of (homotopy) type theory and/or (higher dimensional) category theory; details can be discussed. The position cannot start earlier than October. The stipend consists of 15009 GBP per annum, free from tax or other reductions, for full four years. It covers all tuition fees (UK/EU level) and includes a very generous travel budget to attend conferences, workshops, and other research meetings. The stipend is provided jointly by the Royal Society [1] and the University of Birmingham. The theory group at Birmingham's School of Computer Science [2] is exceptionally strong and very active. The group organises regular seminars and informal meetings. Many relevant international events regularly take place in Birmingham such as YaMCATS, MGS, and Unimath schools. If you are interested in applying, please contact me ( nicolai.kraus@gmail.com). You do not need to have a concrete research proposal ready, but please let me know what your academic background is (in particular with respect to type theory, category theory, general maths). We can then discuss potential topics and the further application process. General information on PhD studies in Birmingham can be found online [2], but please do not yet fill out the online application form; contact me first by email. Please also distribute this advertisement to candidates that might be interested. Best wishes Nicolai [1] https://royalsociety.org/ [2] http://www.cs.bham.ac.uk/admissions/postgraduate-research/ [3] http://www.cs.bham.ac.uk/research/groupings/theory/ -- 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/CA%2BAZBBoXPHC3wywtO2yao9odOnRjt_ebuRtG9XJ%2BhqgupPb1Rg%40mail.gmail.com. --000000000000ac6c51058ee761ba Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
*** PhD position in homotopy type theory ***

Dear a= ll,

I would like to invite applications for a fully-funded PhD posit= ion at the University of Birmingham, School of Computer Science. The prospe= ctive student will work with me on a topic in the area of (homotopy) type t= heory and/or (higher dimensional) category theory; details can be discussed= . The position cannot start earlier than October.

The stipend consi= sts of 15009 GBP per annum, free from tax or other reductions, for full fou= r years. It covers all tuition fees (UK/EU level) and includes a very gener= ous travel budget to attend conferences, workshops, and other research meet= ings. The stipend is provided jointly by the Royal Society [1] and the Univ= ersity of Birmingham.

The theory group at Birmingham's School of= Computer Science [2] is exceptionally strong and very active. The group or= ganises regular seminars and informal meetings. Many relevant international= events regularly take place in Birmingham such as YaMCATS, MGS, and Unimat= h schools.

If you are interested in applying, please contact me (nicolai.kraus@gmail.com). You d= o not need to have a concrete research proposal ready, but please let me kn= ow what your academic background is (in particular with respect to type the= ory, category theory, general maths). We can then discuss potential topics = and the further application process.
General information on PhD studies = in Birmingham can be found online [2], but please do not yet fill out the o= nline application form; contact me first by email.

Please also distr= ibute this advertisement to candidates that might be interested.

Bes= t wishes
Nicolai

[1] https:= //royalsociety.org/
[2] http://www.cs.bham.ac.uk/admissions/postgraduate= -research/
[3] http://www.cs.bham.ac.uk/research/groupings/theory/

--
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:/= /groups.google.com/d/msgid/HomotopyTypeTheory/CA%2BAZBBoXPHC3wywtO2yao9odOn= Rjt_ebuRtG9XJ%2BhqgupPb1Rg%40mail.gmail.com.
--000000000000ac6c51058ee761ba--