Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Fwd: 10 PhD studentships in Nottingham
       [not found] <1E5CC6E0-9CD8-451D-AA81-C6401EED18C1@nottingham.ac.uk>
@ 2021-12-02  9:16 ` Nicolai Kraus
  2021-12-02  9:39 ` [HoTT] FW: " Thorsten Altenkirch
  1 sibling, 0 replies; 2+ messages in thread
From: Nicolai Kraus @ 2021-12-02  9:16 UTC (permalink / raw)
  To: Homotopy Type Theory

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

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 <Graham.Hutton@nottingham.ac.uk>
Date: Thu, Dec 2, 2021 at 8:47 AM
Subject: 10 PhD studentships in Nottingham
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>,
haskell@haskell.org <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 <Thorsten.Altenkirch@nottingham.ac.uk>,
nicolai.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!  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 £15,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.

-- 
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%2BAZBBq24ZjHg5nE_1A6RT7BVwmvicf3eq%3DfQmPtVM%2BksrVOAA%40mail.gmail.com.

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

^ permalink raw reply	[flat|nested] 2+ messages in thread

* [HoTT] FW: 10 PhD studentships in Nottingham
       [not found] <1E5CC6E0-9CD8-451D-AA81-C6401EED18C1@nottingham.ac.uk>
  2021-12-02  9:16 ` [HoTT] Fwd: 10 PhD studentships in Nottingham Nicolai Kraus
@ 2021-12-02  9:39 ` Thorsten Altenkirch
  1 sibling, 0 replies; 2+ messages in thread
From: Thorsten Altenkirch @ 2021-12-02  9:39 UTC (permalink / raw)
  To: homotopytypetheory

On 02/12/2021, 08:47, "Graham Hutton" <pszgmh@exmail.nottingham.ac.uk> wrote:

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




-- 
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/BA3BFDCE-DE72-4E0D-A5D8-88B2BDF19321%40nottingham.ac.uk.

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2021-12-02  9:39 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <1E5CC6E0-9CD8-451D-AA81-C6401EED18C1@nottingham.ac.uk>
2021-12-02  9:16 ` [HoTT] Fwd: 10 PhD studentships in Nottingham Nicolai Kraus
2021-12-02  9:39 ` [HoTT] FW: " Thorsten Altenkirch

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).