[TYPES/announce] Research positions at Birmingham and Imperial
Stephanie Weirich
sweirich at cis.upenn.edu
Wed Mar 6 11:31:51 EST 2013
[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.ghica at cs.bham.ac.uk
George Constantinides, Imperial
http://cas.ee.ic.ac.uk/people/gac1/
g.constantinides at imperial.ac.uk
Also see EPSRC project summary at
http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K015214/1
More information about the Types-announce
mailing list