The Department of Computer Science at the University of Copenhagen ("DIKU") is offering 2 PhD scholarships in functional technology for high-performance architectures commencing 1 November 2018 or as soon as possible thereafter. The positions are funded by the Independent Research Fund Denmark Grant "Functional Technology for High-Performance Architectures (FUTHARK)" held by Professor Fritz Henglein.
The overall objective of FUTHARK is to advance both expressiveness and practical performance of functional and domain-specific languages for massively parallel computing based on both fundamental theory and advanced compiler technology and engineering. Specific aims include but are not limited to developing novel functional language and compiler technology for large-scale high-performance data parallelism; demonstrating its portability and exploring its forward compatibility by targeting vectorized multicore CPUs, GPUs, and clusters of these; developing the semantic, type-theoretic, algebraic, complexity-theoretic foundations for high-level data types beyond arrays such as sets, multisets, vector spaces, probability distributions; achieving flexible modularization with zero performance cost; synthesise transformational optimizations and data structures; and demonstrating high productivity and performance on use cases in deep learning, image processing, quantitative finance, large-scale graph processing, etc., in collaboration with academic and industrial, national and international project partners and the Open Source community at large. The Programming Languages and Theory of Computing Section at DIKU is prolific at the topmost conferences like PLDI, POPL and ICFP. Our research covers theoretical and practical research of programming languages with a focus on automatic program optimization, analysis and transformation. More information: https://di.ku.dk/ominstituttet/ledige_stillinger/2-phd-fellows-in-functional-technology/ -- \ Troels /\ Henriksen _______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell