[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