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
***
**
Applications are invited for PhD study under the supervision of Prof Neil Ghani
and Dr Conor McBride on any of the following topics
* Dependently Typed Programming
* Homotopy Type Theory
* Coalgebra
* Category Theory in Computer
heory: Programming and
Verification" obtained by Professor Neil Ghani and Dr Conor McBride
(University of Strathclyde), Dr Thorsten Altenkirch (University of
Nottingham) and Dr Nicola Gambino (University of Leeds). One postdoc and
will work on more theoretical aspects of the project in
Notting
In the heart of Free Glasgow, in the soon to be People's Republic of Scotland,
there is a chance to join the University of Strathclyde with a 5 year research
fellowship leading to a permanent full time position. All you need is a 5-page
research plan … a lot less than many Fellowship avenues. Th
Dear All
We are looking for a new professor and Head of Department at Strathclyde.
People on the Haskell list might be interested as there is a significant amount
of functional programming done here so you should find fertile soil to put down
roots.
Details can be found at
www.jobs.ac.
sion for a fibration. You will work with Dr Patricia Johann and Prof
Neil Ghani who are the investigators on this project and also 2 of their PhD
students working on similar topics. You will also work with project partners
Prof A Simpson (Univ. Edinburgh), Dr R Atkey (Contemplate), Dr A Kennedy
