Postdoctoral Research Associate, "Refactoring Functional Programs"