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 14816 invoked from network); 11 Feb 2021 15:07:11 -0000 Received: from mail-oi1-x23b.google.com (2607:f8b0:4864:20::23b) by inbox.vuxu.org with ESMTPUTF8; 11 Feb 2021 15:07:11 -0000 Received: by mail-oi1-x23b.google.com with SMTP id 5sf3071150oil.4 for ; Thu, 11 Feb 2021 07:07:11 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1613056028; cv=pass; d=google.com; s=arc-20160816; b=fYN5n2VEMdTGjVHnw+m7eRieZXypwukMfUFBBin9maCDeIvLXKawjIeWoEdA+snPVD 6kr6nbp1F1B52wXFEztcHaYICYMYplJ39jPrEiGBdell5HREkhZLXHS9dDMpNPfqF8mj CRG45zaKgB9uXyDaJqjiD3J+K4vFVt+9kWpbK12OtxK+v12DBAyv5VurJM/ki5JXj8YY yPJ+ehss+HR9lmfy8DhyupPa6SM5ORone56/N3geQ8iycKRgzqrnd5tZhXayWizLmCqT m2odV3J2xNvwq1ZKA5oFRjlMgloMBE7oxbvIZ3BA5RjBIEKOAR5dZ8B69Oj0sAK8ktOF mpPw== 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=WeJutcx0Bc0CVdSL6W601L0ygk9pp/wxmKammyuCnF0=; b=lfZqBKxb6c0SC2g6Km8dr6GlEp4Uuu9efG5vc4Lla/dGI1wGaFrHr/kk1ZtUmHAKK3 Sl6ND3nFCysVndqkoa8f4duKYHc2WjsNxLBgo1Wac09a1yXyJksa6hh6XdeN7m35vepe AcQeOVXOKjvDGAOWczF6Z3tljlNkw5nYQfKjZTHMlwRPuyo1PDPrs6qEiIpLgcvxMq2L zLm9M6G2yYgjjOwL5LJdVwmearJFCtJ3HqSf3WqFP4dfqcUFVOOArjIFgdqXHrhQ0lQX nNmUUl7xvRUUTa8PHgbczYGJwa1fMAKvNXZfCB4ImmpTbUoeme4lud+B2uBUjH4bz/ve 7qxw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=YUe3D6qm; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::334 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=WeJutcx0Bc0CVdSL6W601L0ygk9pp/wxmKammyuCnF0=; b=ZiH5S6WY7KBkO4usBVNW9+vFb6oah2PaMjzA1U+rbAfQCyfUxz3d6nPlYG4p5NOFS6 mQ/cihAuRQwxwZ1aGcxC0QKIXR/0xzDLnECk8pBIJjomMe5kwxJezMxZ6Kc+rcoCw5Mj gGMW9jT3eGmrfhGLZ7Vn5Lq6MK+7gmFdbcbS7QQ1GR3Jjcw6xlOdMFt3IQNugkvgawLI wb7+8emXt+EWv3F5dkkt9d/K6dPlJdwkQMeNTPbuDB4NrmHQbzsnsiVa/WkvYIBOERVX EAF5cnF9TACb7rzQzTmo/hAUb1/HhsGzlhPRHURJCE7/yHFMvzSNN2t9YKJVqecPs9Zf H6bg== 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=WeJutcx0Bc0CVdSL6W601L0ygk9pp/wxmKammyuCnF0=; b=byO2X6mgF/OWRUQTSs8o9vasX3dRRr1OO1Fmgjz4rB48SqJIZ2t/k32ZYfabMSrSL1 PF7kfLZ/cfGW+16R6D3N6buBEGxVO/8a0HEWtwC//5VwVl707z/6B1MBiDEcIjOWCn6r /U8GOyHks1pmBT8RaoBHH802uugppf75Rlr5KQiRJfgiPALdySSqoounBlKbHbVQrLX1 9pgLPRX5Eep8BRlbph+tpEiJiRTc3EYgxeNEhqtf7OQYhVr6bL3buCTmHD7W6QlzlfEp Hfs/NBo5ktC2GUnuSp35tdx0kBDZeAzZ75nPGXqLCSa1GPhdA2AK48h3W2v3HT/dm5Hc GWbQ== 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=WeJutcx0Bc0CVdSL6W601L0ygk9pp/wxmKammyuCnF0=; b=Etc2tgQ7ZPObuz14IJeZ9zLK2Ev95GSvwbfkz6DDHSawaD1lGeoLiyfw8hxhj7BdTg kPjR647CPle9GTEuHMTriXBIgfqf2RL6jyRvrswbgLor/PIiBmJKKe7sYb+5sFILWVaT 8iDhE7LmVoFOW+A2aHCuS9pv52DgWfBBi48N/Kvrc3Ys1wQ7iFhoTIS7N2Z204ish8v0 0aMUeBV7DMhmCtzjDL26hcr5GQry0NWj2ltw80qv5UE9kcEH2p+qu74I3n7zptivNhSQ JjAc9r1IdKbbrJZtCttJU1LZo0wIKS+ViAQAHlOVrNIOtm9iwk963SYQDmPCMQ97UJhj HSSQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM531wrwqIuNpX/XNRg8MW9pUk4ADiAilQc2oej1S8IkQ295KEFHCP F0XvhoG+y4e3VF94WoQkdrw= X-Google-Smtp-Source: ABdhPJxqa+ElKAjmS4ixWT8FfeJrLPCa6xEgav+ZVC9NAY39JfAExMqpyFEdXBWLp8fyz/h8hMMpRw== X-Received: by 2002:a4a:c706:: with SMTP id n6mr5719103ooq.19.1613056028118; Thu, 11 Feb 2021 07:07:08 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:2a88:: with SMTP id e8ls1324615otb.6.gmail; Thu, 11 Feb 2021 07:07:07 -0800 (PST) X-Received: by 2002:a05:6830:8d:: with SMTP id a13mr5756969oto.119.1613056027685; Thu, 11 Feb 2021 07:07:07 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1613056027; cv=none; d=google.com; s=arc-20160816; b=rAXhSyNg4z3mRWKN+tHK/TE77SJarspqth4N5YTh6kSCArhUygZKcXSf7HAdRr0UUz B3xAPijJ1wX9eEPYDV4DYSErz+WHyC9pqZj7jQ+2tYIkghaiRsbhW4Z1l3kBlSeSSn1O nAYjXVkRZALLp2gER3D/Vx3ACnU+U5dfe/20p+AEEb94NjtTQuObTWWOP1QgHOfUyLEp LhMY1IowZUEdso2nEKBsgD6krK+HfreJUEWu7N/FIy5rF07B++HMosqS0qe+0dyIRg8T x4yJRegGKBOSKLrqmltSMI5hw0zQZwl7zdPZaBhYaVuK4ld/+WlpVI45wgUELXJQkc0+ ebkQ== 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=zXX9a1PeaFXvaXxvN2kgl48p3Ds54FPlNl/fOXC8zJ4=; b=RubeHyuMqHi7+5rllH9ScnFkJYm4Nu7H8qjgi00SvIJhBiKSupDsqnqAtxY7T0OePQ arGX+2vhC5fwcLaLFAJT0yogXpXVkIA4+qGXl6//jdiOieRCwcHZ/CQCCgymdUQCUC/j QiTDeBBcrnnAVMFVZFlpAYrN0NUlY5OGppsUz19VFR75k6HC9aaweOdPWmxA+ONVOXT3 W2ZICSnrdNMZprQ2dOb6j9J+XAS6YhB19UX7j2y3ldJVlIs3MoBwwmoiGwj0Xxq2xnWR XCzZoAeCTuLAxJbh3RmRu+0xxgLiAp6P/UBA1mVd2rQNuGn05jF/1znSVA6eheYhqHVf FTHQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=YUe3D6qm; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::334 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-x334.google.com (mail-ot1-x334.google.com. [2607:f8b0:4864:20::334]) by gmr-mx.google.com with ESMTPS id o21si257257otk.4.2021.02.11.07.07.07 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 11 Feb 2021 07:07:07 -0800 (PST) Received-SPF: pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::334 as permitted sender) client-ip=2607:f8b0:4864:20::334; Received: by mail-ot1-x334.google.com with SMTP id d7so5394930otq.6 for ; Thu, 11 Feb 2021 07:07:07 -0800 (PST) X-Received: by 2002:a9d:312:: with SMTP id 18mr1356084otv.186.1613056027136; Thu, 11 Feb 2021 07:07:07 -0800 (PST) MIME-Version: 1.0 From: Nicolai Kraus Date: Thu, 11 Feb 2021 15:06:56 +0000 Message-ID: Subject: [HoTT] 10 PhD studentships in Nottingham To: Homotopy Type Theory Content-Type: multipart/alternative; boundary="0000000000008013db05bb10df7e" 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=YUe3D6qm; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2607:f8b0:4864:20::334 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: , --0000000000008013db05bb10df7e Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, The School of Computer Science at the University of Nottingham is seeking applications for 10 fully-funded PhD studentships:https://tinyurl.com/ten-phds-2021 Applicants in the area of the Functional Programming Laboratory (https://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 15th March): Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Graham Hutton - mathematics of program construction, category theory, program correctness and efficiency, Haskell. Nicolai Kraus - homotopy type theory, higher category theory, constructive mathematics, and related topics. Henrik Nilsson - functional reactive programming, domain- specific languages, generalised notions of computation. The studentships are open to applicants of any nationality. Best wishes, Graham +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK tinyurl.com/ten-phds-2021 Applications are invited for a number of fully funded PhD studentships offered by the School of Computer Science at the University of Nottingham, starting on 1st October 2021. The topics for the studentships are open, but should relate to the interests of one of the School=E2=80=99s research groups: Computational Optimisation and Learning Lab; Computer Vision Lab; Cyber Security; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality Lab and Uncertainty in Data and Decision Making. The studentships are for three and a half years and include a stipend of (minimum) =C2=A315,609 per year and tuition fees. Applicants are normally expected to have a 2:1 Bachelor or Masters degree or international equivalent, in Computer Science or a related discipline, and must obtain the support of a potential supervisor in the School prior to submitting their application. Please contact potential supervisors at least two weeks prior to the closing date for applications. Informal enquiries may be addressed to Professor Tony Pridmore (tony.pridmore@nottingham.ac.uk). To apply, please submit the following items by email to Lindsay.Norman@nottingham.ac.uk: (1) A copy of your CV, including your actual or expected degree class(es), and results of all University examinations; (2) An example of your technical writing, such as a project report or dissertation; (3) Contact details for two academic referees - it is the applicant=E2=80=99s responsibility to ensure that references are requested and sent to Lindsay.Norman@nottingham.ac.uk; (4) A research proposal =E2=80=93 max 2 x sides A4; (5) A covering letter, which must include the name of the member of staff who has agreed to support your application (without this your application cannot be considered), and the University=E2=80=99s job reference number (SCI1979). Closing date for applications: Monday 15th March 2021. +-----------------------------------------------------------+ --=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%2BAZBBpYM%3D%2BsFRkMuCVbtN9E_GK%2Bnwqw%2BJvG_KRqxc7G6= o651A%40mail.gmail.com. --0000000000008013db05bb10df7e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 
Dear all,

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

Applicants in the area of the Functional Programming Laboratory
(https://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 15th March):

  Thorsten Altenkirch - constructive logic, proof assistants,
  homotopy type theory, category theory, lambda calculus.
=20
  Graham Hutton - mathematics of program construction, category
  theory, program correctness and efficiency, Haskell.

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

  Henrik Nilsson - functional reactive programming, domain-
  specific languages, generalised notions of computation.

The studentships are open to applicants of any nationality.

Best wishes,

Graham

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

              10 Fully-Funded PhD Studentships

                 School of Computer Science
                University of Nottingham, UK

                  tinyurl.com/=
ten-phds-2021

Applications are invited for a number of fully funded PhD
studentships offered by the School of Computer Science at the
University of Nottingham, starting on 1st October 2021.

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

The studentships are for three and a half years and include a
stipend of (minimum) =C2=A315,609 per year and tuition fees.=20

Applicants are normally expected to have a 2:1 Bachelor or
Masters degree or international equivalent, in Computer Science
or a related discipline, and must obtain the support of a
potential supervisor in the School prior to submitting their
application.  Please contact potential supervisors at least two
weeks prior to the closing date for applications.

Informal enquiries may be addressed to Professor Tony Pridmore
(tony.pridmore@nottingham.ac.uk).  To apply, please sub=
mit the
following items by email to Lindsay.Norman@nottingham.ac.u=
k:

(1) A copy of your CV, including your actual or expected degree
class(es), and results of all University examinations;=20

(2) An example of your technical writing, such as a project
report or dissertation;=20

(3) Contact details for two academic referees - it is the
applicant=E2=80=99s responsibility to ensure that references are
requested and sent to Lindsay.Norman@nottingham.ac.uk;

(4) A research proposal =E2=80=93 max 2 x sides A4;

(5) A covering letter, which must include the name of the
member of staff who has agreed to support your application
(without this your application cannot be considered), and
the University=E2=80=99s job reference number (SCI1979).

Closing date for applications: Monday 15th March 2021.

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

--
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 h= ttps://groups.google.com/d/msgid/HomotopyTypeTheory/CA%2BAZBBpYM%3D%2BsFRkM= uCVbtN9E_GK%2Bnwqw%2BJvG_KRqxc7G6o651A%40mail.gmail.com.
--0000000000008013db05bb10df7e--