POSTDOCTORAL SCHOLAR
Requisition # 4473
Position Basics
| Advertising Ends on: |
Friday, October 31st, 2025 |
| Advertising Started on: |
Thursday, September 4th, 2025 |
| College: |
College of Liberal Arts & Sciences |
| Department: |
Computer Science |
Salary
| Salary: |
$62,232.00 to Commensurate |
Position Details
| Full/Part Time Status: |
Full Time |
| Percent Time: |
100% |
| Position Description: |
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, and may be extended for one additional years based upon performance and the continued availability of funding. The position will start in November 2025 (or as soon as possible thereafter), and will remain open until filled. 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. |
| Education Requirement: |
- A PhD in computer science or a closely related field, with a strong background in programming languages and logic, is required.
|
| Desirable Qualifications: |
- 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.
|
Online Application Required Documents
| |
Curriculum Vita
Name and Contact Information of References
Letters of Interest |
| |
Number of References: 3 |
To start the Online Application process for this position, click the "Apply for This Position" button located below the Contact Information. |
Contact Information
| Contact: |
John G Morris - garrett-morris@uiowa.edu
Clas-Computer Science
MacLean Hall
2 West Washington Street
14 MLH
Iowa City, IA 52242
Department URL: https://cs.uiowa.edu/people/garrett-morris |
The University of Iowa is an equal opportunity employer. All qualified applicants are encouraged to apply and will receive consideration for employment free from discrimination on the basis of race, creed, color, religion, national origin, age, sex, pregnancy (including childbirth and related conditions), disability, genetic information, status as a U.S. veteran, service in the U.S. military, sexual orientation, or associational preferences. Persons with disabilities may contact University Human Resources/Faculty and Staff Disability Services, (319) 335-2660 or fsds@uiowa.edu, to inquire or discuss accommodation needs. Prospective employees may review the University Campus Security Policy and the latest annual crime statistics by contacting the Department of Public Safety at 319/335-5022.
|
University of Iowa
Sep 05, 2025