Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: Nicolai Kraus <nicolai.kraus@gmail.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] 10 PhD studentships in Nottingham
Date: Mon, 21 Nov 2022 13:20:35 +0000	[thread overview]
Message-ID: <CA+AZBBqh72He7XWsctocK3tU_XmryHGvxtbVjaU4M-YUywzv2w@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 3166 bytes --]

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 £17,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.

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

-- 
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%2BAZBBqh72He7XWsctocK3tU_XmryHGvxtbVjaU4M-YUywzv2w%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 3897 bytes --]

             reply	other threads:[~2022-11-21 13:20 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-11-21 13:20 Nicolai Kraus [this message]
2023-01-09  9:54 ` [HoTT] " Nicolai Kraus
  -- strict thread matches above, loose matches on Subject: below --
2021-02-11 15:06 [HoTT] " Nicolai Kraus

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CA+AZBBqh72He7XWsctocK3tU_XmryHGvxtbVjaU4M-YUywzv2w@mail.gmail.com \
    --to=nicolai.kraus@gmail.com \
    --cc=HomotopyTypeTheory@googlegroups.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).