1 web-semantic Postdoctoral positions at The University of Iowa

Filters Search
  • The University of Iowa | Iowa City, Iowa | United States | 1 day ago

    . The postdoctoral 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

Searches related to web semantic

Enter an email to receive alerts for web-semantic positions