[Haskell] Haskell-related PhD Scholarships in Hong Kong

[Bruno Oliveira]

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 at 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