2012 PhD Scholarships in High-Performance Functional Programming at University of Copenhagen, Denmark

If you have questions about this aid arises, please visit the official source and ask your questions directly to the center.

The Department of Computer Science at the University of Copenhagen (DIKU) has openings for 2 PhD scholarships related to the HIPERFIT Research Center, within the area of High-Performance Functional Programming.The mission of the Research Center for Functional High-Performance Computing for Financial Information Technology  is to contribute to both theory and practice of software development for computationally intensive financial applications, by combining state-of-the art research in mathematical finance, domain-specific languages, functional programming, and high-performance systems. The underlying hypothesis is that a principled, high-level approach is essential to simultaneously address the three goals of high performance, high assurance, and high productivity, all of which are central to the application domain.

The candidate must have a solid academic background in the relevant areas of computer science, as demonstrated by academic courses and project/thesis work related to several of the following areas: -Programming language theory: formal semantics; type systems; specification, verification, and certification of programs; concurrency theory -Programming language implementation: program analysis and transformation; advanced compilation techniques; domain-specific languages -Design and implementation of parallel algorithms: general principles and their tailoring to particular platform classes (MIMD vs. SIMD, shared memory vs. message passing, etc.) -High-performance computing: systems and architectural aspects of grids, clusters, multicore processors, GPGPUs, FPGAs, etc -Large-scale functional-programming experience: practical familiarity with development of substantial applications or systems, using functional (or related declarative/high-level) programming paradigms.

Deadline: 30 July 2012

Related scholarships