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 9819 invoked from network); 22 Nov 2022 07:18:25 -0000 Received: from mail-yw1-x1140.google.com (2607:f8b0:4864:20::1140) by inbox.vuxu.org with ESMTPUTF8; 22 Nov 2022 07:18:25 -0000 Received: by mail-yw1-x1140.google.com with SMTP id 00721157ae682-360b9418f64sf131962247b3.7 for ; Mon, 21 Nov 2022 23:18:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:sender:from:to:cc:subject:date :message-id:reply-to; bh=IayHNx/EdsN+0YPfZjtWvwnd+YCi0JqknFclj02bosk=; b=GTReQhAs4UvfsMABl7aScy/TEMW/lEUrrveOiOO4R7RFFDGTX4DQQ2xEpct+jrXHIq R0sSQ72zc0x6mgoqv8vvc9V3R9uBiBkCOzPGA1RzNBZnNJzfpfa7Tc8wAzcNNtXtBEyx Oieh0SC5QHAjUh8MyVOBmjSPBPY/uNoWiA/DZsX0PAIHRLh17I1o8yTEztb9x1COu6Np ESw4j6HIMYXkeFC/T4vAL5IqhLtzVLlqO19x2zM0WsoKN074/xpJ9lacpYi1DII4PALn Z5jGEfLICakdQSIOPgmtUzRSLOdiWB3NIDy+dZ0xGOI7sDDhQkt18u3xkCPQCRLhLSIb EPGA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:from:to:cc:subject:date:message-id :reply-to; bh=IayHNx/EdsN+0YPfZjtWvwnd+YCi0JqknFclj02bosk=; b=lI4zDPFN2Z/wgEaYnNY8YVfNhSdcbpzh2Kz6T/I3OZDvUaczvw0FZwnnk2lG+HqiTy ueU4HScSS+I2shdFc7Fva1oUQl1m8mGn5mHYEObjm4WImwxPXXs29yt9VPGKZzQQ6wsu uYmToxjOSi7sJG9Hkg+JSCPreAfv6jIzpTKwJr3XGXfgjvobq8vy27gnkKe/QgwNZzwC k4vDG+RqkiBPqTDO6wc6UW9h8A76dOYE6AnS+8FYLmQoI/TcfCOJiaZhUQ5YCL8vkOh8 4en2O1bJ63pJWsYg2U/RzMh0sCAOFVvlah/RiExHIkbO+FlEumc3PWbRfIenPk4AN6gg d6QQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:x-gm-message-state:sender:from:to :cc:subject:date:message-id:reply-to; bh=IayHNx/EdsN+0YPfZjtWvwnd+YCi0JqknFclj02bosk=; b=QZdfRn1/fp+LaLrge8SfqajNkvckiNyg4meL487P7EQlBCy828pO3TzBvNe1P2Txlh Rsxnm40XBQxH25CL583zLWiHAmue3e4+8pKZ4RdkFBT8IVUBaM+TR4FNT3GA7P/ZU9Hh R/rAfJ9IzbvqopEyjoglp1ZCxVA12H7mRVyzcwAXrnENoCTbsBsxnNwLx35yaz5u2oMH rU5sB+OcmH4nG7JMtOJ4Yji6AqWwgwqhAGhQBvPJx5zPQ/qrZEY76APn5gL6v4xyYans X92XGH63CLC4qlS/Txz2AevGEvtlKC1P8HwndC9FP8QQCqji7MoAvLFZavTHF4FgTsHv 2GMA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ANoB5plJFGqWeJmqTv0mFHgT3npyqe1w6Fag1XkcU3pE9ee0p5wsqZBm ilvqZEoss92VCzXekv9oGrU= X-Google-Smtp-Source: AA0mqf5m4RQJMCAF/8XFM7ISP1qvjyvyzwRjcpPSdcOQRK5fKhVG4lbkdFx/mkdz7ZPE0kg4Y77rbw== X-Received: by 2002:a25:da06:0:b0:6dd:8cf2:8ae7 with SMTP id n6-20020a25da06000000b006dd8cf28ae7mr6952945ybf.283.1669101502086; Mon, 21 Nov 2022 23:18:22 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a81:e53:0:b0:360:d89f:2b52 with SMTP id 80-20020a810e53000000b00360d89f2b52ls6527792ywo.2.-pod-prod-gmail; Mon, 21 Nov 2022 23:18:20 -0800 (PST) X-Received: by 2002:a0d:d7cf:0:b0:3a7:ea16:d945 with SMTP id z198-20020a0dd7cf000000b003a7ea16d945mr2696700ywd.22.1669101500706; Mon, 21 Nov 2022 23:18:20 -0800 (PST) Received: by 2002:a81:4b43:0:b0:36a:efd4:b0e6 with SMTP id 00721157ae682-3944380e2a3ms7b3; Mon, 21 Nov 2022 05:19:15 -0800 (PST) X-Received: by 2002:a25:c012:0:b0:6ec:d917:b74b with SMTP id c18-20020a25c012000000b006ecd917b74bmr2756499ybf.332.1669036754715; Mon, 21 Nov 2022 05:19:14 -0800 (PST) Date: Mon, 21 Nov 2022 05:19:14 -0800 (PST) From: Nicolai Kraus To: Homotopy Type Theory Message-Id: <3775cafd-50d0-453f-8909-3fc651c20260n@googlegroups.com> Subject: [HoTT] PhD studentships in Nottingham, UK MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_6534_491502439.1669036754039" X-Original-Sender: nicolai.kraus@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: , ------=_Part_6534_491502439.1669036754039 Content-Type: multipart/alternative; boundary="----=_Part_6535_666381943.1669036754039" ------=_Part_6535_666381943.1669036754039 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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-2022 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 12th Feb 2023: Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Ulrik Buchholtz - homotopy type theory, synthetic homotopy theory, proof assistants, constructive mathematics, and related topics. Graham Hutton - functional programming, haskell, category theory, program verification, program calculation. Nicolai Kraus - homotopy type theory, higher category theory, constructive mathematics, and related topics. Dan Marsden - category theory, logic, finite model theory, diagrammatic reasoning, foundations of computer science. These positions are open to students of any nationality. Best wishes, The FP Lab +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK https://tinyurl.com/ten-phd-2022 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 2023. The topics for the studentships are open, but should relate to the interests of one 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; Visualisation and Computer Graphics; Cyber-Physical Health and Assistive Robotics Technologies. The studentships are fully funded for 3.5 years and include a stipend of =C2=A317,668 per year and tuition fees. Applicants are normally expected to have a first-class class bachelors or masters 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 12th February 2023. +-----------------------------------------------------------+ --=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/3775cafd-50d0-453f-8909-3fc651c20260n%40googlegroups.com= . ------=_Part_6535_666381943.1669036754039 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all,

The School of Computer Science at the University of Nottin= gham
in the UK is seeking applications for 10 fully-funded PhD
studen= tships: https://tinyurl.c= om/ten-phd-2022

Applicants in the area of the Functional Program= ming Lab
(tinyurl.com/fp-notts) are strongly encouraged!  If you ar= e
interested in applying, please contact a potential supervisor
as so= on as possible; the application deadline is 12th Feb 2023:

  Th= orsten Altenkirch - constructive logic, proof assistants,
  homotop= y type theory, category theory, lambda calculus.

  Ulrik Buchho= ltz - homotopy type theory, synthetic homotopy theory,
  proof assi= stants, constructive mathematics, and related topics.

  Graham = Hutton - functional programming, haskell, category
  theory, progra= m verification, program calculation.

  Nicolai Kraus - homotopy= type theory, higher category theory,
  constructive mathematics, a= nd related topics.

  Dan Marsden - category theory, logic, fini= te model theory,
  diagrammatic reasoning, foundations of computer = science.

These positions are open to students of any nationality.
Best wishes,

The FP Lab

+-------------------------------= ----------------------------+

      &n= bsp;      10 Fully-Funded PhD Studentships

=             &nb= sp;   School of Computer Science
     = ;          University of Notti= ngham, UK

         &nbs= p;   https://ti= nyurl.com/ten-phd-2022

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

The to= pics for the studentships are open, but should relate
to the interests o= f one the School's research groups:
Computational Optimisation and Learn= ing; Computer Vision;
Cyber Security; Functional Programming; Intelligen= t Modelling
and Analysis; Mixed Reality; Uncertainty in Data and Decisio= n
Making; Visualisation and Computer Graphics; Cyber-Physical
Health = and Assistive Robotics Technologies.

The studentships are fully fund= ed for 3.5 years and include a
stipend of =C2=A317,668 per year and tuit= ion fees.  Applicants are
normally expected to have a first-class c= lass bachelors or
masters in Computer Science or another relevant area, = and
must obtain the support of a potential supervisor in the
School p= rior to submitting their application.

If you are interested in apply= ing, please contact a potential
supervisor as soon as possible, and at l= east two weeks prior
to the closing date.  If the supervisor wishes= to support
your application, they will direct you to make an officialapplication through the MyNottingham system.

Closing date for appl= ications: Sunday 12th February 2023.

+------------------------------= -----------------------------+

--
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.c= om/d/msgid/HomotopyTypeTheory/3775cafd-50d0-453f-8909-3fc651c20260n%40googl= egroups.com.
------=_Part_6535_666381943.1669036754039-- ------=_Part_6534_491502439.1669036754039--