[PRL] Fwd: Positions - FP AD PhD or Postdoc

[David Van Horn]

----- Forwarded Message -----
From: "Barak A. Pearlmutter" <barak at cs.nuim.ie>
To: "David Van Horn" <dvanhorn at brandeis.edu>
Sent: Tuesday, March 2, 2010 6:02:15 AM GMT -05:00 US/Canada Eastern
Subject: Positions - FP AD PhD or Postdoc

This below flier is a continuation of the AD stuff we chatted about
what seems so long ago.  There is a lot of room for type theory, so I
thought you might know someone appropriate who'd be into it.


I'm looking for PhD students and postdocs interested in working on an
elegant combination of functional programming and big-iron style
numeric computing.  Blurb below.  If you know anyone good who might be
interested, I'd be grateful if you'd pass this along.

					Cheers,

					--Barak.

----------------------------------------------------------------

From: "Barak A. Pearlmutter" <barak at cs.nuim.ie>
Subject: Positions - FP AD PhD or Postdoc
Date: Tue, 02 Mar 2010 10:14:35 +0000
Reply-To: "Barak A. Pearlmutter" <barak+ad-fp-job at cs.nuim.ie>

	 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>