[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Posted on behalf of Dan Ghica.] Postdoctoral Research Positions at University of Birmingham and Imperial College We will soon advertise two postdoctoral research positions on a new EPSRC project titled "A higher-order approach to co-design", part of the "Working Together Across ICT" theme. It aims to develop semantic and type-theoretical models of high-level languages (functional, imperative, concurrent) in order to produce better compilation methods for heterogeneous architectures (CPU and FPGA). The project has two tracks. One is focussed on theoretical aspects such as types for resource management and semantic models, particularly game semantics, and will be mainly carried out in Birmingham. The other is focussed on heterogeneous design, optimisation and applications, and will be mainly carried out at Imperial. The two sites will collaborate very closely and will jointly develop the 'Geometry of Synthesis' FPGA compiler (http://www.veritygos.org). The project is funded for 3 years, starting June 2013 and one post-doc will be employed at each site. The positions will be for an initial period of 18 months with the possibility of extension. Candidates will need expertise in theory of programming languages (types and semantics) or reconfigurable computing (FPGA design and applications, EDA). We are particularly interested in candidates who are excellent thinkers and willing to learn and apply cutting-edge theory in order to solve practical problems and develop tools. A practical knowledge of functional programming language is essential. The theory group in Birmingham and the FPGA group at Imperial are world-leading so we seek applicants with an excellent track record of research. The salary in Birmingham will be in the range of =A327,854-=A336,298 and at Imperial in the range of =A330,680-=A339,130 per annum. The official advert= s will follow soon but anyone interested is welcome to contact the co-investigators: Dan R. Ghica, Birmingham http://www.cs.bham.ac.uk/~drg/ d.r.gh...@cs.bham.ac.uk George Constantinides, Imperial http://cas.ee.ic.ac.uk/people/gac1/ g.constantini...@imperial.ac.uk Also see EPSRC project summary at http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K015214/1