Advertising Ends on: | Thursday, April 4th, 2024 |
Advertising Started on: | Thursday, March 21st, 2024 |
College: | College of Liberal Arts & Sciences |
Department: | Computer Science |
Salary: | $58,179.00 to Commensurate |
Full/Part Time Status: | Full Time |
Percent Time: | 100% |
Position Description: | The Department of Computer Science is seeking applications for a post-doctoral scholar to 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. We study extensibility and modularity in high-level typed functional programming languages, particularly Haskell. 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. To apply, or with questions about the position, please email Garrett Morris with your CV (including a list of publications), a letter of interest explaining your suitability for the role, and the names and contact information of at least two references. |
Education Requirement: | A PhD in computer science or a closely related field, with a strong background in programming languages and logic, is required. |
Required Qualifications: | *Knowledge of and experience with Haskell programming, including the use of type classes and type families |
Curriculum Vita Name and Contact Information of References Letters of Interest | ||
Number of References: 2 | ||
To start the Online Application process for this position, click the "Apply for This Position" button located below the 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/ |
The University of Iowa is an equal opportunity/affirmative action 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, gender identity, or associational preferences. The University also affirms its commitment to providing equal opportunities and equal access to University facilities. Women and Minorities are encouraged to apply for all employment vacancies. For additional information on nondiscrimination policies, contact the Coordinator of Title IX and Section 504, and the ADA in The Office of Institutional Equity, 319/335-0705 (voice) or 319/335-0697 (text), The University of Iowa, 202 Jessup Hall, Iowa City, Iowa, 52242-1316.
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.