[Agda] Postdoc or research programmers, Maynooth,
Co. Kildare Ireland
david rush
kumoyuki at gmail.com
Fri Jul 19 10:49:37 CEST 2013
Postdocs or research programmers sought for “automatic differentiation meets
functional programming” project. Our true aim is to displace FORTRAN-like
imperative languages as the kings of big iron.
Inquiries to: “Barak A. Pearlmutter” <barak at cs.nuim.ie>
For more details: http://www.bcl.hamilton.ie/~barak/ad-fp-positions.html
(The listed qualifications is daunting, but if you’re enthusiastic and smart,
please do get in touch.)
<david addendum="and yes, this is the project that brought me here in the
first place"/>
More information about the Agda
mailing list