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