POSTDOCTORAL SCHOLAR

J. Garrett Morris is seeking applications for a post-doctoral scholar at the University of Iowa, starting in November of 2025. We study extensibility and modularity in high-level typed functional programming languages, particularly Haskell. The postdoctoral 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 Lean, implementing it in GHC, and evaluating that implementation.

This is a one-year position with a starting salary of $62,232 to $63,430, and may be extended for one additional years based upon performance and the continued availability of funding.

To apply, or with questions about the position, please email Garrett Morris  with your CV (including a list of publications), a brief letter explaining your suitability for the rule, and the names of at least two references.

Computational Logic Center

The postdoctoral scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC performs research across programming languages, formal verification, and automated reasoning, and includes J. Garrett Morris , Cesare Tinelli , Katherine Kosaian , as well as several research scientists, post-doctoral scholars, and graduate student researchers. The scholar will have the opportunity to collaborate with other CLC members, as well as participating in joint seminars and other activities.

• A PhD in computer science or a closely related field, with a strong background in programming languages and logic, is required.

• Relevant research experience and expertise.

• Knowledge of and experience with Haskell programming, including the use of type classes and type families.


• Experience with mechanized theorem proving in Lean.


• Good English writing and speaking skills.


• Ability to work in a collaborative environment.


• A strong commitment to research excellence.

To start the Online Application process for this position, click the "Apply for This Position" button located below the Contact Information.