PhD studentship on interval computation in Haskell
------------------------------------------------- PhD studentship - Interval Computation in Haskell ------------------------------------------------- * Applicants should have a strong background in real analysis and functional programming. * The closing date for applications is 18th July 2014. * The project will be supervised by Michal Konečný, Aston University. * The student will receive a 3-year studentship of £15,500/year. * UK/EU student's fee is covered, non-EU student's fee is £10,914 in 2014/2015. * The student will act as a teaching assistant for a distance learning course approx. 7h/week. * For more information, use the following links: o Description of the potential project topics[1] o AERN - a Haskell interval computation library[2] o Supervisor's home page[3] o Department research home page[4] o Details of the studentship and links to application forms[5] (The above advert is also available at http://duck.aston.ac.uk/konecnym/studentship-201406-advert) -------- [1] http://www.aston.ac.uk/EasySiteWeb/GatewayLink.aspx?alId=186698 [2] http://michalkonecny.github.io/aern/_site/index.html [3] http://www.aston.ac.uk/eas/staff/a-z/dr-michal-konecny/ [4] http://www.aston.ac.uk/eas/about-eas/academic-groups/computer-science/resear... [5] http://duck.aston.ac.uk/konecnym/studentship-201406.pdf
The University of Hong Kong has a special early-recruitment program for graduate studies starting next year (September 2015). Anyone interested in coming to Hong Kong and doing a PhD in the area of Programming Languages and Functional Programming is very welcome to apply! A strong Haskell background is definitely a plus, but experience with other Functional Languages and/or Theorem Provers (Scala, ML, OCaml, Agda, Idris, Coq, Isabelle …) is equally valued. There are a number of projects available on the areas of compiler implementation, programming language design, dependent types, property-based testing (think Quickcheck) and various other FP-related topics. For more details please contact me (bruno@cs.hku.hk). General information about HKU’s early recruitment program can be found here: http://www.cs.hku.hk/programme/mphil-phd/admission_2015.jsp Some information about my research can be found here: http://i.cs.hku.hk/~bruno/ Best Regards, Bruno Oliveira
participants (2)
-
Bruno Oliveira -
Michal Konečný