Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] 10 PhD studentships in Nottingham
@ 2021-02-11 15:06 Nicolai Kraus
  0 siblings, 0 replies; only message in thread
From: Nicolai Kraus @ 2021-02-11 15:06 UTC (permalink / raw)
  To: Homotopy Type Theory

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

Dear all,

The School of Computer Science at the University of Nottingham
is seeking applications for 10 fully-funded PhD

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,



              10 Fully-Funded PhD Studentships

                 School of Computer Science
                University of Nottingham, UK


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’s 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) £15,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’s responsibility to ensure that references are
requested and sent to Lindsay.Norman@nottingham.ac.uk;

(4) A research proposal – 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’s job reference number (SCI1979).

Closing date for applications: Monday 15th March 2021.


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%2BAZBBpYM%3D%2BsFRkMuCVbtN9E_GK%2Bnwqw%2BJvG_KRqxc7G6o651A%40mail.gmail.com.

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-02-11 15:07 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-02-11 15:06 [HoTT] 10 PhD studentships in Nottingham Nicolai Kraus

Discussion of Homotopy Type Theory and Univalent Foundations

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://inbox.vuxu.org/hott

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 hott hott/ http://inbox.vuxu.org/hott \
	public-inbox-index hott

Example config snippet for mirrors.
Newsgroup available over NNTP:

AGPL code for this site: git clone https://public-inbox.org/public-inbox.git