[Haskell-cafe] PhD student / postdoc positions in PLT+AD

[Barak A. Pearlmutter]

Seeking PhD students and postdocs interested in an elegant combination
of functional programming and big-iron style numeric computing.

	 Functional Programming and Automatic Differentiation

			   PhD Studentships
			Postdoctoral Positions
				   
We are adding exact first-class derivative calculation operators
(Automatic Differentiation or AD) to the lambda calculus, and
embodying the combination into a production-quality optimising
compiler.  Our research prototype compiler generates object code
competitive with the fastest current systems, which are based on
FORTRAN.  We are seeking PhD students and postdocs with interest and
experience in relevant areas: programming language theory, numeric
computing/numeric linear algebra, or differential geometry; and a
burning drive to help lift big iron numeric computing out of the 1960s
and into a newer higher order.  Specific sub-projects include:
compiler and numeric programming environment construction; writing,
simplifying, and generalising numeric algorithms through the use of AD
operators; and associated type/lambda calculus/PLT/real computation
issues.

The project headquarters will be in the Hamilton Institute, NUI
Maynooth, Ireland, http://www.hamilton.ie/.

Applications to:
  "Barak A. Pearlmutter" <barak+ad-fp-job at cs.nuim.ie>
--
Prof Barak A. Pearlmutter
 Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland
 http://www.bcl.hamilton.ie/~barak/