[TYPES/announce] 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! Knowledge of type-theory
and experience with  Functional Languages and/or Theorem Provers (Haskell, Scala, ML, OCaml, 
Agda, Idris, Coq, Isabelle …) are a definite plus. 

There are a number of projects available on the areas of compiler implementation, 
programming language design, dependent types, property-based testing 
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140702/d3c46941/attachment.html>