<div dir="ltr">
I am seeking applications for a post-doctoral scholar at the University 
of Iowa, starting in Summer of 2024. 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 may include formalizing the new
 approach in Agda, implementing it in GHC, and evaluating that 
implementation.<br><br>Position<br><br>A PhD in computer science or a closely related field, with a strong background in programming languages and logic, is required.<br><br>The ideal candidate would also have:<br><br>- Knowledge of and experience with Haskell programming, including the use of type classes and type families<br>- Experience with mechanized theorem proving in Agda<br>- Good English writing and speaking skills<br>- Ability to work in a collaborative environment<br>- A strong commitment to research excellence<br><br>This
 is a one year position with a starting salary of $58,179, but may be 
extended for up to two additional years based upon performance and the 
continued availability of funding. The position will start in Summer 
2024 (or as soon as possible thereafter), and will remain open until 
filled.<br><br>To apply, or with questions about the position, please email Garrett Morris <<a href="mailto:garrett-morris@uiowa.edu" target="_blank">garrett-morris@uiowa.edu</a>>
 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.<br><br>Computational Logic Center<br><br>The post-doctoral 
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 (<a href="https://urldefense.com/v3/__https://jgbm.github.io__;!!IBzWLUs!QGqzC8Tvksmj4fickSxk6_40qkPYhYRQLHtBsWV1t48mO2Ax1_Qw2-fa1NVp8zx-pD2udUZK6keG7h41beV7iqaK$" target="_blank">https://jgbm.github.io</a>), Cesare Tinelli (<a href="https://urldefense.com/v3/__https://homepage.cs.uiowa.edu/*tinelli/__;fg!!IBzWLUs!QGqzC8Tvksmj4fickSxk6_40qkPYhYRQLHtBsWV1t48mO2Ax1_Qw2-fa1NVp8zx-pD2udUZK6keG7h41bUCS2SfM$" target="_blank">https://homepage.cs.uiowa.edu/~tinelli/</a>), Katherine Kosaian (<a href="https://urldefense.com/v3/__https://sites.google.com/view/katherinekosaian__;!!IBzWLUs!QGqzC8Tvksmj4fickSxk6_40qkPYhYRQLHtBsWV1t48mO2Ax1_Qw2-fa1NVp8zx-pD2udUZK6keG7h41bU6kJYNA$" target="_blank">https://sites.google.com/view/katherinekosaian</a>),
 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.

<br></div>