[TYPES/announce] 4Yr Postdoc with McBride/Ghani

[Neil Ghani]

Please forward to anyone you think might be interested

cheers
neil

Salary range: £30434 - £34,233
FTE: 1.0
Term: Fixed Term (4 years)
Closing date: 23 February 2015

Applications are invited for a Research Associate to work under the supervision of Professor Neil Ghani and Dr Conor McBride on the EPSRC grant "Homotopy Type Theory: Programming and Verification". Homotopy Type Theory (HoTT) is a revolutionary new approach to type theory where types are interpreted as spaces, terms as points and equalities as paths. Decades of research in homotopy theory has uncovered the structure of such paths and HoTT uses this structure as the basis of a new theory of equality. Excitingly, within homotopy theory, one naturally studies higher homotopies of paths between paths and this gives the higher dimensional structure of equality we previously lacked. The objective of this grant is to translate the advances of HoTT into more concrete programming language and verification tools.
You will join a team consisting of Prof Neil Ghani, Dr Conor McBride at the University of Strathclyde as well as Dr Nicola Gambino at the University of Leeds and Dr Thorsten Altenkirch at the Univeristy of Nottingham. We will be hiring an RA to work on the more theoretical parts of the project at Nottignham while your main duties will be to conduct research on the more applied - that is programming language - aspects of the project at Strathclyde. You will possess a PhD in mathematics or computer science and be familiar with type theory, category theory and programming languages.

Interviews have been scheduled for 25 March 2015.

For informal enquiries, please contact Professor Neil Ghani, (email: neil.ghani at strath.ac.uk<mailto:neil.ghani at strath.ac.uk> or tel: 0141 548 4303) or Dr Conor McBride, (email conor.mcbride at strath.ac.uk<mailto:conor.mcbride at strath.ac.uk> or tel 01415483121.