[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