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,LOTS_OF_MONEY, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 23546 invoked from network); 2 Dec 2021 09:17:05 -0000 Received: from mail-qv1-xf40.google.com (2607:f8b0:4864:20::f40) by inbox.vuxu.org with ESMTPUTF8; 2 Dec 2021 09:17:05 -0000 Received: by mail-qv1-xf40.google.com with SMTP id jn10-20020ad45dea000000b003bd74c93df4sf38223864qvb.15 for ; Thu, 02 Dec 2021 01:17:05 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1638436624; cv=pass; d=google.com; s=arc-20160816; b=uHZ3P/EE5V7jjP63HXg5iocb5m31vjDdfFZhMqz5CZg2LvnrvvTMsX60GDvnOFFfAO l8Gr5pQ1b9/ekEHTxGSBy7Xmn+Pj7JZhoLWo9IspC/iumhuRM8bMN8jHRS8TVo+PpNrI +MUH8f/rNf6n3rzwRu4PiE780TGxH07a1+neH52UKxT+q1h2XBzi8ZfIlIAfBGTJIAVM BIVav/uExml4xaxCZp1ERgdUn4afg38P96fMpY3ni45sVYLYAMwhztFf901UbfMefMrT quvSH2vgvcgwtDsYLrGybe9cHTddyZR2jk0xHi1Y0OhOspmM2pQE/dnu9VM/cGAAjXIj LxeQ== 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:in-reply-to :references:mime-version:sender:dkim-signature:dkim-signature; bh=xeV1fvFNocG4ZUOb8i8AqzVT56nC4X/7AgeZVSF6gOI=; b=JMH3zLnlsqsedTnaP+i/5NTwKEjWGwuClUI3Z62Ns4AHZpB0xUc3qO54kPIAsOAYlV UDUjw6KLZNtVgkJvMYlG4ajgWnXW/hZn8VkLmpsHleNs49gltC7ikeFAgDqv9p8f9xN4 rAWw48hYaa7iKNHL4Yxo7vkFmHtzId2OZdNwYweWWqKQ/gz00SUMmDDV7gjbHFNPmoqE 0iJBId+O8zyQFuxnD/IXiJUOZH/LCRvYWoCV5/WhX5EwpuO7QSmxSYrT6YaaYueKCJmI +au79m2wSBw+iMkjhQSeik0ZUVyssuq0011fHwdP7pWNBaheW2K5Wc0RThlNmODYQvj9 84Fg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=qRO+pECn; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::329 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=20210112; h=sender:mime-version:references:in-reply-to: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=xeV1fvFNocG4ZUOb8i8AqzVT56nC4X/7AgeZVSF6gOI=; b=i+y8fVXHEQzluuK408Di2F4aRsUxIqZwWIwxPRmMV0xSlSO3U1p4XrB6zj825dtYxd UuqlUF6xsETjq4A+vSPgV4uDUPgsf8A5s9Bt0/jw/blclR3/P1b8LfMKDrOlE9MoXiM4 /CG73SNAEMKKU2tQ4jZRJXoANwD/pMtkvjhJfYu6JqnWdhGbXd84R69frkG1VGWuuOG6 hbKP1R5aj6uOiDxQa5/kGtSPYk8Ji7LMtBEyHLCQrQgVSpziCmi4rIV9CH4NewJxmO/1 5CDemSL8g57C28ZaFSztTUg0qaCIcNlmQJRXxkHenbcIpUUIQjukRX0rffhnQWxvIb5k M0tw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to: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=xeV1fvFNocG4ZUOb8i8AqzVT56nC4X/7AgeZVSF6gOI=; b=bMCqlAeuIhzMESv0L9+/e3IsEh1HVjK56nT9kSj1yRFYE4UJaMREGZwlwDet8Ad6yV d+qqdsDx8pm7sFARPbgbdJvjkqaUuVHZKqhmv43qA2+TnzYkGLD1NIoDnsUlaHFAsAoQ rKGwSXuN0uIbK65SqgFXQAgk7klm3QzYtLp6POsWl8ja6VOsrOGR1orCd+ShRfgcP2pt yxCq6Au6zLay5VKqtEZQw7xEDXKUt/Q8HipYvRZDLlQd4dEzNoJQa5CSff8e2a5Z4wKs Dvnq6n6uLInTT9P4ic5iGCGqNhh1bG7GVuNOhMpdMs+63HrKmA9NakHZv+Fb0mKbkPmR 5cvQ== 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:references:in-reply-to: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=xeV1fvFNocG4ZUOb8i8AqzVT56nC4X/7AgeZVSF6gOI=; b=gJVS9zLnrr0v0j9CWrQbNpkDdSCNAYK/+o7txmbbkGKgq8TjRI/2cSAE/dO8c5MhJl oDxjI3qwWZzt0rPPJw5Xta9g1vmN9RmKH+F0v8PT72+49SGCEhwRzWB8b89jnm/P4f5B 3+qcz0reYirdiMN4CFqDyYmYmuS+z/K2HSnMg/xZD16c8oYqI47h75SyYOSBS17HQyWG yxdZ8uERDhwh62fjYk6LLVd1TO18ekBOI/5IjIzvj8YcvrNC6w/nJ6BchPVfYlI377Xd Ue5ZIVIdwkQhbdyHLYbUOOwlMmP8m12tS5BlNQ/5riHXJg34pK22MbVfrRUmCNpQTz1o lr4g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533Bx/NXPxklmszRlmj3jxu1POqsr61UqDloOsLLlr1EwSDChKDZ PE361wH+tlYchbqKxut+rsY= X-Google-Smtp-Source: ABdhPJwsBh8BHvnousIE/iMAaT3Hs1pojwZpiwWs3KzufJLs1zJIRWdOFt9WKg2c3xu71yKJsQxZsQ== X-Received: by 2002:a05:622a:490:: with SMTP id p16mr12211142qtx.585.1638436624292; Thu, 02 Dec 2021 01:17:04 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:620a:1aa2:: with SMTP id bl34ls3529705qkb.11.gmail; Thu, 02 Dec 2021 01:17:03 -0800 (PST) X-Received: by 2002:a05:620a:1713:: with SMTP id az19mr10919001qkb.297.1638436623731; Thu, 02 Dec 2021 01:17:03 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1638436623; cv=none; d=google.com; s=arc-20160816; b=krM10ib0960f1Kxvn3rt8d0xabCEmxsnI9Ull6Gai14WLXghwwXMPy78JLwg8YJjrk 89bThPwaC3/1AVGnKxfMBwSD1Ni4PGPryWEcJkzlfZcuEz8Y8ua+4dOPi6eDUnqIeD95 CWr5max0339e+UUDFgqGYDA1WkPyQJzV7tMlN6+A1Qtsn48cQ2bL2lzv5PRx9wf6z1Rk kSKlerzBnFjF5DeBUp7z5reUmJhDb0vwS8D0cQN3qlCf+ud1NgdeVJwRJXwhsacD/VMm /RTe6IuCmfZ1HPqp4u8BJaT/1FL7THU6DPrP6sSW/Kx3uBY3swpmEvpVH516gX5s4zgh BLog== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=UJnsyABHDndp6FPO8porBcsnfXUIOG7WV2UGD0HUu3U=; b=hmbcXLs9146pPp2Gmg2HhLHPlq/nRoCNS91CUCGumDwy7faLclpuoTZvJaGzmkOUsR hgN8w779xx58Wq89tbcKMppOgjjS55Oj/trVrAWuKr0u3WVYnO6sXnqnrvNfRLgrEQVv jzr2U4SlxB/YDDLJHwbQRyaFDr1M1WUf2oZrMjXWiIDbWMWHOibG050bOkah0NS5kwk5 6wbN5dnWn5wI5HAG0Z2cKCU0bU1XoMKDnyZHnnwiHmeLpVONgfEGQH93aYureHwPouB2 t1asJih7oF+OSRZyl11ZnU0VSKyrYDdY/2WIdDzyFtzxqt/J/y/wOj/I4HRE9ypoEEpF LPBA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=qRO+pECn; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::329 as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ot1-x329.google.com (mail-ot1-x329.google.com. [2607:f8b0:4864:20::329]) by gmr-mx.google.com with ESMTPS id w22si533836qkp.2.2021.12.02.01.17.03 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 02 Dec 2021 01:17:03 -0800 (PST) Received-SPF: pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::329 as permitted sender) client-ip=2607:f8b0:4864:20::329; Received: by mail-ot1-x329.google.com with SMTP id 35-20020a9d08a6000000b00579cd5e605eso39167320otf.0 for ; Thu, 02 Dec 2021 01:17:03 -0800 (PST) X-Received: by 2002:a9d:53c4:: with SMTP id i4mr10379208oth.176.1638436623067; Thu, 02 Dec 2021 01:17:03 -0800 (PST) MIME-Version: 1.0 References: <1E5CC6E0-9CD8-451D-AA81-C6401EED18C1@nottingham.ac.uk> In-Reply-To: <1E5CC6E0-9CD8-451D-AA81-C6401EED18C1@nottingham.ac.uk> From: Nicolai Kraus Date: Thu, 2 Dec 2021 09:16:52 +0000 Message-ID: Subject: [HoTT] Fwd: 10 PhD studentships in Nottingham To: Homotopy Type Theory Content-Type: multipart/alternative; boundary="000000000000e7ae5005d2264067" X-Original-Sender: nicolai.kraus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=qRO+pECn; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::329 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: , --000000000000e7ae5005d2264067 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, please see below for fully-funded PhD studentships in Nottingham. HoTT is one of the possible areas! If you have questions, please let me know. Nicolai ---------- Forwarded message --------- From: Graham Hutton Date: Thu, Dec 2, 2021 at 8:47 AM Subject: 10 PhD studentships in Nottingham To: FP lab , fun@cs.nott.ac.uk , coq-club@inria.fr , agda@lists.chalmers.se < agda@lists.chalmers.se>, spls@dcs.gla.ac.uk , haskell@haskell.org , haskell-cafe@haskell.org < haskell-cafe@haskell.org>, types-announce@lists.seas.upenn.edu < types-announce@lists.seas.upenn.edu>, appsem@lists.tcs.ifi.lmu.de < appsem@lists.tcs.ifi.lmu.de> Cc: Thorsten Altenkirch , nicolai.kraus Dear all, The School of Computer Science at the University of Nottingham in the UK is seeking applications for 10 fully-funded PhD studentships: https://tinyurl.com/ten-phd-2021 Applicants in the area of the Functional Programming Lab (tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible; the application deadline is 13th Feb: Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Graham Hutton - functional programming, haskell, category theory, program verification, program calculation. Nicolai Kraus - homotopy type theory, higher category theory, constructive mathematics, and related topics. The studentships are open to applicants of any nationality. Best wishes, Graham Hutton +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK tinyurl.com/ten-phd-2021 Applications are invited from international and home students for 10 fully-funded PhD studentships offered by the School of Computer Science, starting on 1st October 2022. The topics for the studentships are open, but should relate to interests of one of the School's research groups: Computational Optimisation and Learning; Computer Vision; Cyber Security; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality; Uncertainty in Data and Decision Making. The studentships are fully-funded for 3.5 years and include a stipend of =C2=A315,009 per year and tuition fees. Applicants are normally expected to have a first class bachelors or masters degree in Computer Science or another relevant area, and must obtain the support of a potential supervisor in the School prior to submitting their application. If you are interested in applying, please contact a potential supervisor as soon as possible, and at least two weeks prior to the closing date. If the supervisor wishes to support your application, they will direct you to make an official application through the MyNottingham system. Closing date for applications: Sunday 13th February 2022. +-----------------------------------------------------------+ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. --=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/CA%2BAZBBq24ZjHg5nE_1A6RT7BVwmvicf3eq%3DfQmPtVM%2BksrVOA= A%40mail.gmail.com. --000000000000e7ae5005d2264067 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,
please see below for fully-funded PhD s= tudentships in Nottingham.=C2=A0
HoTT is one of the possible area= s! If you have questions, please let me know.
Nicolai

---------- For= warded message ---------
From: Graham Hutton <Graham.Hutton@nottingham.ac.uk>Date: Thu, Dec 2, 2021 at 8:47 AM
Subject: 10 PhD studentships in Nott= ingham
To: FP lab <fp-lunch= @cs.nott.ac.uk>, fun@cs.nott.ac= .uk <fun@cs.nott.ac.uk>,= coq-club@inria.fr <coq-club@inria.fr>, agda@lists.chalmers.se <agda@lists.chalmers.se>, spls@dcs.gla.ac.uk <spls@dcs.gla.ac.uk>, haske= ll@haskell.org <haskell@haske= ll.org>, haskell-cafe@ha= skell.org <haskell-cafe@= haskell.org>, types-announce@lists.seas.upenn.edu <types-announce@lists.seas.upenn.edu>, appsem@lists.tcs.ifi.lmu.de &= lt;appsem@lists.tcs.ifi.lmu.= de>
Cc: Thorsten Altenkirch <Thorsten.Altenkirch@nottingham.ac.uk>, nicola= i.kraus <nicolai.kraus@gmail.= com>


Dear all,

The School of Computer Science at the University of Nottingham
in the UK is seeking applications for 10 fully-funded PhD
studentships: https://tinyurl.com/ten-phd-2021

Applicants in the area of the Functional Programming Lab
(tinyurl.com/fp-notts) are strongly encouraged!=C2=A0 If you are
interested in applying, please contact a potential supervisor
as soon as possible; the application deadline is 13th Feb:

=C2=A0 Thorsten Altenkirch - constructive logic, proof assistants,
=C2=A0 homotopy type theory, category theory, lambda calculus.

=C2=A0 Graham Hutton - functional programming, haskell, category
=C2=A0 theory, program verification, program calculation.

=C2=A0 Nicolai Kraus - homotopy type theory, higher category theory,
=C2=A0 constructive mathematics, and related topics.

The studentships are open to applicants of any nationality.

Best wishes,

Graham Hutton

+-----------------------------------------------------------+

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 10 Fully-Funded PhD Studen= tships

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0School of Com= puter Science
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 University of Notti= ngham, UK

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= tinyurl.com/ten-phd-2021

Applications are invited from international and home students
for 10 fully-funded PhD studentships offered by the School of
Computer Science, starting on 1st October 2022.

The topics for the studentships are open, but should relate to
interests of one of the School's research groups: Computational
Optimisation and Learning; Computer Vision; Cyber Security;
Functional Programming; Intelligent Modelling and Analysis;
Mixed Reality; Uncertainty in Data and Decision Making.

The studentships are fully-funded for 3.5 years and include a
stipend of =C2=A315,009 per year and tuition fees.=C2=A0 Applicants are
normally expected to have a first class bachelors or masters
degree in Computer Science or another relevant area, and must
obtain the support of a potential supervisor in the School
prior to submitting their application.

If you are interested in applying, please contact a potential
supervisor as soon as possible, and at least two weeks prior
to the closing date.=C2=A0 If the supervisor wishes to support
your application, they will direct you to make an official
application through the MyNottingham system.

Closing date for applications: Sunday 13th February 2022.

+-----------------------------------------------------------+




This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored
where permitted by law.




--
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%2BAZBBq24ZjHg5nE_1A6RT7B= Vwmvicf3eq%3DfQmPtVM%2BksrVOAA%40mail.gmail.com.
--000000000000e7ae5005d2264067--