[Agda] 10 PhD studentships in Nottingham for Home/EU applicants

[Graham Hutton]

Dear all,

The School of Computer Science at the University of Nottingham 
is seeking applications for 10 fully-funded PhD studentships
for Home/EU students: https://tinyurl.com/ten-phds-2020

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 6th March):

  Thorsten Altenkirch - constructive logic, proof assistants,
  homotopy type theory, category theory, lambda calculus.
 
  Venanzio Capretta - type theory, mathematical logic, corecursive
  structures, proof assistants, category theory, epistemic logic.
 
  Graham Hutton - not taking on any new students this year, but
  you may find these notes useful: https://tinyurl.com/scbkxkr

  Henrik Nilsson - functional reactive programming, domain-
  specific languages, generalised notions of computation.

These positions are only open to Home/EU applicants.  An advert
for international students was posted earlier and is now closed.

Best wishes,

Graham

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

        10 Fully-Funded International PhD Studentships

                 School of Computer Science
                University of Nottingham, UK

              https://tinyurl.com/ten-phds-2020

Applications are invited for 10 fully-funded PhD studentships
for Home/EU students in the School of Computer Science at the
University of Nottingham, starting on 1st October 2020.

The topics for the studentships are open, but should relate to
the interests of one of the School’s research groups: Agents
Lab; Computational Optimisation and Learning Lab; Computer
Vision Lab; Functional Programming; Intelligent Modelling and
Analysis; Mixed Reality Lab; Data Driven Algorithms, Systems
and Design and Uncertainty in Data and Decision Making 

The studentships are for three and a half years and include
a stipend of £15,009 per year and tuition fees.  Applicants
are normally expected to have a first-class Masters or
Bachelors degree in Computer Science or a related discipline,
and must obtain the support of a potential supervisor in
the School prior to submitting their application.  Initial
contact with supervisors should be made at least two weeks
prior to the closing date for applications. 

Eligible successful applicants are expected to apply for a
EU VC Scholarship.  Informal enquiries may be addressed to
Kathleen.Fennemore at nottingham.ac.uk. To apply, please submit
the following items by email to: Marc.Williams 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.

(4) a research proposal – max 2 x sides A4

You may also include a covering letter but this is optional.

Closing date for applications: Friday 6 March 2020.

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




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.