[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell
Subject:    [Haskell] 4Yr PostDoc with McBride/Ghani
From:       Neil Ghani <neil.ghani () strath ! ac ! uk>
Date:       2015-02-09 15:06:55
Message-ID: 992440A2-20EE-45E0-91C6-606A4A17C9D6 () strath ! ac ! uk
[Download RAW message or body]

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@strath.ac.uk<mailto:neil.ghani@strath.ac.uk> or tel: 0141 548 4303) or Dr \
Conor McBride, (email conor.mcbride@strath.ac.uk<mailto:conor.mcbride@strath.ac.uk> \
or tel 01415483121. _______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell


[prev in list] [next in list] [prev in thread] [next in thread]