POSTDOCTORAL SCHOLAR
Requisition # 4191
Position Basics
Advertising Ends on: | Thursday, August 1st, 2024 |
Advertising Started on: | Thursday, March 21st, 2024 |
College: | College of Liberal Arts & Sciences |
Department: | Computer Science |
Salary
Salary: | $58,179.00 to Commensurate |
Position Details
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
|
Online Application Required Documents
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 Information
Contact: | John G Morris - [email protected] Clas-Computer Science MacLean Hall 2 West Washington Street 14 MLH Iowa City, IA 52242 Department URL: https://cs.uiowa.edu/ |
Similar Positions
-
Postdoctoral Scholar, University of Iowa, United States, 14 days ago
Details Posted: 12-Apr-24 Location: Iowa City, Iowa Type: Full-time Salary: Open Categories: Academic/Faculty Internal Number: 4198 Position Details: Post-Doctoral Research Scholar Full-time Posi...
-
Research Assistant Thrive Lab, Psychological And Brain Sciences, University of Iowa, United States, 8 days ago
Details Posted: 18-Apr-24 Location: Iowa City, Iowa Type: Full-time Salary: Unpaid Categories: Research - Laboratory/Non-Laboratory Staff/Administrative Internal Number: 24002528_1713287006 The TH...