[Agda] 10 PhD studentships in Nottingham

[Graham Hutton]

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’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 at nottingham.ac.uk).  To apply, please submit the
following items by email to Lindsay.Norman at 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 at 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.

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




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.