[TYPES/announce] Postdoc positions on foundations of type classes and type families at the University of Iowa

[J. Garrett Morris]

 I am seeking applications for a postdoctoral scholar at the University of
Iowa, starting in October of 2025. 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 Lean 4,
implementing it in GHC, and evaluating that implementation.

A PhD in computer science or a closely related field, with a strong
background in programming languages and logic, is required.

The ideal candidate would also have:

- Knowledge of and experience with Haskell programming, including the use
of type classes and type families
- Experience with mechanized theorem proving in Lean 4
- Good English writing and speaking skills
- Ability to work in a collaborative environment
- A strong commitment to research excellence

This is a one year position with a starting salary of $62,232, but may be
extended based upon performance and the continued availability of funding.
The position will start in October 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
<garrett-morris at uiowa.edu> 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 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 Katherine Kosaian (
https://urldefense.com/v3/__https://sites.google.com/view/katherinekosaian__;!!IBzWLUs!S9dwddhEBAon3JQXlooKe7HaWswK-QPxjOBMtRnzaRMpUxaUu3DzfOaNNjpG6pLPFozjjWsozpGxpauabzmdxEpG$ 
<https://urldefense.com/v3/__https://sites.google.com/view/katherinekosaian__;!!IBzWLUs!Q00vqtYFeET4ZF6FBWkVqg4bfI7-ua5PvYXm5JrSC1UN_YvyM-5TncBZmcKrF_KE_jwiEts3ANs68dJjatH3pTW-$>)
, J. Garrett Morris (https://urldefense.com/v3/__https://jgbm.github.io__;!!IBzWLUs!S9dwddhEBAon3JQXlooKe7HaWswK-QPxjOBMtRnzaRMpUxaUu3DzfOaNNjpG6pLPFozjjWsozpGxpauab4dHAt0m$ 
<https://urldefense.com/v3/__https://jgbm.github.io__;!!IBzWLUs!Q00vqtYFeET4ZF6FBWkVqg4bfI7-ua5PvYXm5JrSC1UN_YvyM-5TncBZmcKrF_KE_jwiEts3ANs68dJjauQ5ocAc$>),
and Cesare Tinelli (https://urldefense.com/v3/__https://homepage.cs.uiowa.edu/*tinelli/__;fg!!IBzWLUs!S9dwddhEBAon3JQXlooKe7HaWswK-QPxjOBMtRnzaRMpUxaUu3DzfOaNNjpG6pLPFozjjWsozpGxpauab_A3rKJB$ 
<https://urldefense.com/v3/__https://homepage.cs.uiowa.edu/*tinelli/__;fg!!IBzWLUs!Q00vqtYFeET4ZF6FBWkVqg4bfI7-ua5PvYXm5JrSC1UN_YvyM-5TncBZmcKrF_KE_jwiEts3ANs68dJjavVvSExF$>),
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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250904/f5ff576d/attachment-0001.htm>