1 formal-semantics Postdoctoral positions in United States

Filters Search

Sort by

Refine Your Search

  • The University of Iowa | Iowa City, Iowa | United States | 2 days ago

    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 Lean, implementing

Searches related to formal semantics

Enter an email to receive alerts for formal-semantics positions