[Agda] Fully-funded PhD studentship in functional programming

[Graham Hutton]

Dear all,

I'm advertising a fully-funded PhD studentship in functional
programming, starting 1st October 2024.  Please pass the
advert on to anyone who may be intersted in applying.

Best wishes,

Graham Hutton

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

                 Fully-Funded PhD Studentship

                  Functional Programming Lab
                  School of Computer Science
                 University of Nottingham, UK

                 http://tinyurl.com/fplab-phd

Applications are invited for a fully-funded PhD studentship
under the supervision of Prof Graham Hutton, starting on
1st October 2024.  The successful applicant will join the
Functional Programming Lab, an internationally-leading
centre for programming language research.

The topic for the studentship is open, but should relate to
the research interests of Prof Hutton on the mathematics of
program construction.  The studentship forms part of the
recently-funded EPSRC project on Semantics-Directed Compiler
Construction, which seeks to develop new techniques for
constructing certified compilers from semantics.

The studentship is open to home and international students,
is fully-funded for three and a half years, and includes a
stipend of £18,622 per year and tuition fees.

Applicants are expected to have a first-class Masters
or Bachelors degree (or equivalent) in Computer Science
and/or Mathematics, and an excellent ability and interest
in the mathematical foundations of programming, together
with experience of programming in a functional language.

Further information and advice for prospective applicants
is available from http://tinyurl.com/369xwzc7.  Funding
for this studentship is already in place.

To apply, please submit the following items by email to
graham.hutton at nottingham.ac.uk: (1) a brief covering letter
that describes your reasons for wishing to undertake a PhD
and any ideas you have about potential topics; (2) a copy of
your CV, including your actual or expected degree class(es)
and results of all university examinations; (3) an example
of your technical writing, such as a report or dissertation;
(4) email addresses for two academic referees.

Closing date for applications: Friday 9th February 2024.

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

—
Professor Graham Hutton
School of Computer Science
University of Nottingham, UK
http://www.cs.nott.ac.uk/~pszgmh

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.