Details
Posted: 23-Mar-24
Location: Iowa City, Iowa
Type: Full-time
Salary: Open
Categories:
Academic/Faculty
Internal Number: 4191
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.
Similar Positions
-
Postdoctoral Scholar, The University of Iowa, United States, 5 days ago
POSTDOCTORAL SCHOLAR Requisition # 4198 Position Basics Advertising Ends on:Wednesday, April 24th, 2024 Advertising Started on:Wednesday, April 10th, 2024 College:College of Dentistry Department:P...
-
Postdoctoral Scholar Dr. Jing Jiang Lab, The University of Iowa, United States, about 3 hours ago
POSTDOCTORAL SCHOLAR - DR. JING JIANG LAB Requisition # 4209 Position Basics Advertising Ends on:Thursday, May 9th, 2024 Advertising Started on:Thursday, April 25th, 2024 College:Carver College of...
-
Postdoctoral Research Scholar, The University of Iowa, United States, about 3 hours ago
POSTDOCTORAL RESEARCH SCHOLAR Requisition # 4202 Position Basics Advertising Ends on:Wednesday, May 1st, 2024 Advertising Started on:Wednesday, April 17th, 2024 College:Carver College of Medicine ...
-
Postdoctoral Scholar, The University of Iowa, United States, about 3 hours ago
POSTDOCTORAL SCHOLAR Requisition # 4193 Position Basics Advertising Ends on:Wednesday, June 19th, 2024 Advertising Started on:Tuesday, April 2nd, 2024 College:College of Liberal Arts & Sciences De...
-
Postdoctoral Scholar Cardiovascular Medicine, The University of Iowa, United States, about 3 hours ago
POSTDOCTORAL SCHOLAR - CARDIOVASCULAR MEDICINE Requisition # 4199 Position Basics Advertising Ends on:Wednesday, May 15th, 2024 Advertising Started on:Wednesday, April 10th, 2024 College:Carver Co...
-
Postdoctoral Scholar, The University of Iowa, United States, about 3 hours ago
POSTDOCTORAL SCHOLAR Requisition # 4197 Position Basics Advertising Ends on:Saturday, June 1st, 2024 Advertising Started on:Tuesday, April 9th, 2024 College:College of Liberal Arts & Sciences Depa...