The Coq mailing list

[Nicola Gambino <n.gambino AT leeds.ac.uk>]

Dear friends and colleagues,

The School of Mathematics of the University of Leeds is advertising a 
Research Fellowship in Pure Mathematics to work on homotopy type theory and 
univalent foundations. 

The position is for 30 months and it is available from March 1st, 2014. The 
deadline for applications is January 6th, 2014.

Further information, including details on salary and the application 
procedure, is available from the University of Leeds job search website:

http://www.leeds.ac.uk/info/20025/university_jobs

The reference number for the position is MAPMA0063. 

Please feel free to email me if you have any queries.

With best regards,
Nicola

===
Dr Nicola Gambino
School of Mathematics
University of Leeds
http://www.maths.leeds.ac.uk/~pmtng