[Agda] Assistant Professorships in Nottingham

[Graham Hutton]

Dear all,

As part of a strategic expansion, the School of Computer Science
at the University of Nottingham is seeking to make multiple new
appointments at the Assistant Professor level:

   https://tinyurl.com/38f753d5

These positions are aimed at early career academics who recently
completed or will soon complete their PhD, and have a reduced
teaching responsibility for the first three years.

Applications in the area of the Functional Programming (FP) lab
are strongly encouraged!  The FP lab is keen to receive applications
from candidates with a strong publication record (e.g. papers in
leading venues such as LICS, POPL, ICFP, JFP, TOPLAS, etc) and
the potential to secure external funding.

The group recently grew its profile in type theory  with the
appointment of Nicolai Kraus and Ulrik Buchholtz.  To complement
these appointments, we particularly welcome applications from
candidates who would bring further or other areas of expertise.

Further information about the FP lab is available from:

   https://tinyurl.com/y2ekdkqa

The deadline for applications is Tuesday 24th May 2022.

-- Graham Hutton and Thorsten Altenkirch




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.