Postdoctoral Fellowship in Functional Programming