[Agda] postdoc position
Aaron Stump
aaron-stump at uiowa.edu
Wed Dec 11 23:28:34 CET 2019
Dear Agda list,
I am advertising a postdoctoral position working on Cedille
(cedille.github.io), whose backend is written mostly in Agda. The
position would begin February 1 or at the absolute latest March 1, and
last for one year. Topics of interest include coinduction, higher-order
abstract syntax, optimal beta-reduction, strong functional programming,
and possibly implicit computational complexity (in the setting of lambda
calculus). Applicants should email me a copy of their CV and names of 2
people I could contact for letters of recommendation. Or feel free to
inquire further about the position before this step.
Best wishes,
Aaron
More information about the Agda
mailing list