I am seeking applications for a post-doctoral scholar at the University of Iowa. We study extensibility and modularity in high-level typed functional programming languages. The post-doctoral scholar will contribute to an NSF-funded project exploring a new semantic foundation for type classes and type families in Haskell. Their work will include formalizing the new approach in Agda, implementing it in GHC, and evaluating that implementation.

A PhD in computer science or a closely related field, with a background in programming languages, is required. The ideal candidate will have experience with Haskell programming, including the use of type classes and families, or experience with theorem proving in Agda.

This is a one-year position with a starting salary of $58,179, and may be extended for up to two additional years. The position will start in Summer 2024, and will remain open until filled.

For more details, and to apply, please visit https://cs.uiowa.edu/~jgmorrs/postdoc.html.